Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Robert Ekendahl, Michael Mintz, Mik Mintz, Mike Mintz - Hardware Verification with C++
Robert Ekendahl, Michael Mintz, Mik Mintz, Mike Mintz Hardware Verification with C++ Englisch 07.11.2006 Medienkombination Fr. 201.00 6-7 Wochen
Giulio Concas, Ernest Damiani, Ernesto Damiani, Marco Scotto, Marco Scotto et al, Giancarlo Succi - Agile Processes in Software Engineering and Extreme Programming
Giulio Concas, Ernest Damiani, Ernesto Damiani, Marco Scotto, Marco Scotto et al, Giancarlo Succi Agile Processes in Software Engineering and Extreme Programming Englisch 29.01.2013 Taschenbuch Fr. 70.00 6-7 Wochen
Marcel Arenas, Marcelo Arenas, I Schwartzbach, I Schwartzbach, Michael I. Schwartzbach - Database Programming Languages
Marcel Arenas, Marcelo Arenas, I Schwartzbach, I Schwartzbach, Michael I. Schwartzbach Database Programming Languages Englisch 13.09.2012 Taschenbuch Fr. 70.00 6-7 Wochen
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino - Formal Methods for Industrial Critical Systems
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino Formal Methods for Industrial Critical Systems Englisch 27.09.2012 Taschenbuch Fr. 70.00 6-7 Wochen
Michae Cebulla, Michael Cebulla - Object-Oriented Technology. ECOOP 2007 Workshop Reader
Michae Cebulla, Michael Cebulla Object-Oriented Technology. ECOOP 2007 Workshop Reader Englisch 29.01.2013 Taschenbuch Fr. 70.00 6-7 Wochen
Steffen Becker, Ralf H Reussner, Frantise Plasil, Frantisek Plasil, Ralf H. Reussner - Quality of Software Architectures Models and Architectures
Steffen Becker, Ralf H Reussner, Frantise Plasil, Frantisek Plasil, Ralf H. Reussner Quality of Software Architectures Models and Architectures Englisch 27.09.2012 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
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... - Language Constructs for Describing Features
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... Language Constructs for Describing Features Englisch 02.12.2013 Taschenbuch Fr. 120.00 6-7 Wochen
Jerem Gibbons, Jeremy Gibbons, Nogueira, Nogueira, Pablo Nogueira - Mathematics of Program Construction
Jerem Gibbons, Jeremy Gibbons, Nogueira, Nogueira, Pablo Nogueira Mathematics of Program Construction Englisch 11.05.2012 Taschenbuch Fr. 70.00 6-7 Wochen
Fabric Kordon, Fabrice Kordon, Vardanega, Vardanega, Tullio Vardanega - Reliable Software Technologies - Ada-Europe 2008
Fabric Kordon, Fabrice Kordon, Vardanega, Vardanega, Tullio Vardanega Reliable Software Technologies - Ada-Europe 2008 Englisch 29.01.2013 Taschenbuch Fr. 70.00 6-7 Wochen
Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... Formal Methods for Components and Objects Englisch 20.10.2006 Taschenbuch Fr. 70.00 6-7 Wochen
Frank Pfenning - Term Rewriting and Applications
Frank Pfenning Term Rewriting and Applications Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Atsush Igarashi, Atsushi Igarashi - Programming Languages and Systems
Atsush Igarashi, Atsushi Igarashi Programming Languages and Systems Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Volodymy Kindratenko, Volodymyr Kindratenko - Numerical Computations with GPUs
Volodymy Kindratenko, Volodymyr Kindratenko Numerical Computations with GPUs Englisch 01.01.2016 Taschenbuch Fr. 179.00 6-7 Wochen