Languages
Subject
Format
Availabity
Authors

Search result

Martin Hofmann - Typed Lambda Calculi and Applications
Martin Hofmann Typed Lambda Calculi and Applications English 27.05.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg - Theory Is Forever
Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg Theory Is Forever English 29.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Marco Bernardo, Rocco De Nicola, Jane Hillston - Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems English 12.06.2016 Paperback / Softback Fr. 70.00 6-7 weeks
André Platzer - Logical Foundations of Cyber-Physical Systems
André Platzer Logical Foundations of Cyber-Physical Systems English 08.02.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Emanuel Kitzelmann, Ute Schmid - Approaches and Applications of Inductive Programming
Emanuel Kitzelmann, Ute Schmid Approaches and Applications of Inductive Programming English 14.04.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Aldo Gangemi, Asunción Gómez-Pérez, Enrico Motta, Mari Carmen Suárez-Figueroa - Ontology Engineering in a Networked World
Aldo Gangemi, Asunción Gómez-Pérez, Enrico Motta, Mari Carmen Suárez-Figueroa Ontology Engineering in a Networked World English 17.04.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Josep Carmona, Gregor Engels, Akhil Kumar - Business Process Management
Josep Carmona, Gregor Engels, Akhil Kumar Business Process Management English 11.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Robert Fullér, Silvio Giove, Francesco Masulli - Fuzzy Logic and Applications
Robert Fullér, Silvio Giove, Francesco Masulli Fuzzy Logic and Applications English 23.02.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Fred Mesnard, Peter J. Stuckey - Logic-Based Program Synthesis and Transformation
Fred Mesnard, Peter J. Stuckey Logic-Based Program Synthesis and Transformation English 23.02.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Nicolas Lachiche, Christel Vrain - Inductive Logic Programming
Nicolas Lachiche, Christel Vrain Inductive Logic Programming English 15.03.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Jing Sun, Meng Sun - Formal Methods and Software Engineering
Jing Sun, Meng Sun Formal Methods and Software Engineering English 11.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Farid Karimipour, Miguel R. Luaces, Miguel R. Luaces - Web and Wireless Geographical Information Systems
Farid Karimipour, Miguel R. Luaces, Miguel R. Luaces Web and Wireless Geographical Information Systems English 17.04.2018 Paperback / Softback Fr. 59.50 6-7 weeks
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 English 08.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
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. 70.00 6-7 weeks
Diana ¿Otropa, Mehwish Alam, Dominik Endres, Diana Sotropa, Diana Şotropa - Graph-Based Representation and Reasoning
Diana ¿Otropa, Mehwish Alam, Dominik Endres, Diana Sotropa, Diana Şotropa Graph-Based Representation and Reasoning English 19.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang - Tools and Algorithms for the Construction and Analysis of Systems
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang Tools and Algorithms for the Construction and Analysis of Systems English 04.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang - Tools and Algorithms for the Construction and Analysis of Systems
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang Tools and Algorithms for the Construction and Analysis of Systems English 04.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
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. 82.00 6-7 weeks
Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son - Engineering Multi-Agent Systems
Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son Engineering Multi-Agent Systems English 15.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Yannis Manolopoulos, Sergey Stupnikov - Data Analytics and Management in Data Intensive Domains
Yannis Manolopoulos, Sergey Stupnikov Data Analytics and Management in Data Intensive Domains English 04.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks