Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers by R. Krzysztof 9783540218340
Booksplease Price: €55.43Sorry no description is available for this book at this time. -
Trust Management: Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings by Christian Jensen 9783540213123
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Categories for Software Engineering by Jose Luiz Fiadeiro 9783540209096
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets by Hartmut Ehrig 9783540205388
Booksplease Price: €55.43Sorry no description is available for this book at this time. -
NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 by Sahasranaman Purushothaman 9783540198222
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 by Jonathan. P. Bowen 9783540198185
Booksplease Price: €55.43Sorry no description is available for this book at this time. -
First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 by Ursula Martin 9783540198048
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Persistent Object Systems: Proceedings of the Third International Workshop 10-13 January 1989, Newcastle, Australia by John Rosenberg 9783540196266
Booksplease Price: €55.43Sorry no description is available for this book at this time. -
Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23-27 July 1989, Halifax, Canada by Dan Craigen 9783540196358
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Functional Programming: Proceedings of the 1989 Glasgow Workshop 21-23 August 1989, Fraserburgh, Scotland by John Hughes 9783540196099
Booksplease Price: €55.43Sorry no description is available for this book at this time. -
ESEC '87: 1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings by Howard K. Nichols 9783540187127
Booksplease Price: €55.43Sorry no description is available for this book at this time. -
A Survey of Verification Techniques for Parallel Programs by Howard Barringer 9783540152392
Booksplease Price: €25.80Sorry no description is available for this book at this time. -
Paragon: A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types by Mark S. Sherman 9783540152125
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers by Herman Geuvers 9783540140313
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
The Use of Formal Specification of Software: June 25-27, 1979, Berlin by H. K. Berg 9783540104421
Booksplease Price: €108.12Sorry no description is available for this book at this time. -
Product Focused Software Process Improvement: 4th International Conference, PROFES 2002 Rovaniemi, Finland, December 9-11, 2002, Proceedings by Markku Oivo 9783540002345
Booksplease Price: €108.12Sorry no description is available for this book at this time. -
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science: 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings by Manindra Agrawal 9783540002253
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Computing Fundamentals: The Theory and Practice of Software Design with Blackbox Component Builder by J. Stanley Warford 9783528058289
Booksplease Price: €44.32Sorry no description is available for this book at this time. -
Aligning Business Processes and Information Systems: New Approaches to Continuous Quality Engineering by Robert Heinrich 9783658065171
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Service-Oriented and Cloud Computing: 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings by Kyriakos Kritikos 9783319998183
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Evaluation of Novel Approaches to Software Engineering: 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers by Ernesto Damiani 9783319941349
Booksplease Price: €58.52Sorry no description is available for this book at this time. -
Software Technologies: 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers by Enrique Cabello 9783319936406
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Reliable Software Technologies - Ada-Europe 2018: 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings by Antonio Casimiro 9783319924311
Booksplease Price: €58.52Sorry no description is available for this book at this time. -
Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers by Cong Tian 9783319901039
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Requirements Engineering: Foundation for Software Quality: 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings by Erik Kamsties 9783319772424
Booksplease Price: €55.43Sorry no description is available for this book at this time. -
Lectures on Runtime Verification: Introductory and Advanced Topics by Ezio Bartocci 9783319756318
Booksplease Price: €66.78Sorry no description is available for this book at this time. -
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence: 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers by Manjunath Gorentla Venkata 9783319738130
Booksplease Price: €46.87Sorry no description is available for this book at this time. -
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers by Andrei Paskevich 9783319723075
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers by Vladimir Itsykson 9783319717333
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Unraveling Software Maintenance and Evolution: Thinking Outside the Box by Ervin Varga 9783319713021
Booksplease Price: €49.58Sorry no description is available for this book at this time. -
Advances in Conceptual Modeling: ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings by Sergio de Cesare 9783319706245
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Service-Oriented Computing: 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings by Michael Maximilien 9783319690346
Booksplease Price: €108.72Sorry no description is available for this book at this time. -
Service-Oriented Computing - ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers by Khalil Drira 9783319681351
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings by Jose Proenca 9783319680330
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings by Nadia Polikarpova 9783319668444
Booksplease Price: €55.43Sorry no description is available for this book at this time. -
Software Architecture: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings by Antonia Lopes 9783319658308
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Parallel Computing Technologies: 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings by Victor Malyshkin 9783319629315
Booksplease Price: €55.43Sorry no description is available for this book at this time. -
Requirements Engineering: Foundation for Software Quality: 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings by Paul Grunbacher 9783319540443
Booksplease Price: €55.43Sorry no description is available for this book at this time. -
Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies: 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, Proceedings by Dietmar Winkler 9783319494203
Booksplease Price: €55.07Sorry no description is available for this book at this time. -
Technologies and Innovation: Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings by Rafael Valencia-Garcia 9783319480237
Booksplease Price: €55.07Sorry no description is available for this book at this time.