Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Iva Kopecek, Ivan Kopecek, Karel Pala, Petr Sojka - Text, Speech and Dialogue
Iva Kopecek, Ivan Kopecek, Karel Pala, Petr Sojka Text, Speech and Dialogue Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Michal Haindl, Kittler Josef, Josef Kittler, Fabio Roli - Multiple Classifier Systems
Michal Haindl, Kittler Josef, Josef Kittler, Fabio Roli Multiple Classifier Systems Inglese 13.04.2012 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 24.08.2007 Copertina rigida Fr. 189.00 6-7 settimane
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 Inglese 02.08.2005 Tascabile Fr. 135.00 6-7 settimane
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 Inglese 05.11.2001 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 16.08.2005 Tascabile Fr. 70.00 6-7 settimane
Fran Dignum, Frank Dignum - Advances in Agent Communication
Fran Dignum, Frank Dignum Advances in Agent Communication Inglese 06.07.2005 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
David Basin, Michael Rusinowitch - Automated Reasoning
David Basin, Michael Rusinowitch Automated Reasoning Inglese 24.08.2005 Tascabile Fr. 135.00 6-7 settimane
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 Inglese 24.08.2005 Tascabile Fr. 70.00 6-7 settimane
Frank Van Der Linden - Software Product-Family Engineering
Frank Van Der Linden Software Product-Family Engineering Inglese 24.08.2005 Tascabile Fr. 135.00 6-7 settimane
Kittler Josef, Josef Kittler, Fabio Roli, Terry Windeatt - Multiple Classifier Systems
Kittler Josef, Josef Kittler, Fabio Roli, Terry Windeatt Multiple Classifier Systems Inglese 18.08.2005 Tascabile Fr. 70.00 6-7 settimane
Ivan Kopecek, Karel Pala, Petr Sojka - Text, Speech and Dialogue
Ivan Kopecek, Karel Pala, Petr Sojka Text, Speech and Dialogue Inglese 17.08.2005 Tascabile Fr. 135.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Cristian Calude, Michael J. Dinneen, F. Peper - Unconventional Models of Computation
Cristian Calude, Michael J. Dinneen, F. Peper Unconventional Models of Computation Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Ivan Kopecek, Karel Pala, Petr Sojka - Text, Speech and Dialogue
Ivan Kopecek, Karel Pala, Petr Sojka Text, Speech and Dialogue Inglese 01.07.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Vaclav Matousek, Pavel Mautner - Text, Speech and Dialogue
Vaclav Matousek, Pavel Mautner Text, Speech and Dialogue Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane