Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
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. -
Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers by Rocco De Nicola 9783540300076
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Parallel Computing Technologies: 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings by Victor Malyshkin 9783540281269
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Product Focused Software Process Improvement: 6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings by Frank Bomarius 9783540262008
Booksplease Price: $117.21Sorry no description is available for this book at this time. -
Rapid Integration of Software Engineering Techniques: First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers by Nicolas Guelfi 9783540258124
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Coordination Models and Languages: 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings by Jean-Marie Jacquet 9783540256304
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers by Jens Grabowski 9783540251095
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications by Ricardo Choren 9783540248439
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Object-Oriented Metrics in Practice: Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems by Michele Lanza 9783540244295
Booksplease Price: $72.39Sorry no description is available for this book at this time. -
High Performance Computing - HiPC 2004: 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings by Luc Bouge 9783540241294
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Utility Computing: 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004. Proceedings by Akhil Sahai 9783540236313
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report by Hartmut Ehrig 9783540231356
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Software Product Lines: Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004, Proceedings by Robert L. Nord 9783540229186
Booksplease Price: $91.44Sorry no description is available for this book at this time. -
Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers by Christian Lengauer 9783540221197
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Software Architecture: First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings by Ron Morrison 9783540220008
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
COTS-Based Software Systems: Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings by Rick Kazman 9783540219033
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings by Jean-Charles Regin 9783540218364
Booksplease Price: $60.09Sorry no description is available for this book at this time.