Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

E Brinksma, Ed Brinksma, G Larsen, G Larsen, Kim G. Larsen - Computer Aided Verification
E Brinksma, Ed Brinksma, G Larsen, G Larsen, Kim G. Larsen Computer Aided Verification Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
J. N. Oliveira, Jose N. Oliveira, José Nuno Oliveira, P. Zave, Pamela Zave - FME 2001: Formal Methods for Increasing Software Productivity
J. N. Oliveira, Jose N. Oliveira, José Nuno Oliveira, P. Zave, Pamela Zave FME 2001: Formal Methods for Increasing Software Productivity Englisch 26.06.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young, Roger A. Young - Modeling and Using Context
Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young, Roger A. Young Modeling and Using Context Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
R. Küsters, Ralf Küsters - Non-Standard Inferences in Description Logics
R. Küsters, Ralf Küsters Non-Standard Inferences in Description Logics Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Birger Andersson, Maria Bergholtz, P. Johannesson, Paul Johannesson - Natural Language Processing and Information Systems
Birger Andersson, Maria Bergholtz, P. Johannesson, Paul Johannesson Natural Language Processing and Information Systems Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
T. Nielsen, Thomas D. Nielsen, N. Zhang, Nevin L. Zhang - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
T. Nielsen, Thomas D. Nielsen, N. Zhang, Nevin L. Zhang Symbolic and Quantitative Approaches to Reasoning with Uncertainty Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Reinhard Wilhelm, Reinhard Wilhelm - Compiler Construction
Reinhard Wilhelm, Reinhard Wilhelm Compiler Construction Englisch 26.06.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Moshe Vardi, Moshe Y. Vardi, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Moshe Vardi, Moshe Y. Vardi, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Toby Walsh - Principles and Practice of Constraint Programming - CP 2001
Toby Walsh Principles and Practice of Constraint Programming - CP 2001 Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
J Mamede, Nuno J. Mamede, Elisabete Ranchod - Advances in Natural Language Processing
J Mamede, Nuno J. Mamede, Elisabete Ranchod Advances in Natural Language Processing Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Robert C. Holte, Sven Koenig - Abstraction, Reformulation, and Approximation
Robert C. Holte, Sven Koenig Abstraction, Reformulation, and Approximation Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Julian Bradfield - Computer Science Logic
Julian Bradfield Computer Science Logic Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Moonis Ali, Tim Hendtlass - Developments in Applied Artificial Intelligence
Moonis Ali, Tim Hendtlass Developments in Applied Artificial Intelligence Englisch 14.04.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Alexander Gelbukh - Computational Linguistics and Intelligent Text Processing
Alexander Gelbukh Computational Linguistics and Intelligent Text Processing Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Sergio Flesca, Ianni, Giovambattista Ianni - Logics in Artificial Intelligence
Sergio Flesca, Ianni, Giovambattista Ianni Logics in Artificial Intelligence Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Pascal Van Hentenryck, Pascal Van Hentenryck - Principles and Practice of Constraint Programming - CP 2002
Pascal Van Hentenryck, Pascal Van Hentenryck Principles and Practice of Constraint Programming - CP 2002 Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Manuel Hermenegildo, German Puebla - Static Analysis
Manuel Hermenegildo, German Puebla Static Analysis Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Bernard De Baets, Taner Bilgic, Bernard De Baets, Okays Kaynak, Okyay Kaynak - Fuzzy Sets and Systems - IFSA 2003
Bernard De Baets, Taner Bilgic, Bernard De Baets, Okays Kaynak, Okyay Kaynak Fuzzy Sets and Systems - IFSA 2003 Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Yiyu Yao, Wojciech Ziarko - Rough Sets and Current Trends in Computing
Yiyu Yao, Wojciech Ziarko Rough Sets and Current Trends in Computing Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Helene Kirchner, Christophe Ringeissen - Algebraic Methodology and Software Technology
Helene Kirchner, Christophe Ringeissen Algebraic Methodology and Software Technology Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen