Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Ivan Kopecek, Karel Pala, Petr Sojka - Text, Speech and Dialogue
Ivan Kopecek, Karel Pala, Petr Sojka Text, Speech and Dialogue Anglais 17.08.2005 Livre de poche Fr. 135.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
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
Dragan Bosnacki, Stefan Edelkamp - Model Checking Software
Dragan Bosnacki, Stefan Edelkamp Model Checking Software Anglais 21.06.2007 Livre de poche Fr. 70.00 6-7 semaines
Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels - ABZ 2014: The Landing Gear Case Study
Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels ABZ 2014: The Landing Gear Case Study Anglais 26.05.2014 Livre de poche Fr. 70.00 6-7 semaines
Wil van der Aalst, Eike Best, Wil Van Der Aalst - Application and Theory of Petri Nets and Concurrency
Wil van der Aalst, Eike Best, Wil Van Der Aalst Application and Theory of Petri Nets and Concurrency Anglais 05.05.2017 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
Costin Badica, Dumitru Dan Burdescu, Vincenza Carchiolo, Giuseppe Mangioni - Intelligent Distributed Computing, Systems and Applications
Costin Badica, Dumitru Dan Burdescu, Vincenza Carchiolo, Giuseppe Mangioni Intelligent Distributed Computing, Systems and Applications Anglais 12.04.2011 Livre Relié Fr. 189.00 6-7 semaines
Lucian Baresi, Luciano Baresi, Elisabetta Nitto - Test and Analysis of Web Services
Lucian Baresi, Luciano Baresi, Elisabetta Nitto Test and Analysis of Web Services Anglais 12.10.2010 Livre de poche Fr. 70.00 6-7 semaines
Scot A Smolka, Scott A Smolka, Dina Goldin, Scott A. Smolka, Peter Wegner - Interactive Computation
Scot A Smolka, Scott A Smolka, Dina Goldin, Scott A. Smolka, Peter Wegner Interactive Computation Anglais 06.10.2010 Livre de poche Fr. 189.00 6-7 semaines
Lakhmi C. Jain, Vasil Palade, Vasile Palade, Srinivasan, Srinivasan, Dipti Srinivasan - Advances in Evolutionary Computing for System Design
Lakhmi C. Jain, Vasil Palade, Vasile Palade, Srinivasan, Srinivasan, Dipti Srinivasan Advances in Evolutionary Computing for System Design Anglais 06.10.2010 Livre de poche Fr. 189.00 6-7 semaines
Costi Badica, Costin Badica, Paprzycki, Paprzycki, Marcin Paprzycki - Advances in Intelligent and Distributed Computing
Costi Badica, Costin Badica, Paprzycki, Paprzycki, Marcin Paprzycki Advances in Intelligent and Distributed Computing Anglais 06.10.2010 Livre de poche Fr. 189.00 6-7 semaines