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
Adaptation and Learning in Multi-Agent Systems IJCAI' 95 Workshop, Montreal, Canada, August 21, 1995. Proceedings. von Gerhard Weiß; Sandip Sen Buch | Softcover 1996 | Auflage: 1 | Springer Berlin ISBN: 9783540609230 CHF 69,95 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Key Java Advanced Tips and Techniques von John Hunt; Alexander G. McManus Buch | Softcover 1998 | Auflage: 1 | Springer Berlin ISBN: 9783540762591 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
KORSO: Methods, Languages, and Tools for the Construction of Correct Software Final Report von Manfred Broy; Stefan Jähnichen Buch | Softcover 1995 | Auflage: 1 | Springer Berlin ISBN: 9783540605898 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Extensions of Logic Programming Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings von Evelina Lamma; Paola Mello Buch | Softcover 1993 | Auflage: 1 | Springer Berlin ISBN: 9783540564546 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
M-Solid Varieties of Algebras von Jörg Koppitz; Klaus Denecke Buch | Hardcover 2006 | Springer-Verlag New York Inc. ISBN: 9780387308043 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK,.. von Rastislav Bodik Buch | Softcover 2005 | Auflage: 1 | Springer Berlin ISBN: 9783540254119 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Formal Methods and Software Engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings von Jim Davies; Wolfram Schulte; Mike Barnett Buch | Softcover 2004 | Auflage: 1 | Springer Berlin ISBN: 9783540238416 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Verilog: Frequently Asked Questions Language, Applications and Extensions von Shivakumar S. Chonnad; Needamangalam B. Balachander Buch | Hardcover 2004 | Springer-Verlag New York Inc. ISBN: 9780387228341 CHF 137,00 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings von Antti Valmari Buch | Softcover 2006 | Auflage: 1 | Springer Berlin ISBN: 9783540331025 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings von Patrick Godefroid Buch | Softcover 2005 | Auflage: 1 | Springer Berlin ISBN: 9783540281955 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings von Luke Ong Buch | Softcover 2005 | Auflage: 1 | Springer Berlin ISBN: 9783540282310 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings von Dragan Bosnacki; Stefan Edelkamp Buch | Softcover 2007 | Auflage: 1 | Springer Berlin ISBN: 9783540733690 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest,.. von José Fiadeiro; Paola Inverardi Buch | Softcover 2008 | Auflage: 1 | Springer Berlin ISBN: 9783540787426 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest,.. von Laurie Hendren Buch | Softcover 2008 | Auflage: 1 | Springer Berlin ISBN: 9783540787907 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings von Radhia Cousot Buch | Softcover 2005 | Auflage: 1 | Springer Berlin ISBN: 9783540242970 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers von Thomas Gschwind; Cecilia Mascolo Buch | Softcover 2005 | Auflage: 1 | Springer Berlin ISBN: 9783540253280 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005,.. von Mooly Sagiv Buch | Softcover 2005 | Auflage: 1 | Springer Berlin ISBN: 9783540254355 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 von George Heineman; Ivica Crnkovic; Heinz W. Schmidt;.. Buch | Softcover 2005 | Auflage: 1 | Springer Berlin ISBN: 9783540258773 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings von Jayadev Misra; Tobias Nipkow; Emil Sekerinski Buch | Softcover 2006 | Auflage: 1 | Springer Berlin ISBN: 9783540372158 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen