Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Tony Clark, Jos Warmer - Object Modeling with the OCL
Tony Clark, Jos Warmer Object Modeling with the OCL Inglese 27.02.2002 Tascabile Fr. 70.00 6-7 settimane
Roland Groz, Robert M. Hierons - Testing of Communicating Systems, TestCom 2004
Roland Groz, Robert M. Hierons Testing of Communicating Systems, TestCom 2004 Inglese 02.03.2004 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 24.10.2001 Tascabile Fr. 60.90 6-7 settimane
Thomas Arts, Ricardo Pena - Implementation of Functional Languages
Thomas Arts, Ricardo Pena Implementation of Functional Languages Inglese 20.05.2003 Tascabile Fr. 70.00 6-7 settimane
Jeremy Gibbons, Perdita Stevens - Bidirectional Transformations
Jeremy Gibbons, Perdita Stevens Bidirectional Transformations Inglese 29.03.2018 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 28.09.2016 Tascabile Fr. 70.00 6-7 settimane
Amal Ahmed - Programming Languages and Systems
Amal Ahmed Programming Languages and Systems Inglese 15.04.2018 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 08.05.2018 Tascabile Fr. 70.00 6-7 settimane
Viviana Mascardi, Alessandro Ricci, Danny Weyns - Engineering Multi-Agent Systems
Viviana Mascardi, Alessandro Ricci, Danny Weyns Engineering Multi-Agent Systems Inglese 14.07.2019 Tascabile Fr. 92.00 6-7 settimane
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification Inglese 22.07.2018 Tascabile Fr. 70.00 6-7 settimane
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification Inglese 22.07.2018 Tascabile Fr. 70.00 6-7 settimane
Dragan Bosnacki, Stefan Edelkamp - Model Checking Software
Dragan Bosnacki, Stefan Edelkamp Model Checking Software Inglese 21.06.2007 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 26.05.2014 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 05.05.2017 Tascabile Fr. 70.00 6-7 settimane
Zoltán Horváth, Zoltán Horváth - Central European Functional Programming School
Zoltán Horváth, Zoltán Horváth Central European Functional Programming School Inglese 02.10.2006 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 12.04.2011 Copertina rigida Fr. 189.00 6-7 settimane
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 Inglese 06.10.2010 Tascabile Fr. 189.00 6-7 settimane
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 Inglese 06.10.2010 Tascabile Fr. 189.00 6-7 settimane
Lucian Baresi, Luciano Baresi, Elisabetta Nitto - Test and Analysis of Web Services
Lucian Baresi, Luciano Baresi, Elisabetta Nitto Test and Analysis of Web Services Inglese 12.10.2010 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 06.10.2010 Tascabile Fr. 189.00 6-7 settimane