Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Jan van den Bussche, Ja Van den Bussche, Jan Van den Bussche, Vianu, Vianu, Victor Vianu - Database Theory - ICDT 2001
Jan van den Bussche, Ja Van den Bussche, Jan Van den Bussche, Vianu, Vianu, Victor Vianu Database Theory - ICDT 2001 Englisch 30.06.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Laurent Fribourg - Computer Science Logic
Laurent Fribourg Computer Science Logic Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Mike Brooks, Dan Corbett, Markus Stumptner - AI 2001: Advances in Artificial Intelligence
Mike Brooks, Dan Corbett, Markus Stumptner AI 2001: Advances in Artificial Intelligence Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Tobia Nipkow, Tobias Nipkow, Lawrence Paulson, Lawrence C Paulson, Lawrence C. Paulson, Markus Wenzel - Isabelle/HOL
Tobia Nipkow, Tobias Nipkow, Lawrence Paulson, Lawrence C Paulson, Lawrence C. Paulson, Markus Wenzel Isabelle/HOL Englisch 25.04.2002 Taschenbuch Fr. 77.00 6-7 Wochen
M. Ito, Masami Ito, M. Toyama, Masafumi Toyama - Developments in Language Theory
M. Ito, Masami Ito, M. Toyama, Masafumi Toyama Developments in Language Theory Englisch 26.06.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Nigel R. Horspool, R. N. Horspool, R. Niegel Horspool - Compiler Construction
Nigel R. Horspool, R. N. Horspool, R. Niegel Horspool Compiler Construction Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Furio Honsell, Marino Miculan - Foundations of Software Science and Computation Structures
Furio Honsell, Marino Miculan Foundations of Software Science and Computation Structures Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
C Kakas, A C Kakas, A. C. Kakas, A.C. Kakas, Sadri, Sadri... - Computational Logic: Logic Programming and Beyond
C Kakas, A C Kakas, A. C. Kakas, A.C. Kakas, Sadri, Sadri... Computational Logic: Logic Programming and Beyond Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Andrei Voronkov - Automated Deduction - CADE-18
Andrei Voronkov Automated Deduction - CADE-18 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Yahiko Kambayashi, Salvatore March, Stefano Spaccapietra - Conceptual Modeling - ER 2002
Yahiko Kambayashi, Salvatore March, Stefano Spaccapietra Conceptual Modeling - ER 2002 Englisch 01.07.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Alvaro de Albornoz, Osvaldo C. Battistutti, Carlos Coello Coello, Carlos A. Coello Coello, Luis E. Sucar - MICAI 2002: Advances in Artificial Intelligence
Alvaro de Albornoz, Osvaldo C. Battistutti, Carlos Coello Coello, Carlos A. Coello Coello, Luis E. Sucar MICAI 2002: Advances in Artificial Intelligence Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
C. Stirling, Colin Stirling - Modal and Temporal Properties of Processes
C. Stirling, Colin Stirling Modal and Temporal Properties of Processes Englisch 09.08.2001 Fester Einband Fr. 117.00 6-7 Wochen
Stefano Berardi, Mario Coppo, Ferruccio Damiani - Types for Proofs and Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani Types for Proofs and Programs Englisch 24.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Vincent van Oostrom, Vincen van Oostrom, Vincent van Oostrom - Rewriting Techniques and Applications
Vincent van Oostrom, Vincen van Oostrom, Vincent van Oostrom Rewriting Techniques and Applications Englisch 16.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Boris Böhlen, Manfre Nagl, Manfred Nagl, John L. Pfaltz - Applications of Graph Transformations with Industrial Relevance
Boris Böhlen, Manfre Nagl, Manfred Nagl, John L. Pfaltz Applications of Graph Transformations with Industrial Relevance Englisch 25.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Igor Walukiewicz - Foundations of Software Science and Computation Structures
Igor Walukiewicz Foundations of Software Science and Computation Structures Englisch 25.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Thalheim, Thalheim, Bernhard Thalheim, Wol Zimmermann, Wolf Zimmermann - Abstract State Machines 2004. Advances in Theory and Practice
Thalheim, Thalheim, Bernhard Thalheim, Wol Zimmermann, Wolf Zimmermann Abstract State Machines 2004. Advances in Theory and Practice Englisch 24.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Bar Demoen, Bart Demoen, Lifschitz, Lifschitz, Vladimir Lifschitz - Logic Programming
Bar Demoen, Bart Demoen, Lifschitz, Lifschitz, Vladimir Lifschitz Logic Programming Englisch 25.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
A González Calero, A González Calero, Pete Funk, Peter Funk, Pedro A. Gonzalez Calero, Pedro A. González Calero - Advances in Case-Based Reasoning
A González Calero, A González Calero, Pete Funk, Peter Funk, Pedro A. Gonzalez Calero, Pedro A. González Calero Advances in Case-Based Reasoning Englisch 25.08.2005 Taschenbuch Fr. 135.00 6-7 Wochen
Robert Giacobazzi, Roberto Giacobazzi - Static Analysis
Robert Giacobazzi, Roberto Giacobazzi Static Analysis Englisch 17.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen