Langues
Catégorie
Format
remettre à zéro disponibilité
Auteurs

Résultat de la recherche

Alessandro Armando - Frontiers of Combining Systems
Alessandro Armando Frontiers of Combining Systems Anglais 20.03.2002 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Ricardo Choren, Alessandr Garcia, Alessandro Garcia, Carlos Lucena, Carlos Lucena et al, Alexander Romanovsky - Software Engineering for Multi-Agent Systems III
Ricardo Choren, Alessandr Garcia, Alessandro Garcia, Carlos Lucena, Carlos Lucena et al, Alexander Romanovsky Software Engineering for Multi-Agent Systems III Anglais 12.04.2005 Livre de poche Fr. 70.00 6-7 semaines
Kittler Josef, Josef Kittler, Josef Kittler et al, Nikunj C. Oza, Rob Polikar, Robi Polikar... - Multiple Classifier Systems
Kittler Josef, Josef Kittler, Josef Kittler et al, Nikunj C. Oza, Rob Polikar, Robi Polikar... Multiple Classifier Systems Anglais 30.01.2013 Livre de poche Fr. 70.00 6-7 semaines
Colin Atkinson, Christia Bunse, Christian Bunse, Hans-Gerhard Gross, Hans-Gerhard Gross et al, Christian Peper - Component-Based Software Development for Embedded Systems
Colin Atkinson, Christia Bunse, Christian Bunse, Hans-Gerhard Gross, Hans-Gerhard Gross et al, Christian Peper Component-Based Software Development for Embedded Systems Anglais 22.12.2005 Livre de poche Fr. 70.00 6-7 semaines
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi - Verification, Model Checking, and Abstract Interpretation
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi Verification, Model Checking, and Abstract Interpretation Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
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
Rober Nieuwenhuis, Robert Nieuwenhuis - Automated Deduction - CADE-20
Rober Nieuwenhuis, Robert Nieuwenhuis Automated Deduction - CADE-20 Anglais 26.06.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
Tony Clark, Jos Warmer - Object Modeling with the OCL
Tony Clark, Jos Warmer Object Modeling with the OCL Anglais 27.02.2002 Livre de poche Fr. 70.00 6-7 semaines
Roland Groz, Robert M. Hierons - Testing of Communicating Systems, TestCom 2004
Roland Groz, Robert M. Hierons Testing of Communicating Systems, TestCom 2004 Anglais 02.03.2004 Livre de poche Fr. 70.00 6-7 semaines
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan - Modeling and Verification of Parallel Processes
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan Modeling and Verification of Parallel Processes Anglais 24.10.2001 Livre de poche Fr. 60.90 6-7 semaines
Thomas Arts, Ricardo Pena - Implementation of Functional Languages
Thomas Arts, Ricardo Pena Implementation of Functional Languages Anglais 20.05.2003 Livre de poche Fr. 70.00 6-7 semaines
Jeremy Gibbons, Perdita Stevens - Bidirectional Transformations
Jeremy Gibbons, Perdita Stevens Bidirectional Transformations Anglais 29.03.2018 Livre de poche Fr. 70.00 6-7 semaines
Ryszard Kowalczyk, Ngoc Thanh Nguyen, Cezary Or¿owski, Cezary Orłowski, Artur Zió¿kowski, Artur Ziólkowski... - Transactions on Computational Collective Intelligence XXV
Ryszard Kowalczyk, Ngoc Thanh Nguyen, Cezary Or¿owski, Cezary Orłowski, Artur Zió¿kowski, Artur Ziólkowski... Transactions on Computational Collective Intelligence XXV Anglais 28.09.2016 Livre de poche Fr. 70.00 6-7 semaines
Amal Ahmed - Programming Languages and Systems
Amal Ahmed Programming Languages and Systems Anglais 15.04.2018 Livre de poche Fr. 70.00 6-7 semaines
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl - Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl Abstract State Machines, Alloy, B, TLA, VDM, and Z Anglais 08.05.2018 Livre de poche Fr. 70.00 6-7 semaines
Viviana Mascardi, Alessandro Ricci, Danny Weyns - Engineering Multi-Agent Systems
Viviana Mascardi, Alessandro Ricci, Danny Weyns Engineering Multi-Agent Systems Anglais 14.07.2019 Livre de poche Fr. 92.00 6-7 semaines
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification Anglais 22.07.2018 Livre de poche Fr. 70.00 6-7 semaines
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification Anglais 22.07.2018 Livre de poche Fr. 70.00 6-7 semaines