- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Reeksen: boeken uit de reeks Programming and Software Engineering
-
Hardware and Software: Verification and Testing
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 7857
- This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in N... Lees meer
€ 76,45Levering 2 à 3 weken€ 76,45Levering 2 à 3 weken -
Software Engineering and Formal Methods
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 8137
- This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madr... Lees meer
€ 83,95Levering 2 à 3 weken€ 83,95Levering 2 à 3 weken -
Openshmem and Related Technologies. Experiences, Implementations, and Technologies
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 9397
- This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015. The 12 technical papers and one sh... Lees meer
€ 68,95Levering 2 à 3 weken€ 68,95Levering 2 à 3 weken -
Formal Methods - The Next 30 Years
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 11800
- This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third Wor... Lees meer
€ 53,45Levertermijn 1 à 4 weken€ 53,45Levertermijn 1 à 4 weken -
Applied Algorithms
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 8321
- This book constitutes the refereed proceedings of the First International Conference on Applied Algorithms, ICAA 2014, held in Kolkata, India, in Janu... Lees meer
€ 54,45Levertermijn 1 à 4 weken€ 54,45Levertermijn 1 à 4 weken -
Generative and Transformational Techniques in Software Engineering II
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 5235
- This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative and Transformational Tec... Lees meer
€ 54,45Levertermijn 1 à 4 weken€ 54,45Levertermijn 1 à 4 weken -
Ecoop 2009 -- Object-Oriented Programming
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 5653
- Welcome to the proceedings of ECOOP 2009! Thanks to the local organizersfor working hard on arranging the conference - with the hard work they put in,... Lees meer
€ 108,45Levertermijn 1 à 4 weken€ 108,45Levertermijn 1 à 4 weken -
Rules on the Web: From Theory to Applications
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 8620
- This book constitutes the refereed proceedings of the 8th International RuleML Symposium, RuleML 2014, co-located with the 21st European Conference on... Lees meer
€ 54,45Levertermijn 1 à 4 weken€ 54,45Levertermijn 1 à 4 weken -
Practical Aspects of Declarative Languages
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 10137
- This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, Fra... Lees meer
€ 54,45Levertermijn 1 à 4 weken€ 54,45Levertermijn 1 à 4 weken -
Integrated Formal Methods
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 8739
- This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, ... Lees meer
€ 54,45Levertermijn 1 à 4 weken€ 54,45Levertermijn 1 à 4 weken -
International Symposium on Fundamentals of Software Engineering
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 4767
- The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Ira... Lees meer
€ 54,45Levertermijn 1 à 4 weken€ 54,45Levertermijn 1 à 4 weken -
Embedded Software and Systems
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 4523
- This book constitutes the refereed proceedings of the Third International Conference on Embedded Software and Systems, ICESS 2007, held in Daegu, Kore... Lees meer
€ 106,95Levertermijn 1 à 4 weken€ 106,95Levertermijn 1 à 4 weken -
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 11350
- This book constitutes revised selected papers from the First International Workshop on Software Engineering Aspects of Continuous Development and New ... Lees meer
€ 54,45Levertermijn 1 à 4 weken€ 54,45Levertermijn 1 à 4 weken -
Task Models and Diagrams for Users Interface Design
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 4385
- We are proud to present the TAMODIA 2006 proceedings. In 2006, the TA- MODIA workshop celebrated its ?fth anniversary. TAMODIA is an obscure acronym t... Lees meer
€ 54,45Levertermijn 1 à 4 weken€ 54,45Levertermijn 1 à 4 weken -
Software Engineering and Formal Methods
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 7041
- This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Mont... Lees meer
€ 53,45Levertermijn 1 à 4 weken€ 53,45Levertermijn 1 à 4 weken -
Model and Data Engineering
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 8748
- This book constitutes the refereed proceedings of the 4th International Conference on Model and Data Engineering, MEDI 2014, held in Larnaca, Cyprus, ... Lees meer
€ 54,45Levertermijn 1 à 4 weken€ 54,45Levertermijn 1 à 4 weken -
Intelligent Tutoring Systems
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 7315
- This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Tutoring Systems, ITS 2012, held in Chania, Crete, ... Lees meer
€ 53,45Levertermijn 1 à 4 weken€ 53,45Levertermijn 1 à 4 weken -
Software Engineering Research and Applications
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 3647
- It was our great pleasure to extend a welcome to all who participated in SERA 2004, the second International Conference on Software Engineering Resear... Lees meer
€ 53,45Levertermijn 1 à 4 weken€ 53,45Levertermijn 1 à 4 weken -
Formal Methods for Components and Objects
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 4709
- Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application... Lees meer
€ 54,45Levertermijn 1 à 4 weken€ 54,45Levertermijn 1 à 4 weken -
Trustworthy Software Development Processes
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 5543
- This volume contains papers presented at the International Conference on Software Process (ICSP 2009) held in Vancouver, Canada, during May 16-17, 200... Lees meer
€ 53,45Levertermijn 1 à 4 weken€ 53,45Levertermijn 1 à 4 weken -
Service-Oriented Computing - Icsoc 2016 Workshops
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 10380
- This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 14th International Confere... Lees meer
€ 54,45Levertermijn 1 à 4 weken€ 54,45Levertermijn 1 à 4 weken -
Software Composition
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 4089
- Research in software composition investigates models and techniques to build systems from prede?ned, pretested, reusable components instead of buildin... Lees meer
€ 53,45Levertermijn 1 à 4 weken€ 53,45Levertermijn 1 à 4 weken -
Formal Techniques for Networked and Distributed Systems - Forte 2005
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 3731
- FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the Internatio... Lees meer
€ 106,95Levertermijn 1 à 4 weken€ 106,95Levertermijn 1 à 4 weken -
Service-Oriented Computing - ICSOC 2019 Workshops
- Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 12019
- This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 17th International Confere... Lees meer
€ 54,45Levertermijn 1 à 4 weken€ 54,45Levertermijn 1 à 4 weken