Languages
Subject
Format
Availabity
Authors

Search result

Armando Eduardo De Giusti - Computer Science - CACIC 2017
Armando Eduardo De Giusti Computer Science - CACIC 2017 English 26.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Furio Honsell, Marino Miculan, Ivan Scagnetto - Types for Proofs and Programs
Furio Honsell, Marino Miculan, Ivan Scagnetto Types for Proofs and Programs English 26.05.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Tamas Horváth, Akihiro Yamamoto - Inductive Logic Programming
Tamas Horváth, Akihiro Yamamoto Inductive Logic Programming English 24.09.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Michael Luck, Vladimir Marik, Olga Stepankova, Robert Trappl - Multi-Agent Systems and Applications
Michael Luck, Vladimir Marik, Olga Stepankova, Robert Trappl Multi-Agent Systems and Applications English 20.06.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Irene Eusgeld, Felix Freiling, Ralf Reussner, Ralf H. Reussner - Dependability Metrics
Irene Eusgeld, Felix Freiling, Ralf Reussner, Ralf H. Reussner Dependability Metrics English 30.05.2008 Paperback / Softback Fr. 60.90 6-7 weeks
Michael Schumacher - Objective Coordination in Multi-Agent System Engineering
Michael Schumacher Objective Coordination in Multi-Agent System Engineering English 25.04.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Supratik Chakraborty, Madhavan Mukund - Automated Technology for Verification and Analysis
Supratik Chakraborty, Madhavan Mukund Automated Technology for Verification and Analysis English 16.08.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Daniel J. Veit - Matchmaking in Electronic Markets
Daniel J. Veit Matchmaking in Electronic Markets English 03.12.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Sanjeev K. Aggarwal, Manish Parashar - Distributed Computing and Internet Technology
Sanjeev K. Aggarwal, Manish Parashar Distributed Computing and Internet Technology English 19.11.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Jean Pierre Banatre, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer, Martin Wirsing - Software-Intensive Systems and New Computing Paradigms
Jean Pierre Banatre, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer, Martin Wirsing Software-Intensive Systems and New Computing Paradigms English 06.11.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Matteo Baldoni, Birna van Riemsdijk, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff - Declarative Agent Languages and Technologies VI
Matteo Baldoni, Birna van Riemsdijk, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff Declarative Agent Languages and Technologies VI English 12.01.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Thanasis Korakis, Maximilian Ott, Michael Zink - Testbeds and Research Infrastructure: Development of Networks and Communities
Thanasis Korakis, Maximilian Ott, Michael Zink Testbeds and Research Infrastructure: Development of Networks and Communities English 21.11.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Paul Davidsson, Scott Moss - Multi-Agent-Based Simulation
Paul Davidsson, Scott Moss Multi-Agent-Based Simulation English 10.01.2001 Paperback / Softback Fr. 70.00 6-7 weeks
David England, Philippe Palanque, Jean Vanderdonckt, Peter Wild - Task Models and Diagrams for User Interface Design
David England, Philippe Palanque, Jean Vanderdonckt, Peter Wild Task Models and Diagrams for User Interface Design English 18.02.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Bernhard Beckert, Marcello M. Bonsangue, Ferruccio Damiani, Frank S. de Boer - Formal Methods for Components and Objects
Bernhard Beckert, Marcello M. Bonsangue, Ferruccio Damiani, Frank S. de Boer Formal Methods for Components and Objects English 03.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Ivica Crnkovic, George T. Heineman, Heinz G. Schmidt, Judith A. Stafford - Component-Based Software Engineering
Ivica Crnkovic, George T. Heineman, Heinz G. Schmidt, Judith A. Stafford Component-Based Software Engineering English 29.06.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Giovanna Di Marzo Serugendo, Anthony Karageorgos, Omer F. Rana, Franco Zambonelli - Engineering Self-Organising Systems
Giovanna Di Marzo Serugendo, Anthony Karageorgos, Omer F. Rana, Franco Zambonelli Engineering Self-Organising Systems English 18.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza - Recent Advances in Constraints
Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza Recent Advances in Constraints English 07.04.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Rui Camacho, Ross King, Ashwin Srinivasan - Inductive Logic Programming
Rui Camacho, Ross King, Ashwin Srinivasan Inductive Logic Programming English 24.08.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Tiziana Maragria, Bernhard Steffen - Leveraging Applications of Formal Methods
Tiziana Maragria, Bernhard Steffen Leveraging Applications of Formal Methods English 03.11.2006 Paperback / Softback Fr. 70.00 6-7 weeks