Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays by Cliff B. Jones 9783540752202
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings by Lars Arge 9783540734192
Booksplease Price: $117.85Sorry no description is available for this book at this time. -
Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering by Frank J. van der Linden 9783540714361
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Agent-Oriented Software Engineering VII: 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers by Lin Padgham 9783540709442
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Agile Software Development: Best Practices for Large Software Development Projects by Thomas Stober 9783540708308
Booksplease Price: $60.73Sorry no description is available for this book at this time. -
Objects, Components, Models and Patterns: 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings by Richard F. Paige 9783540698234
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Approximation and Online Algorithms: 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006, Revised Papers by Thomas Erlebach 9783540695134
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings by Kenji Suzuki 9783540685142
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings by Jorge Cuellar 9783540682356
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings by Nicolas Halbwachs 9783540662020
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Development and Evolution of Software Architectures for Product Families: Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998, Proceedings by Frank van der Linden 9783540649168
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Inductive Logic Programming: 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998, Proceedings by David Page 9783540647386
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings by C.B. Jones 9783540635338
Booksplease Price: $117.85Sorry no description is available for this book at this time. -
Software Configuration Management: ICSE'97 SCM-7 Workshop, Boston, MA, USA, May 18-19, 1997 Proceedings by Reidar Conradi 9783540630142
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings by Miquel Bertran 9783540630104
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Software Process Technology: 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3 - 5, 1995. Proceedings by Wilhelm Schafer 9783540592051
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings by Roy Dyckhoff 9783540580256
Booksplease Price: $60.73Sorry no description is available for this book at this time. -
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings by Dines Bjorner 9783540573166
Booksplease Price: $60.73Sorry no description is available for this book at this time. -
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 1: Conference Contributions by Soren Prehn 9783540548348
Booksplease Price: $117.85Sorry no description is available for this book at this time. -
ESEC '91: 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings by Axel van Lamsweerde 9783540547426
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings by Stephane Kaplan 9783540543176
Booksplease Price: $61.77Sorry no description is available for this book at this time. -
Theoretical Aspects of Computer Software: International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings by Takayasu Ito 9783540544159
Booksplease Price: $119.92Sorry no description is available for this book at this time. -
Programming Languages Implementation and Logic Programming: International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings by Pierre Deransart 9783540508205
Booksplease Price: $60.73Sorry no description is available for this book at this time. -
Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings by Friedrich H. Vogt 9783540504030
Booksplease Price: $60.73Sorry no description is available for this book at this time. -
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers by Tiziana Maragria 9783540489283
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers by Alberto Pettorossi 9783540439158
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures by Roland C. Backhouse 9783540436133
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings by Leszek Pacholski 9783540429128
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings by Naoki Kobayashi 9783540427360
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Genetic Programming: 4th European Conference, EuroGP 2001 Lake Como, Italy, April 18-20, 2001 Proceedings by Julian F. Miller 9783540418993
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
New Approaches in Software Measurement: 10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000. Proceedings by Reiner Dumke 9783540417279
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Multi-Agent-Based Simulation: Second International Workshop, MABS 2000, Boston, MA, USA, July 2000; Revised and Additional Papers by Scott Moss 9783540415220
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Informatics: 10 Years Back. 10 Years Ahead by Reinhard Wilhelm 9783540416357
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings by Wil van der Aalst 9783540403340
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings by Michael Johnson 9783540356332
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings by Tarmo Uustalu 9783540356318
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Component-Based Software Engineering: 9th International Symposium, CBSE 2006, Vasteras, Sweden, June 29 - July 1, 2006, Proceedings by Ian Gorton 9783540356288
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings by Antti Valmari 9783540331025
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Genetic Programming: 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings by Pierre Collet 9783540331438
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings by E. Allen Emerson 9783540311393
Booksplease Price: $60.09Sorry no description is available for this book at this time.