Languages
Subject
Format
Availabity
Authors

Search result

Luisa Consolini, Michael Haug, Eric W. Olsen, Eri W Olsen, Eric W Olsen - Software Quality Approaches: Testing, Verification, and Validation
Luisa Consolini, Michael Haug, Eric W. Olsen, Eri W Olsen, Eric W Olsen Software Quality Approaches: Testing, Verification, and Validation English 05.11.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Levi, Levi, Giorgio Levi, Bernhar Steffen, Bernhard Steffen - Verification, Model Checking, and Abstract Interpretation
Levi, Levi, Giorgio Levi, Bernhar Steffen, Bernhard Steffen Verification, Model Checking, and Abstract Interpretation English 16.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Fran Dignum, Frank Dignum - Advances in Agent Communication
Fran Dignum, Frank Dignum Advances in Agent Communication English 06.07.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Monika Heiner, Hartmut König, Adam Wolisz - Formal Techniques for Networked and Distributed Systems - FORTE 2003
Monika Heiner, Hartmut König, Adam Wolisz Formal Techniques for Networked and Distributed Systems - FORTE 2003 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
David Basin, Michael Rusinowitch - Automated Reasoning
David Basin, Michael Rusinowitch Automated Reasoning English 24.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Joao Leite, João Leite, Andre Omicini, Andrea Omicini, Leon Sterling, Leon Sterling et al... - Declarative Agent Languages and Technologies
Joao Leite, João Leite, Andre Omicini, Andrea Omicini, Leon Sterling, Leon Sterling et al... Declarative Agent Languages and Technologies English 24.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Frank Van Der Linden - Software Product-Family Engineering
Frank Van Der Linden Software Product-Family Engineering English 24.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Kittler Josef, Josef Kittler, Fabio Roli, Terry Windeatt - Multiple Classifier Systems
Kittler Josef, Josef Kittler, Fabio Roli, Terry Windeatt Multiple Classifier Systems English 18.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Ivan Kopecek, Karel Pala, Petr Sojka - Text, Speech and Dialogue
Ivan Kopecek, Karel Pala, Petr Sojka Text, Speech and Dialogue English 17.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay, Lenore D. Zuck - Verification, Model Checking, and Abstract Interpretation
Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay, Lenore D. Zuck Verification, Model Checking, and Abstract Interpretation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Cristian Calude, Michael J. Dinneen, F. Peper - Unconventional Models of Computation
Cristian Calude, Michael J. Dinneen, F. Peper Unconventional Models of Computation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Ivan Kopecek, Karel Pala, Petr Sojka - Text, Speech and Dialogue
Ivan Kopecek, Karel Pala, Petr Sojka Text, Speech and Dialogue English 01.07.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar - Theorem Proving in Higher Order Logics
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar Theorem Proving in Higher Order Logics English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Vaclav Matousek, Pavel Mautner - Text, Speech and Dialogue
Vaclav Matousek, Pavel Mautner Text, Speech and Dialogue English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Scot A Smolka, Scott A Smolka, Dina Goldin, Dina Q. Goldin, Scott A. Smolka, Peter Wegner - Interactive Computation
Scot A Smolka, Scott A Smolka, Dina Goldin, Dina Q. Goldin, Scott A. Smolka, Peter Wegner Interactive Computation English 24.08.2007 Hardback Fr. 189.00 6-7 weeks
Costin Badica, Dumitru Dan Burdescu, Vincenza Carchiolo, Giuseppe Mangioni - Intelligent Distributed Computing, Systems and Applications
Costin Badica, Dumitru Dan Burdescu, Vincenza Carchiolo, Giuseppe Mangioni Intelligent Distributed Computing, Systems and Applications English 12.04.2011 Hardback Fr. 189.00 6-7 weeks
Scot A Smolka, Scott A Smolka, Dina Goldin, Scott A. Smolka, Peter Wegner - Interactive Computation
Scot A Smolka, Scott A Smolka, Dina Goldin, Scott A. Smolka, Peter Wegner Interactive Computation English 06.10.2010 Paperback / Softback Fr. 189.00 6-7 weeks
Lakhmi C. Jain, Vasil Palade, Vasile Palade, Srinivasan, Srinivasan, Dipti Srinivasan - Advances in Evolutionary Computing for System Design
Lakhmi C. Jain, Vasil Palade, Vasile Palade, Srinivasan, Srinivasan, Dipti Srinivasan Advances in Evolutionary Computing for System Design English 06.10.2010 Paperback / Softback Fr. 189.00 6-7 weeks
Lucian Baresi, Luciano Baresi, Elisabetta Nitto - Test and Analysis of Web Services
Lucian Baresi, Luciano Baresi, Elisabetta Nitto Test and Analysis of Web Services English 12.10.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Costi Badica, Costin Badica, Paprzycki, Paprzycki, Marcin Paprzycki - Advances in Intelligent and Distributed Computing
Costi Badica, Costin Badica, Paprzycki, Paprzycki, Marcin Paprzycki Advances in Intelligent and Distributed Computing English 06.10.2010 Paperback / Softback Fr. 189.00 6-7 weeks