Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Rober Nieuwenhuis, Robert Nieuwenhuis - Automated Deduction - CADE-20
Rober Nieuwenhuis, Robert Nieuwenhuis Automated Deduction - CADE-20 Englisch 26.06.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Kalina Bontcheva, Irene Celino, Lucie-Aimée Kaffee, Valentina Presutti, Marta Sabou, Elena Simperl... - The Semantic Web - ISWC 2018
Kalina Bontcheva, Irene Celino, Lucie-Aimée Kaffee, Valentina Presutti, Marta Sabou, Elena Simperl... The Semantic Web - ISWC 2018 Englisch 18.09.2018 Taschenbuch Fr. 90.00 6-7 Wochen
Fred Kröger, Stephan Merz - Temporal Logic and State Systems
Fred Kröger, Stephan Merz Temporal Logic and State Systems Englisch 25.11.2010 Taschenbuch Fr. 104.00 6-7 Wochen
Michal Hospodár, Galina Jirásková, Stavros Konstantinidis - Descriptional Complexity of Formal Systems
Michal Hospodár, Galina Jirásková, Stavros Konstantinidis Descriptional Complexity of Formal Systems Englisch 26.06.2019 Taschenbuch Fr. 70.00 6-7 Wochen
Mario Alemi - The Amazing Journey of Reason
Mario Alemi The Amazing Journey of Reason Englisch 07.12.2019 Taschenbuch Fr. 30.50 6-7 Wochen
Ionu¿ ¿U¿U, Mihai Codescu, R¿zvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, Ionuț Țuțu - Recent Trends in Algebraic Development Techniques
Ionu¿ ¿U¿U, Mihai Codescu, R¿zvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, Ionuț Țuțu Recent Trends in Algebraic Development Techniques Englisch 31.12.2015 Taschenbuch Fr. 56.90 6-7 Wochen
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler - Functional and Logic Programming
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler Functional and Logic Programming Englisch 14.04.2009 Taschenbuch Fr. 70.00 6-7 Wochen
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. 70.00 6-7 Wochen
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. 70.00 6-7 Wochen
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. 70.00 6-7 Wochen
Atsushi Ohori - Programming Languages and Systems
Atsushi Ohori Programming Languages and Systems Englisch 12.11.2003 Taschenbuch Fr. 70.00 6-7 Wochen
Evelyn Duesterwald - Compiler Construction
Evelyn Duesterwald Compiler Construction Englisch 18.03.2004 Taschenbuch Fr. 70.00 6-7 Wochen
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. 70.00 6-7 Wochen
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. 70.00 6-7 Wochen
Andrzej Lingas, Bengt J. Nilsson - Fundamentals of Computation Theory
Andrzej Lingas, Bengt J. Nilsson Fundamentals of Computation Theory Englisch 29.07.2003 Taschenbuch Fr. 73.00 6-7 Wochen
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. 70.00 6-7 Wochen
Maurice Bruynooghe - Logic Based Program Synthesis and Transformation
Maurice Bruynooghe Logic Based Program Synthesis and Transformation Englisch 24.06.2004 Taschenbuch Fr. 70.00 6-7 Wochen
Bruce Watson, Derick Wood - Implementation and Application of Automata
Bruce Watson, Derick Wood Implementation and Application of Automata Englisch 16.01.2003 Taschenbuch Fr. 70.00 6-7 Wochen
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. 70.00 6-7 Wochen
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. 70.00 6-7 Wochen