Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

ENGBERG, Engberg, Uffe Engberg, Mogen Nielsen, Mogens Nielsen - Foundations of Software Science and Computation Structures
ENGBERG, Engberg, Uffe Engberg, Mogen Nielsen, Mogens Nielsen Foundations of Software Science and Computation Structures Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Sophi Tison, Sophie Tison - Rewriting Techniques and Applications
Sophi Tison, Sophie Tison Rewriting Techniques and Applications Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Mehme A Orgun, Mehmet A Orgun, Mehmet A. Orgun, Thornton, Thornton, John Thornton - AI 2007: Advances in Artificial Intelligence
Mehme A Orgun, Mehmet A Orgun, Mehmet A. Orgun, Thornton, Thornton, John Thornton AI 2007: Advances in Artificial Intelligence Englisch 14.04.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Didier Bert, Jonathan P. Bowen, Martin C Henson et al, Martin C. Henson, Jonatha P Bowen, Jonathan P Bowen... - ZB 2002: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Martin C Henson et al, Martin C. Henson, Jonatha P Bowen, Jonathan P Bowen... ZB 2002: Formal Specification and Development in Z and B Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Roland Backhouse, Ro Crole, Roy Crole, Jeremy Gibbons - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Roland Backhouse, Ro Crole, Roy Crole, Jeremy Gibbons Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Mark D. Aagaard, Mar D Aagaard, Mark D Aagaard, John W. O'Leary, W O'Leary, W O'Leary - Formal Methods in Computer-Aided Design
Mark D. Aagaard, Mar D Aagaard, Mark D Aagaard, John W. O'Leary, W O'Leary, W O'Leary Formal Methods in Computer-Aided Design Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Carlo Blundo, Cosimo Laneve - Theoretical Computer Science
Carlo Blundo, Cosimo Laneve Theoretical Computer Science Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa - Developments in Language Theory
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa Developments in Language Theory Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Z. Ésik, Zoltán Ésik, Z. Fülöp, Zoltan Fülöp, Zoltán Fülöp - Developments in Language Theory
Z. Ésik, Zoltán Ésik, Z. Fülöp, Zoltan Fülöp, Zoltán Fülöp Developments in Language Theory Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
P. Chung, Paul Chung, C. Hinde, Chris Hinde, A. Moonis, Ali Moonis - Developments in Applied Artificial Intelligence
P. Chung, Paul Chung, C. Hinde, Chris Hinde, A. Moonis, Ali Moonis Developments in Applied Artificial Intelligence Englisch 01.07.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Radhia Cousot - Static Analysis
Radhia Cousot Static Analysis Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Amedeo Cappelli, Franco Turini - AI*IA 2003: Advances in Artificial Intelligence
Amedeo Cappelli, Franco Turini AI*IA 2003: Advances in Artificial Intelligence Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Pier L. Lanzi, Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W Wilson, Stewart W. Wilson - Advances in Learning Classifier Systems
Pier L. Lanzi, Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W Wilson, Stewart W. Wilson Advances in Learning Classifier Systems Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
S. Benferhat, Salem Benferhat, P. Besnard, Philippe Besnard - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
S. Benferhat, Salem Benferhat, P. Besnard, Philippe Besnard Symbolic and Quantitative Approaches to Reasoning with Uncertainty Englisch 26.06.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Bob McKay, Slaney, John Slaney - AI 2002: Advances in Artificial Intelligence
Bob McKay, Slaney, John Slaney AI 2002: Advances in Artificial Intelligence Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Alberto Pettorossi - Logic Based Program Synthesis and Transformation
Alberto Pettorossi Logic Based Program Synthesis and Transformation Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Belaid Benhamou, Jacques Calmet, Olga Caprotti, Laurent Henocque, Volker Sorge - Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Belaid Benhamou, Jacques Calmet, Olga Caprotti, Laurent Henocque, Volker Sorge Artificial Intelligence, Automated Reasoning, and Symbolic Computation Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Susan Craw, Alun Preece - Advances in Case-Based Reasoning
Susan Craw, Alun Preece Advances in Case-Based Reasoning Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Jyrki Kivinen, Robert H. Sloan - Computational Learning Theory
Jyrki Kivinen, Robert H. Sloan Computational Learning Theory Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Uwe Egly, Christian G. Fernmüller - Automated Reasoning with Analytic Tableaux and Related Methods
Uwe Egly, Christian G. Fernmüller Automated Reasoning with Analytic Tableaux and Related Methods Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen