Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

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 Anglais 24.08.2007 Livre Relié Fr. 189.00 6-7 semaines
Ulric Furbach, Ulrich Furbach, Shankar, Shankar, Natarajan Shankar - Automated Reasoning
Ulric Furbach, Ulrich Furbach, Shankar, Shankar, Natarajan Shankar Automated Reasoning Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Iva Kopecek, Ivan Kopecek, Karel Pala, Petr Sojka - Text, Speech and Dialogue
Iva Kopecek, Ivan Kopecek, Karel Pala, Petr Sojka Text, Speech and Dialogue Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Renat Schmidt, Renate Schmidt, Renate A. Schmidt - Relations and Kleene Algebra in Computer Science
Renat Schmidt, Renate Schmidt, Renate A. Schmidt Relations and Kleene Algebra in Computer Science Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata, Masanobu Umeda, Armin Wolf - Declarative Programming for Knowledge Management
Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata, Masanobu Umeda, Armin Wolf Declarative Programming for Knowledge Management Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Cristian Calude, Michael J. Dinneen, F. Peper - Unconventional Models of Computation
Cristian Calude, Michael J. Dinneen, F. Peper Unconventional Models of Computation Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Ivan Kopecek, Karel Pala, Petr Sojka - Text, Speech and Dialogue
Ivan Kopecek, Karel Pala, Petr Sojka Text, Speech and Dialogue Anglais 01.07.2009 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Vaclav Matousek, Pavel Mautner - Text, Speech and Dialogue
Vaclav Matousek, Pavel Mautner Text, Speech and Dialogue Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden, Marina Waldén - ZB 2003: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden, Marina Waldén ZB 2003: Formal Specification and Development in Z and B Anglais 02.08.2005 Livre de poche Fr. 135.00 6-7 semaines
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 Anglais 05.11.2001 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 16.08.2005 Livre de poche Fr. 70.00 6-7 semaines
Fran Dignum, Frank Dignum - Advances in Agent Communication
Fran Dignum, Frank Dignum Advances in Agent Communication Anglais 06.07.2005 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Michal Haindl, Kittler Josef, Josef Kittler, Fabio Roli - Multiple Classifier Systems
Michal Haindl, Kittler Josef, Josef Kittler, Fabio Roli Multiple Classifier Systems Anglais 13.04.2012 Livre de poche Fr. 70.00 6-7 semaines
David Basin, Michael Rusinowitch - Automated Reasoning
David Basin, Michael Rusinowitch Automated Reasoning Anglais 24.08.2005 Livre de poche Fr. 135.00 6-7 semaines
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 Anglais 24.08.2005 Livre de poche Fr. 70.00 6-7 semaines
Frank Van Der Linden - Software Product-Family Engineering
Frank Van Der Linden Software Product-Family Engineering Anglais 24.08.2005 Livre de poche Fr. 135.00 6-7 semaines
Kittler Josef, Josef Kittler, Fabio Roli, Terry Windeatt - Multiple Classifier Systems
Kittler Josef, Josef Kittler, Fabio Roli, Terry Windeatt Multiple Classifier Systems Anglais 18.08.2005 Livre de poche Fr. 70.00 6-7 semaines