Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Gerard Chollet, Ann Esposito, Anna Esposito, Marcos Faundez-Zanuy, Marcos Faundez-Zanuy et al, Maria Marinaro - Nonlinear Speech Modeling and Applications
Gerard Chollet, Ann Esposito, Anna Esposito, Marcos Faundez-Zanuy, Marcos Faundez-Zanuy et al, Maria Marinaro Nonlinear Speech Modeling and Applications Inglese 08.09.2005 Tascabile Fr. 70.00 6-7 settimane
Teru Higashino, Teruo Higashino - Principles of Distributed Systems
Teru Higashino, Teruo Higashino Principles of Distributed Systems Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Rober Nieuwenhuis, Robert Nieuwenhuis - Automated Deduction - CADE-20
Rober Nieuwenhuis, Robert Nieuwenhuis Automated Deduction - CADE-20 Inglese 26.06.2009 Tascabile Fr. 70.00 6-7 settimane
Flavi Oquendo, Flavio Oquendo - Software Architecture
Flavi Oquendo, Flavio Oquendo Software Architecture Inglese 14.04.2009 Tascabile Fr. 70.00 6-7 settimane
Ajit Abraham, Ajith Abraham, Mario Koeppen, Köppen, Köppen, Mario Köppen - Hybrid Information Systems
Ajit Abraham, Ajith Abraham, Mario Koeppen, Köppen, Köppen, Mario Köppen Hybrid Information Systems Inglese 16.08.2002 Tascabile Fr. 135.00 6-7 settimane
Csill Farkas, Csilla Farkas, Samarati, Samarati, Pierangela Samarati - Research Directions in Data and Applications Security XVIII
Csill Farkas, Csilla Farkas, Samarati, Samarati, Pierangela Samarati Research Directions in Data and Applications Security XVIII Inglese 26.07.2011 Copertina rigida Fr. 135.00 6-7 settimane
S. Aguzzoli, Stefano Aguzzoli, Ciabattoni, A Ciabattoni, A. Ciabattoni, Agata Ciabattoni... - Algebraic and Proof-theoretic Aspects of Non-classical Logics
S. Aguzzoli, Stefano Aguzzoli, Ciabattoni, A Ciabattoni, A. Ciabattoni, Agata Ciabattoni... Algebraic and Proof-theoretic Aspects of Non-classical Logics Inglese 14.04.2009 Tascabile Fr. 70.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
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
J H Fetzer, J. H. Fetzer, J.H. Fetzer, James H. Fetzer - Computers and Cognition: Why Minds are not Machines
J H Fetzer, J. H. Fetzer, J.H. Fetzer, James H. Fetzer Computers and Cognition: Why Minds are not Machines Inglese 26.06.2009 Tascabile Fr. 70.00 6-7 settimane
Enrico Giunchiglia, Toby Walsh - SAT 2005
Enrico Giunchiglia, Toby Walsh SAT 2005 Inglese 28.03.2011 Copertina rigida Fr. 189.00 6-7 settimane
BHATTACHARYA, Bhattacharya, Sourav Bhattacharya, Victo L Winter, Victor L Winter, Victor L. Winter - High Integrity Software
BHATTACHARYA, Bhattacharya, Sourav Bhattacharya, Victo L Winter, Victor L Winter, Victor L. Winter High Integrity Software Inglese 26.06.2009 Copertina rigida Fr. 189.00 6-7 settimane