- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Séries : livres de la série Programming and Software Engineering
-
Hardware and Software: Verification and Testing
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 7857
- This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in N... Savoir plus
76,45 €Livraison 2 à 3 semaines76,45 €Livraison 2 à 3 semaines -
Software Engineering and Formal Methods
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 8137
- This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madr... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines -
Openshmem and Related Technologies. Experiences, Implementations, and Technologies
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 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... Savoir plus
68,95 €Livraison 2 à 3 semaines68,95 €Livraison 2 à 3 semaines -
Formal Methods - The Next 30 Years
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 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... Savoir plus
53,45 €Livraison sous 1 à 4 semaines53,45 €Livraison sous 1 à 4 semaines -
Applied Algorithms
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 8321
- This book constitutes the refereed proceedings of the First International Conference on Applied Algorithms, ICAA 2014, held in Kolkata, India, in Janu... Savoir plus
54,45 €Livraison sous 1 à 4 semaines54,45 €Livraison sous 1 à 4 semaines -
Generative and Transformational Techniques in Software Engineering II
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 5235
- This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative and Transformational Tec... Savoir plus
54,45 €Livraison sous 1 à 4 semaines54,45 €Livraison sous 1 à 4 semaines -
Ecoop 2009 -- Object-Oriented Programming
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 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,... Savoir plus
108,45 €Livraison sous 1 à 4 semaines108,45 €Livraison sous 1 à 4 semaines -
Rules on the Web: From Theory to Applications
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 8620
- This book constitutes the refereed proceedings of the 8th International RuleML Symposium, RuleML 2014, co-located with the 21st European Conference on... Savoir plus
54,45 €Livraison sous 1 à 4 semaines54,45 €Livraison sous 1 à 4 semaines -
Practical Aspects of Declarative Languages
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 10137
- This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, Fra... Savoir plus
54,45 €Livraison sous 1 à 4 semaines54,45 €Livraison sous 1 à 4 semaines -
Integrated Formal Methods
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 8739
- This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, ... Savoir plus
54,45 €Livraison sous 1 à 4 semaines54,45 €Livraison sous 1 à 4 semaines -
International Symposium on Fundamentals of Software Engineering
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 4767
- The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Ira... Savoir plus
54,45 €Livraison sous 1 à 4 semaines54,45 €Livraison sous 1 à 4 semaines -
Embedded Software and Systems
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 4523
- This book constitutes the refereed proceedings of the Third International Conference on Embedded Software and Systems, ICESS 2007, held in Daegu, Kore... Savoir plus
106,95 €Livraison sous 1 à 4 semaines106,95 €Livraison sous 1 à 4 semaines -
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 11350
- This book constitutes revised selected papers from the First International Workshop on Software Engineering Aspects of Continuous Development and New ... Savoir plus
54,45 €Livraison sous 1 à 4 semaines54,45 €Livraison sous 1 à 4 semaines -
Task Models and Diagrams for Users Interface Design
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 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... Savoir plus
54,45 €Livraison sous 1 à 4 semaines54,45 €Livraison sous 1 à 4 semaines -
Software Engineering and Formal Methods
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 7041
- This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Mont... Savoir plus
53,45 €Livraison sous 1 à 4 semaines53,45 €Livraison sous 1 à 4 semaines -
Model and Data Engineering
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 8748
- This book constitutes the refereed proceedings of the 4th International Conference on Model and Data Engineering, MEDI 2014, held in Larnaca, Cyprus, ... Savoir plus
54,45 €Livraison sous 1 à 4 semaines54,45 €Livraison sous 1 à 4 semaines -
Intelligent Tutoring Systems
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 7315
- This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Tutoring Systems, ITS 2012, held in Chania, Crete, ... Savoir plus
53,45 €Livraison sous 1 à 4 semaines53,45 €Livraison sous 1 à 4 semaines -
Software Engineering Research and Applications
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 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... Savoir plus
53,45 €Livraison sous 1 à 4 semaines53,45 €Livraison sous 1 à 4 semaines -
Formal Methods for Components and Objects
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 4709
- Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application... Savoir plus
54,45 €Livraison sous 1 à 4 semaines54,45 €Livraison sous 1 à 4 semaines -
Trustworthy Software Development Processes
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 5543
- This volume contains papers presented at the International Conference on Software Process (ICSP 2009) held in Vancouver, Canada, during May 16-17, 200... Savoir plus
53,45 €Livraison sous 1 à 4 semaines53,45 €Livraison sous 1 à 4 semaines -
Service-Oriented Computing - Icsoc 2016 Workshops
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 10380
- This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 14th International Confere... Savoir plus
54,45 €Livraison sous 1 à 4 semaines54,45 €Livraison sous 1 à 4 semaines -
Software Composition
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 4089
- Research in software composition investigates models and techniques to build systems from prede?ned, pretested, reusable components instead of buildin... Savoir plus
53,45 €Livraison sous 1 à 4 semaines53,45 €Livraison sous 1 à 4 semaines -
Formal Techniques for Networked and Distributed Systems - Forte 2005
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 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... Savoir plus
106,95 €Livraison sous 1 à 4 semaines106,95 €Livraison sous 1 à 4 semaines -
Service-Oriented Computing - ICSOC 2019 Workshops
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 12019
- This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 17th International Confere... Savoir plus
54,45 €Livraison sous 1 à 4 semaines54,45 €Livraison sous 1 à 4 semaines