Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Majetschak, Majetschak, Stefan Majetschak, Anj Weiberg, Anja Weiberg - Wittgenstein-Handbuch
Majetschak, Majetschak, Stefan Majetschak, Anj Weiberg, Anja Weiberg Wittgenstein-Handbuch Deutsch 01.08.2022 Fester Einband Fr. 128.00 4-7 Arbeitstage
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)
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 Englisch 28.01.2004 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum - Formal Methods at the Crossroads. From Panacea to Foundational Support
B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum Formal Methods at the Crossroads. From Panacea to Foundational Support Englisch 18.11.2003 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Francois Bry, Nicola Henze, Jan Maluszynski - Principles and Practice of Semantic Web Reasoning
Francois Bry, Nicola Henze, Jan Maluszynski Principles and Practice of Semantic Web Reasoning Englisch 25.11.2003 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Atsushi Ohori - Programming Languages and Systems
Atsushi Ohori Programming Languages and Systems Englisch 12.11.2003 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Evelyn Duesterwald - Compiler Construction
Evelyn Duesterwald Compiler Construction Englisch 18.03.2004 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack - Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack Types for Proofs and Programs Englisch 20.02.2002 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Stein Krogdahl, Tom Lyche, Olaf Owe - From Object-Orientation to Formal Methods
Stein Krogdahl, Tom Lyche, Olaf Owe From Object-Orientation to Formal Methods Englisch 31.03.2004 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Andrzej Lingas, Bengt J. Nilsson - Fundamentals of Computation Theory
Andrzej Lingas, Bengt J. Nilsson Fundamentals of Computation Theory Englisch 29.07.2003 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
R. Berghammer, Bernhard Möller, Georg Struth - Relational and Kleene-Algebraic Methods in Computer Science
R. Berghammer, Bernhard Möller, Georg Struth Relational and Kleene-Algebraic Methods in Computer Science Englisch 01.06.2004 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Maurice Bruynooghe - Logic Based Program Synthesis and Transformation
Maurice Bruynooghe Logic Based Program Synthesis and Transformation Englisch 24.06.2004 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Bruce Watson, Derick Wood - Implementation and Application of Automata
Bruce Watson, Derick Wood Implementation and Application of Automata Englisch 16.01.2003 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Hans J. Ohlbach, Sebastian Schaffert - Principles and Practice of Semantic Web Reasoning
Hans J. Ohlbach, Sebastian Schaffert Principles and Practice of Semantic Web Reasoning Englisch 02.09.2004 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Annette Bunker, Ganesh C. Gopalakrishnan, Konrad Slind - Theorem Proving in Higher Order Logics
Annette Bunker, Ganesh C. Gopalakrishnan, Konrad Slind Theorem Proving in Higher Order Logics Englisch 01.09.2004 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Walid Taha - Semantics, Applications, and Implementation of Program Generation
Walid Taha Semantics, Applications, and Implementation of Program Generation Englisch 23.08.2001 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)