Languages
Subject
Format
Availabity
Authors

Search result

David N. Jansen, Pavithra Prabhakar - Formal Modeling and Analysis of Timed Systems
David N. Jansen, Pavithra Prabhakar Formal Modeling and Analysis of Timed Systems English 26.08.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Isabel Aguiló, Manuel González-Hidalgo, Yasuo Narukawa, Vicenç Torra - Modeling Decisions for Artificial Intelligence
Isabel Aguiló, Manuel González-Hidalgo, Yasuo Narukawa, Vicenç Torra Modeling Decisions for Artificial Intelligence English 16.09.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez - Verification and Evaluation of Computer and Communication Systems
Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez Verification and Evaluation of Computer and Communication Systems English 31.08.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Diana Cristea, Florence Le Ber, Baris Sertkaya - Formal Concept Analysis
Diana Cristea, Florence Le Ber, Baris Sertkaya Formal Concept Analysis English 23.05.2019 Paperback / Softback Fr. 92.00 6-7 weeks
Thomas Zeume - Small Dynamic Complexity Classes
Thomas Zeume Small Dynamic Complexity Classes English 18.02.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazi¿, Ranko Lazic, Ranko Lazić - Concurrency, Security, and Puzzles
Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazi¿, Ranko Lazic, Ranko Lazić Concurrency, Security, and Puzzles English 18.12.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Madalena Chaves, Manuel A. Martins - Molecular Logic and Computational Synthetic Biology
Madalena Chaves, Manuel A. Martins Molecular Logic and Computational Synthetic Biology English 28.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Marija Slavkovik - Multi-Agent Systems
Marija Slavkovik Multi-Agent Systems English 15.02.2019 Paperback / Softback Fr. 70.00 6-7 weeks
El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez - Model and Data Engineering
El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez Model and Data Engineering English 13.09.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Karen C. Davis, Xiaoyong Du, Mong Li Lee, Guoliang Li, Zhanhuai Li, Tok Wang Ling... - Conceptual Modeling
Karen C. Davis, Xiaoyong Du, Mong Li Lee, Guoliang Li, Zhanhuai Li, Tok Wang Ling... Conceptual Modeling English 26.09.2018 Paperback / Softback Fr. 70.00 6-7 weeks
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. 70.00 6-7 weeks
Leen Lambers, Jens Weber - Graph Transformation
Leen Lambers, Jens Weber Graph Transformation English 29.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Catherine Dubois, Burkhart Wolff - Tests and Proofs
Catherine Dubois, Burkhart Wolff Tests and Proofs English 03.06.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Ruy de Queiroz, Maricarmen Martinez, Lawrence S. Moss - Logic, Language, Information, and Computation
Ruy de Queiroz, Maricarmen Martinez, Lawrence S. Moss Logic, Language, Information, and Computation English 27.06.2018 Paperback / Softback Fr. 92.00 6-7 weeks
Fabio Fioravanti, John P. Gallagher - Logic-Based Program Synthesis and Transformation
Fabio Fioravanti, John P. Gallagher Logic-Based Program Synthesis and Transformation English 10.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Cezar Câmpeanu - Implementation and Application of Automata
Cezar Câmpeanu Implementation and Application of Automata English 30.06.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification English 22.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification English 22.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks
William M. Farmer, Grant O. Passmore, Florian Rabe, Abdou Youssef - Intelligent Computer Mathematics
William M. Farmer, Grant O. Passmore, Florian Rabe, Abdou Youssef Intelligent Computer Mathematics English 18.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Leonid Kalinichenko, Oleg Malkov, Yannis Manolopoulos, Nikolay Skvortsov, Sergey Stupnikov, Vladimir Sukhomlin - Data Analytics and Management in Data Intensive Domains
Leonid Kalinichenko, Oleg Malkov, Yannis Manolopoulos, Nikolay Skvortsov, Sergey Stupnikov, Vladimir Sukhomlin Data Analytics and Management in Data Intensive Domains English 13.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks