Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

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
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
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
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna - Logics in Artificial Intelligence
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna Logics in Artificial Intelligence Englisch 01.01.2019 Taschenbuch Fr. 133.00 6-7 Wochen
Marcello Balduccini, Yuliy Lierler, Yuliya Lierler, Stefan Woltran - Logic Programming and Nonmonotonic Reasoning
Marcello Balduccini, Yuliy Lierler, Yuliya Lierler, Stefan Woltran Logic Programming and Nonmonotonic Reasoning Englisch 01.01.2019 Taschenbuch Fr. 70.00 6-7 Wochen
Alons Castillo-Ramirez, Alonso Castillo-Ramirez, Pedro P. B. de Oliveira, P B de Oliveira, P B de Oliveira - Cellular Automata and Discrete Complex Systems
Alons Castillo-Ramirez, Alonso Castillo-Ramirez, Pedro P. B. de Oliveira, P B de Oliveira, P B de Oliveira Cellular Automata and Discrete Complex Systems Englisch 01.01.2019 Taschenbuch Fr. 70.00 6-7 Wochen
Miroslav ¿Iri¿, Miroslav Ciric, Miroslav Ćirić, Manfre Droste, Manfred Droste, Prof. Dr. Manfred Droste... - Algebraic Informatics
Miroslav ¿Iri¿, Miroslav Ciric, Miroslav Ćirić, Manfre Droste, Manfred Droste, Prof. Dr. Manfred Droste... Algebraic Informatics Englisch 01.01.2019 Taschenbuch Fr. 70.00 6-7 Wochen
Jorg A Pérez, Jorge A Pérez, Jorge A. Pérez, Yoshida, Yoshida, Nobuko Yoshida - Formal Techniques for Distributed Objects, Components, and Systems
Jorg A Pérez, Jorge A Pérez, Jorge A. Pérez, Yoshida, Yoshida, Nobuko Yoshida Formal Techniques for Distributed Objects, Components, and Systems Englisch 01.01.2019 Taschenbuch Fr. 89.00 6-7 Wochen
Ruy de Queiroz, Rosalie Iemhoff, Michae Moortgat, Michael Moortgat - Logic, Language, Information, and Computation
Ruy de Queiroz, Rosalie Iemhoff, Michae Moortgat, Michael Moortgat Logic, Language, Information, and Computation Englisch 01.01.2019 Taschenbuch Fr. 70.00 6-7 Wochen
Maur Cerioli, Maura Cerioli - Fundamental Approaches to Software Engineering
Maur Cerioli, Maura Cerioli Fundamental Approaches to Software Engineering Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Yvo Desmedt - Information Security
Yvo Desmedt Information Security Englisch 31.12.2015 Taschenbuch Fr. 70.00 6-7 Wochen
Marco Bernardo, Alessandro Bogliolo - Formal Methods for Mobile Computing
Marco Bernardo, Alessandro Bogliolo Formal Methods for Mobile Computing Englisch 13.04.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Nicolas Guelfi - Rapid Integration of Software Engineering Techniques
Nicolas Guelfi Rapid Integration of Software Engineering Techniques Englisch 18.05.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Alexander S. Kulikov, Gerhard J. Woeginger - Computer Science - Theory and Applications
Alexander S. Kulikov, Gerhard J. Woeginger Computer Science - Theory and Applications Englisch 31.05.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Nicola Olivetti, Ashish Tiwari - Automated Reasoning
Nicola Olivetti, Ashish Tiwari Automated Reasoning Englisch 12.06.2016 Taschenbuch Fr. 110.00 6-7 Wochen