Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
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: £44.99Sorry 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: £44.99Sorry 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: £44.99Sorry no description is available for this book at this time. -
A Survey of Verification Techniques for Parallel Programs by Howard Barringer 9783540152392
Booksplease Price: £19.99Sorry 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: £44.99Sorry 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: £44.99Sorry no description is available for this book at this time. -
Advances in Computer Graphics I by Gunter Enderle 9783540138044
Booksplease Price: £44.99Sorry no description is available for this book at this time. -
Digital Image Processing Systems: Proceedings by Leonard Bolc 9783540107057
Booksplease Price: £24.99Sorry 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: £89.99Sorry no description is available for this book at this time. -
Digital Pattern Recognition by K. S. Fu 9783540102076
Booksplease Price: £89.99Sorry 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: £89.99Sorry 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: £44.99Sorry 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: £34.99Sorry 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: £44.99Sorry 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: £44.99Sorry no description is available for this book at this time. -
A Study Guide to the ISTQB (R) Foundation Level 2018 Syllabus: Test Techniques and Sample Mock Exams by Adam Roman 9783319987392
Booksplease Price: £49.99Sorry no description is available for this book at this time. -
Intelligent Computing Theories and Application: 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part II by De-Shuang Huang 9783319959320
Booksplease Price: £89.99Sorry 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: £44.99Sorry 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: £44.99Sorry 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: £44.99Sorry 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: £44.99Sorry 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: £44.99Sorry no description is available for this book at this time. -
Lectures on Runtime Verification: Introductory and Advanced Topics by Ezio Bartocci 9783319756318
Booksplease Price: £54.99Sorry 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: £37.99Sorry 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: £44.99Sorry 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: £44.99Sorry no description is available for this book at this time. -
Image and Graphics: 9th International Conference, ICIG 2017, Shanghai, China, September 13-15, 2017, Revised Selected Papers, Part I by Yaoyao (Fiona) Zhao 9783319716060
Booksplease Price: £44.99Sorry 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: £39.99Sorry 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: £44.99Sorry 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: £89.99Sorry 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: £44.99Sorry 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: £44.99Sorry 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: £44.99Sorry 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: £44.99Sorry 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: £44.99Sorry no description is available for this book at this time. -
Pattern Classification of Medical Images: Computer Aided Diagnosis by Xiao-Xia Yin 9783319570266
Booksplease Price: £89.99Sorry no description is available for this book at this time. -
Computational Color Imaging: 6th International Workshop, CCIW 2017, Milan, Italy, March 29-31, 2017, Proceedings by Simone Bianco 9783319560090
Booksplease Price: £44.99Sorry no description is available for this book at this time. -
Computer Vision - ACCV 2016 Workshops: ACCV 2016 International Workshops, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part III by Chu-Song Chen 9783319545257
Booksplease Price: £44.99Sorry 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: £44.99Sorry 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: £44.99Sorry no description is available for this book at this time.