Languages
Subject
Format
Availabity
Authors

Search result

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 English 08.09.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Teru Higashino, Teruo Higashino - Principles of Distributed Systems
Teru Higashino, Teruo Higashino Principles of Distributed Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Rober Nieuwenhuis, Robert Nieuwenhuis - Automated Deduction - CADE-20
Rober Nieuwenhuis, Robert Nieuwenhuis Automated Deduction - CADE-20 English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Flavi Oquendo, Flavio Oquendo - Software Architecture
Flavi Oquendo, Flavio Oquendo Software Architecture English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 16.08.2002 Paperback / Softback Fr. 135.00 6-7 weeks
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 English 26.07.2011 Hardback Fr. 135.00 6-7 weeks
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 English 14.04.2009 Paperback / Softback Fr. 70.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
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 English 02.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
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
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 English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Enrico Giunchiglia, Toby Walsh - SAT 2005
Enrico Giunchiglia, Toby Walsh SAT 2005 English 28.03.2011 Hardback Fr. 189.00 6-7 weeks
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 English 26.06.2009 Hardback Fr. 189.00 6-7 weeks