Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Geof Sutcliffe, Geoff Sutcliffe, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Geof Sutcliffe, Geoff Sutcliffe, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi - Verification, Model Checking, and Abstract Interpretation
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi Verification, Model Checking, and Abstract Interpretation Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... - Processes, Terms and Cycles: Steps on the Road to Infinity
Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... Processes, Terms and Cycles: Steps on the Road to Infinity Englisch 23.12.2005 Taschenbuch Fr. 135.00 6-7 Wochen
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck - Practical Aspects of Declarative Languages
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck Practical Aspects of Declarative Languages Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi - Formal Modeling and Analysis of Timed Systems
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi Formal Modeling and Analysis of Timed Systems Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... - Automated Technology for Verification and Analysis
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... Automated Technology for Verification and Analysis Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Gustav Dahll, Bjoern Axel Gran, Rune Winther - Computer Safety, Reliability, and Security
Gustav Dahll, Bjoern Axel Gran, Rune Winther Computer Safety, Reliability, and Security Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Mario Coppo, Elen Lodi, Elena Lodi, G Michele Pinna, G. Michele Pinna - Theoretical Computer Science
Mario Coppo, Elen Lodi, Elena Lodi, G Michele Pinna, G. Michele Pinna Theoretical Computer Science Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia, Alexis Quesada-Arencibia - Computer Aided Systems Theory - EUROCAST 2005
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia, Alexis Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2005 Englisch 15.03.2011 Taschenbuch Fr. 135.00 6-7 Wochen
Dang Van Hung, Martin Wirsing - Theoretical Aspects of Computing - ICTAC 2005
Dang Van Hung, Martin Wirsing Theoretical Aspects of Computing - ICTAC 2005 Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Chitta Baral, Gianluig Greco, Gianluigi Greco, Nicola Leone, Nicola Leone et al, Giorgio Terracina - Logic Programming and Nonmonotonic Reasoning
Chitta Baral, Gianluig Greco, Gianluigi Greco, Nicola Leone, Nicola Leone et al, Giorgio Terracina Logic Programming and Nonmonotonic Reasoning Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni - Static Analysis
Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni Static Analysis Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Uw Assmann, Uwe Aßmann, Thomas Gschwind, Oscar Nierstrasz - Software Composition
Uw Assmann, Uwe Aßmann, Thomas Gschwind, Oscar Nierstrasz Software Composition Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Tarlecki Andrzej, Joh Fitzgerald, John Fitzgerald, Ian J. Hayes, J Hayes, J Hayes... - FM 2005: Formal Methods
Tarlecki Andrzej, Joh Fitzgerald, John Fitzgerald, Ian J. Hayes, J Hayes, J Hayes... FM 2005: Formal Methods Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Saitta, Saitta, Lorenza Saitta, Jean-Danie Zucker, Jean-Daniel Zucker - Abstraction, Reformulation and Approximation
Saitta, Saitta, Lorenza Saitta, Jean-Danie Zucker, Jean-Daniel Zucker Abstraction, Reformulation and Approximation Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
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
Andre Black, Andrew Black - ECOOP 2005 - Object-Oriented Programming
Andre Black, Andrew Black ECOOP 2005 - Object-Oriented Programming Englisch 19.02.2009 Taschenbuch Fr. 135.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
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
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