Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Peter Müller - Modular Specification and Verification of Object-Oriented Programs
Peter Müller Modular Specification and Verification of Object-Oriented Programs Englisch 27.02.2002 Taschenbuch Fr. 70.00 6-7 Wochen
Görel Hedin - Compiler Construction
Görel Hedin Compiler Construction Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Mauro Pezzè - Fundamental Approaches to Software Engineering
Mauro Pezzè Fundamental Approaches to Software Engineering Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Rafael H. Bordini, Mehd Dastani, Mehdi Dastani, Jurgen Dix, Jürgen Dix, Jürgen Dix et al... - Multi-Agent Programming
Rafael H. Bordini, Mehd Dastani, Mehdi Dastani, Jurgen Dix, Jürgen Dix, Jürgen Dix et al... Multi-Agent Programming Englisch 17.09.2005 Fester Einband Fr. 203.00 6-7 Wochen
Eduardo Alonso, Dimitar Kazakov, Danie Kudenko, Daniel Kudenko - Adaptive Agents and Multi-Agent Systems
Eduardo Alonso, Dimitar Kazakov, Danie Kudenko, Daniel Kudenko Adaptive Agents and Multi-Agent Systems Englisch 22.05.2003 Taschenbuch Fr. 70.00 6-7 Wochen
Eli Biham - Advances in Cryptology - EUROCRYPT 2003
Eli Biham Advances in Cryptology - EUROCRYPT 2003 Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Henry Gordon Dietz - Languages and Compilers for Parallel Computing
Henry Gordon Dietz Languages and Compilers for Parallel Computing Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
H. Geuvers, Herma Geuvers, Herman Geuvers, Wiedijk, Wiedijk, F. Wiedijk... - Types for Proofs and Programs
H. Geuvers, Herma Geuvers, Herman Geuvers, Wiedijk, Wiedijk, F. Wiedijk... Types for Proofs and Programs Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
F. Giunchiglia, Fausto Giunchiglia, J. Odell, Jame Odell, James Odell, G. Weiss... - Agent-Oriented Software Engineering III
F. Giunchiglia, Fausto Giunchiglia, J. Odell, Jame Odell, James Odell, G. Weiss... Agent-Oriented Software Engineering III Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
B. O'Sullivan, Barr O'Sullivan, Barry O'Sullivan - Recent Advances in Constraints
B. O'Sullivan, Barr O'Sullivan, Barry O'Sullivan Recent Advances in Constraints Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Markus Endler, Douglas Schmidt, Douglas C. Schmidt - Middleware 2003
Markus Endler, Douglas Schmidt, Douglas C. Schmidt Middleware 2003 Englisch 26.06.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Radhia Cousot - Static Analysis
Radhia Cousot Static Analysis Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
H. Hussmann, Heinrich Hussmann - Fundamental Approaches to Software Engineering
H. Hussmann, Heinrich Hussmann Fundamental Approaches to Software Engineering Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Andre D Gordon, Andrew D Gordon, Andrew D. Gordon - Foundations of Software Science and Computational Structures
Andre D Gordon, Andrew D Gordon, Andrew D. Gordon Foundations of Software Science and Computational Structures Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
S. Benferhat, Salem Benferhat, P. Besnard, Philippe Besnard - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
S. Benferhat, Salem Benferhat, P. Besnard, Philippe Besnard Symbolic and Quantitative Approaches to Reasoning with Uncertainty Englisch 26.06.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Gilles Barthe, P. Dybjer, Peter Dybjer, L. Pinto, Luis Pinto, Joao Saraiva... - Applied Semantics
Gilles Barthe, P. Dybjer, Peter Dybjer, L. Pinto, Luis Pinto, Joao Saraiva... Applied Semantics Englisch 07.10.2002 Taschenbuch Fr. 70.00 6-7 Wochen
Michael Butler, Luigia Petre, Kaisa Sere - Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere Integrated Formal Methods Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Stephen Cook, Heinrich Hussman, Jean-Marc Jezequel - UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools
Stephen Cook, Heinrich Hussman, Jean-Marc Jezequel UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Don Batory, Charles Consel, Walid Taha - Generative Programming and Component Engineering
Don Batory, Charles Consel, Walid Taha Generative Programming and Component Engineering Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Krzystof Diks, Wojciech Rytter - Mathematical Foundations of Computer Science 2002
Krzystof Diks, Wojciech Rytter Mathematical Foundations of Computer Science 2002 Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen