- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- 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
-
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 11753
- This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Static Analysis
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 7935
- This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Reliable Software Technologies - Ada-Europe 2010
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 6106
- This book constitutes the proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2010, held in Vale... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 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
42,45 €Livraison sous 1 à 4 semaines42,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
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Testing Software and Systems
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 6435
- Constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2010, held in Natal, Braz... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Agent-Oriented Software Engineering VIII
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 4951
- Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination pro... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 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
52,95 €Livraison sous 1 à 4 semaines52,95 €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
52,95 €Livraison sous 1 à 4 semaines52,95 €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
105,45 €Livraison sous 1 à 4 semaines105,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
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Performance Evaluation, Measurement and Characterization of Complex Systems
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 6417
- This book constitutes the proceedings of the Second Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2010, held in conjunction ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 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
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Product-Focused Software Process Improvement
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 13126
- This book constitutes the refereed proceedings of the 22nd International Conference on Product-Focused Software Process Improvement, PROFES 2021, held... Savoir plus
68,95 €Livraison sous 1 à 4 semaines68,95 €Livraison sous 1 à 4 semaines -
New Modeling Concepts for Today's Software Processes
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 6195
- 2010 was the first time that the International Conference on Software Process was held autonomously and not co-located with a larger conference. This ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Software Engineering for Self-Adaptive Systems III. Assurances
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 9640
- A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customiz... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €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
105,45 €Livraison sous 1 à 4 semaines105,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
52,95 €Livraison sous 1 à 4 semaines52,95 €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
- The second instance of the international summer school on Generative and Transformational Techniques in Software Engineering (GTTSE 2007) was held in ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €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
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Rules and Reasoning
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 11784
- This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during Sep... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Service-Oriented Computing - Icsoc 2018 Workshops
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 11434
- This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 16th International Confere... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €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
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
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
48,95 €Livraison sous 1 à 4 semaines48,95 €Livraison sous 1 à 4 semaines