Artificial Intelligence Through Search von Chris Thornton; Benedict Du Boulay Buch | Hardcover 1992 | Springer ISBN: 9780792318682 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
The B Language and Method A Guide to Practical Formal Development von Kevin Lano Buch | Softcover 1996 | Auflage: 1 | Springer Berlin ISBN: 9783540760337 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
System-on-Chip Methodologies & Design Languages von Peter J. Ashenden; Jean Mermet; Ralf Seepold Buch | Hardcover 2001 | Springer ISBN: 9780792373933 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Rewriting Techniques and Applications 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings von Aart Middeldorp Buch | Softcover 2001 | Auflage: 1 | Springer Berlin ISBN: 9783540421177 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Semantics, Applications, and Implementation of Program Generation Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings von Walid Taha Buch | Softcover 2001 | Auflage: 1 | Springer Berlin ISBN: 9783540425588 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Electronic Chips & Systems Design Languages von Jean Mermet Buch | Hardcover 2001 | Springer ISBN: 9780792373117 CHF 299,55 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Partial Evaluation: Practice and Theory DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 von John Hatcliff; Torben Mogensen; Peter Thiemann Buch | Softcover 1999 | Auflage: 1 | Springer Berlin ISBN: 9783540667100 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Behavioral Specifications of Businesses and Systems von Haim Kilov; Bernhard Rumpe; Ian Simmonds Buch | Hardcover 1999 | Springer ISBN: 9780792386292 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Programming for Everyone in Java von Per B. Hansen Buch | Softcover 1999 | Springer-Verlag New York Inc. ISBN: 9780387986838 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
The World of Programming Languages von Michael Marcotty; Henry Ledgard Buch | Softcover 1986 | Springer-Verlag New York Inc. ISBN: 9780387964409 CHF 179,70 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Programming with Motif™ von Keith D. Gregory Buch | Softcover 1992 | Springer-Verlag New York Inc. ISBN: 9780387978772 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
The SPARC Technical Papers von Ben J. Catanzaro Buch | Softcover 1991 | Springer-Verlag New York Inc. ISBN: 9780387976341 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Practical Smalltalk Using Smalltalk/V von Dan Shafer; Dean A. Ritz Buch | Softcover 1991 | Springer-Verlag New York Inc. ISBN: 9780387973944 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings von Karin Breitman; Ana Cavalcanti Buch | Softcover 2009 | Auflage: 1 | Springer Berlin ISBN: 9783642103728 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers von Kedar Namjoshi; Andreas Zeller; Avi Ziv Buch | Softcover 2011 | Auflage: 1 | Springer Berlin ISBN: 9783642192364 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
A Tiny Handbook of R von Mike Allerhand Buch | Softcover 2011 | Auflage: 1 | Springer Berlin ISBN: 9783642179792 CHF 89,85 (inkl. MwSt) in den Warenkorb Versand in 10-20 Tagen
Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing von Martin Wirsing; Matthias Hölzl Buch | Softcover 2011 | Auflage: 1 | Springer Berlin ISBN: 9783642204005 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers von Julio Marino Buch | Softcover 2011 | Auflage: 1 | Springer Berlin ISBN: 9783642207747 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Autonomics Development: A Domain-Specific Aspect Language Approach von Paul Soule Buch | Softcover 2010 | Auflage: 1 | Springer Basel ISBN: 9783034605397 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings von Dominique Méry; Stephan Merz Buch | Softcover 2010 | Auflage: 1 | Springer Berlin ISBN: 9783642162640 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen