Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Jacopo Mauro - Constraints Meet Concurrency
Jacopo Mauro Constraints Meet Concurrency Englisch 17.01.2014 Fester Einband Fr. 69.00 2-3 Wochen (Titel wird auf Bestellung gedruckt)
Dirk W Hoffmann, Dirk W (Prof. Dr.) Hoffmann, Dirk W. Hoffmann - Grenzen der Mathematik
Dirk W Hoffmann, Dirk W (Prof. Dr.) Hoffmann, Dirk W. Hoffmann Grenzen der Mathematik Deutsch 26.05.2018 Taschenbuch Fr. 53.50 1-3 Wochen (kurzfristig nicht lieferbar)
Robert Fullér, Silvio Giove, Francesco Masulli - Fuzzy Logic and Applications
Robert Fullér, Silvio Giove, Francesco Masulli Fuzzy Logic and Applications Englisch 23.02.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Fred Mesnard, Peter J. Stuckey - Logic-Based Program Synthesis and Transformation
Fred Mesnard, Peter J. Stuckey Logic-Based Program Synthesis and Transformation Englisch 23.02.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Nicolas Lachiche, Christel Vrain - Inductive Logic Programming
Nicolas Lachiche, Christel Vrain Inductive Logic Programming Englisch 15.03.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Jing Sun, Meng Sun - Formal Methods and Software Engineering
Jing Sun, Meng Sun Formal Methods and Software Engineering Englisch 11.10.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 08.05.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 19.06.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 19.06.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 04.04.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 04.04.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems Englisch 14.04.2019 Taschenbuch Fr. 81.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 15.05.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Yannis Manolopoulos, Sergey Stupnikov - Data Analytics and Management in Data Intensive Domains
Yannis Manolopoulos, Sergey Stupnikov Data Analytics and Management in Data Intensive Domains Englisch 04.07.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Eric Pacuit, Jennifer Sikos - At the Intersection of Language, Logic, and Information
Eric Pacuit, Jennifer Sikos At the Intersection of Language, Logic, and Information Englisch 06.07.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla - Formal Grammar
Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla Formal Grammar Englisch 05.07.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach - Language, Logic, and Computation
Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach Language, Logic, and Computation Englisch 04.07.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Isil Dillig, Serdar Tasiran - Computer Aided Verification
Isil Dillig, Serdar Tasiran Computer Aided Verification Englisch 13.07.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Arjen Hommersom, Peter J. F. Lucas, Peter J.F. Lucas - Foundations of Biomedical Knowledge Representation
Arjen Hommersom, Peter J. F. Lucas, Peter J.F. Lucas Foundations of Biomedical Knowledge Representation Englisch 03.02.2016 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 04.04.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)