Sprache
Zurücksetzen Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Daniele Mundici - Logic: a Brief Course
Daniele Mundici Logic: a Brief Course Englisch 28.06.2011 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Flavio D'Alessandro, Ald de Luca, Aldo de Luca - Teoria degli Automi Finiti
Flavio D'Alessandro, Ald de Luca, Aldo de Luca Teoria degli Automi Finiti Italienisch 06.06.2013 Taschenbuch Fr. 42.90 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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)
Ornela Dardha - Type Systems for Distributed Programs: Components and Sessions
Ornela Dardha Type Systems for Distributed Programs: Components and Sessions Englisch 01.01.2016 Fester Einband Fr. 129.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)
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 Englisch 17.04.2018 Taschenbuch Fr. 58.50 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)