Languages
Subject
Format
Availabity
Authors

Search result

Jacopo Mauro - Constraints Meet Concurrency
Jacopo Mauro Constraints Meet Concurrency English 17.01.2014 Hardback Fr. 69.00 2-3 weeks (title will be printed to order)
Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa - Membrane Computing
Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa Membrane Computing English 28.01.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Raymond S. T. Lee, Raymond S.T. Lee - Fuzzy-Neuro Approach to Agent Applications
Raymond S. T. Lee, Raymond S.T. Lee Fuzzy-Neuro Approach to Agent Applications English 12.02.2010 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Marieke Huisman, Julia Rubin - Fundamental Approaches to Software Engineering
Marieke Huisman, Julia Rubin Fundamental Approaches to Software Engineering English 22.03.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Matteo Baldoni, Jörg P. Müller, Ingrid Nunes, Rym Zalila-Wenkstern - Engineering Multi-Agent Systems
Matteo Baldoni, Jörg P. Müller, Ingrid Nunes, Rym Zalila-Wenkstern Engineering Multi-Agent Systems English 16.12.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jonathan P. Bowen, Huibiao Zhu - Unifying Theories of Programming
Jonathan P. Bowen, Huibiao Zhu Unifying Theories of Programming English 11.01.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Elvira Albert, Ivan Lanese - Formal Techniques for Distributed Objects, Components, and Systems
Elvira Albert, Ivan Lanese Formal Techniques for Distributed Objects, Components, and Systems English 27.06.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Miklos Biro, Michael Butler, Atif Mashkoor, Klaus-Dieter Schewe - Abstract State Machines, Alloy, B, TLA, VDM, and Z
Miklos Biro, Michael Butler, Atif Mashkoor, Klaus-Dieter Schewe Abstract State Machines, Alloy, B, TLA, VDM, and Z English 11.05.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Mauro Dragoni, Ernesto Jimenez-Ruiz, María Poveda-Villalón - OWL: Experiences and Directions - Reasoner Evaluation
Mauro Dragoni, Ernesto Jimenez-Ruiz, María Poveda-Villalón OWL: Experiences and Directions - Reasoner Evaluation English 25.02.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero - Computing with Foresight and Industry
Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero Computing with Foresight and Industry English 19.06.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems English 14.04.2019 Paperback / Softback Fr. 81.00 1-2 weeks (title will be printed to order)
Eric Pacuit, Jennifer Sikos - At the Intersection of Language, Logic, and Information
Eric Pacuit, Jennifer Sikos At the Intersection of Language, Logic, and Information English 06.07.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach - Language, Logic, and Computation
Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach Language, Logic, and Computation English 04.07.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen - Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen Tools and Algorithms for the Construction and Analysis of Systems English 04.04.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Irene Garrigós, Manuel Wimmer - Current Trends in Web Engineering
Irene Garrigós, Manuel Wimmer Current Trends in Web Engineering English 22.02.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Andreas Herzig, Andrei Popescu - Frontiers of Combining Systems
Andreas Herzig, Andrei Popescu Frontiers of Combining Systems English 14.08.2019 Paperback / Softback Fr. 90.00 1-2 weeks (title will be printed to order)
Joost-Pieter Katoen, Rom Langerak, Arend Rensink - ModelEd, TestEd, TrustEd
Joost-Pieter Katoen, Rom Langerak, Arend Rensink ModelEd, TestEd, TrustEd English 29.09.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
David ¿Afránek, Milan ¿E¿Ka, Milan Ceska, Milan Češka, David Safránek, David Šafránek - Computational Methods in Systems Biology
David ¿Afránek, Milan ¿E¿Ka, Milan Ceska, Milan Češka, David Safránek, David Šafránek Computational Methods in Systems Biology English 05.09.2018 Paperback / Softback Fr. 83.00 1-2 weeks (title will be printed to order)
Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Giovambattista Ianni, Domenico Lembo... - Reasoning Web. Semantic Interoperability on the Web
Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Giovambattista Ianni, Domenico Lembo... Reasoning Web. Semantic Interoperability on the Web English 12.06.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Van-Nam Huynh, Masahiro Inuiguchi, Canh Hao Nguyen, Hirosato Seki - Integrated Uncertainty in Knowledge Modelling and Decision Making
Van-Nam Huynh, Masahiro Inuiguchi, Canh Hao Nguyen, Hirosato Seki Integrated Uncertainty in Knowledge Modelling and Decision Making English 07.03.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)