Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

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 Anglais 08.09.2005 Livre de poche Fr. 70.00 6-7 semaines
Teru Higashino, Teruo Higashino - Principles of Distributed Systems
Teru Higashino, Teruo Higashino Principles of Distributed Systems Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Jean-Marie Jacquet, Gian Pietro Picco - Coordination Models and Languages
Jean-Marie Jacquet, Gian Pietro Picco Coordination Models and Languages Anglais 05.04.2005 Livre de poche Fr. 70.00 6-7 semaines
Patrick Godefroid - Model Checking Software
Patrick Godefroid Model Checking Software Anglais 09.08.2005 Livre de poche Fr. 70.00 6-7 semaines
Corrado Priami, Paola Quaglia - Global Computing
Corrado Priami, Paola Quaglia Global Computing Anglais 22.02.2005 Livre de poche Fr. 70.00 6-7 semaines
Zhenhua Duan, Shaoying Liu - Structured Object-Oriented Formal Language and Method
Zhenhua Duan, Shaoying Liu Structured Object-Oriented Formal Language and Method Anglais 13.03.2016 Livre de poche Fr. 70.00 6-7 semaines
Jonathan P. Bowen, Huibiao Zhu - Unifying Theories of Programming
Jonathan P. Bowen, Huibiao Zhu Unifying Theories of Programming Anglais 11.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Ichiro Hasuo - Coalgebraic Methods in Computer Science
Ichiro Hasuo Coalgebraic Methods in Computer Science Anglais 04.06.2016 Livre de poche Fr. 70.00 6-7 semaines
Eva Kühn, Rosario Pugliese - Coordination Models and Languages
Eva Kühn, Rosario Pugliese Coordination Models and Languages Anglais 24.07.2014 Livre de poche Fr. 70.00 6-7 semaines
Benoit Gaudou, Jaime Simao Sichman - Multi-agent Based Simulation XVI
Benoit Gaudou, Jaime Simao Sichman Multi-agent Based Simulation XVI Anglais 15.03.2016 Livre de poche Fr. 59.50 6-7 semaines
Sebastian Gabmeyer, Einar Broch Johnsen - Tests and Proofs
Sebastian Gabmeyer, Einar Broch Johnsen Tests and Proofs Anglais 18.06.2017 Livre de poche Fr. 70.00 6-7 semaines
Bernhard Gramlich - Frontiers of Combining Systems
Bernhard Gramlich Frontiers of Combining Systems Anglais 12.09.2005 Livre de poche Fr. 70.00 6-7 semaines
Serge Gaspers, Toby Walsh - Theory and Applications of Satisfiability Testing - SAT 2017
Serge Gaspers, Toby Walsh Theory and Applications of Satisfiability Testing - SAT 2017 Anglais 09.08.2017 Livre de poche Fr. 70.00 6-7 semaines
Alessio Lomuscio, Donald Nute - Deontic Logic in Computer Science
Alessio Lomuscio, Donald Nute Deontic Logic in Computer Science Anglais 12.05.2004 Livre de poche Fr. 70.00 6-7 semaines
Marc-Philippe Huget, Marc-Phillipe Huget - Communication in Multiagent Systems
Marc-Philippe Huget, Marc-Phillipe Huget Communication in Multiagent Systems Anglais 25.06.2003 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 16.08.2002 Livre de poche Fr. 135.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