Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Sergei Artemov, Sergei N. Artemov, Anil Nerode - Logical Foundations of Computer Science
Sergei Artemov, Sergei N. Artemov, Anil Nerode Logical Foundations of Computer Science Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
LUGOSI, Lugosi, G¿r Lugosi, Gabor Lugosi, Gábor Lugosi, Hans Ulrich Simon... - Learning Theory
LUGOSI, Lugosi, G¿r Lugosi, Gabor Lugosi, Gábor Lugosi, Hans Ulrich Simon... Learning Theory Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Dang, Dang, Zhe Dang, Osca H Ibarra, Oscar H Ibarra, Oscar H. Ibarra - Developments in Language Theory
Dang, Dang, Zhe Dang, Osca H Ibarra, Oscar H Ibarra, Oscar H. Ibarra Developments in Language Theory Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Kokichi Futatsugi, Jean-Pierr Jouannaud, Jean-Pierre Jouannaud, José Meseguer - Algebra, Meaning, and Computation
Kokichi Futatsugi, Jean-Pierr Jouannaud, Jean-Pierre Jouannaud, José Meseguer Algebra, Meaning, and Computation Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Pasca Hitzler, Pascal Hitzler, Peter Ohrstrom, Henrik Schärfe - Conceptual Structures: Inspiration and Application
Pasca Hitzler, Pascal Hitzler, Peter Ohrstrom, Henrik Schärfe Conceptual Structures: Inspiration and Application Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
James F. Peters, Andrezej Skowron, Andrzej Skowron, Guoyin Wang, Yiju Yao, Yiyu Yao - Rough Sets and Knowledge Technology
James F. Peters, Andrezej Skowron, Andrzej Skowron, Guoyin Wang, Yiju Yao, Yiyu Yao Rough Sets and Knowledge Technology Englisch 26.05.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Myung-So Kim, Myung-Soo Kim, Shimada, Shimada, Kenji Shimada - Geometric Modeling and Processing - GMP 2006
Myung-So Kim, Myung-Soo Kim, Shimada, Shimada, Kenji Shimada Geometric Modeling and Processing - GMP 2006 Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
H Altay Güvenir, Mehmet H. Göker, H. Altay Güvenir, Mehme H Göker, Mehmet H Göker, Thomas Roth-Berghofer... - Advances in Case-Based Reasoning
H Altay Güvenir, Mehmet H. Göker, H. Altay Güvenir, Mehme H Göker, Mehmet H Göker, Thomas Roth-Berghofer... Advances in Case-Based Reasoning Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Frank Pfenning - Term Rewriting and Applications
Frank Pfenning Term Rewriting and Applications Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Armi Biere, Armin Biere, Carla P. Gomes, P Gomes, P Gomes - Theory and Applications of Satisfiability Testing - SAT 2006
Armi Biere, Armin Biere, Carla P. Gomes, P Gomes, P Gomes Theory and Applications of Satisfiability Testing - SAT 2006 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Guerin Mazzola, Guerino Mazzola, Gérar Milmeister, Gérard Milmeister, Jod Weissmann, Jody Weissmann - Comprehensive Mathematics for Computer Scientists 1. Pt.1
Guerin Mazzola, Guerino Mazzola, Gérar Milmeister, Gérard Milmeister, Jod Weissmann, Jody Weissmann Comprehensive Mathematics for Computer Scientists 1. Pt.1 Englisch 15.04.2004 Taschenbuch Fr. 104.00 6-7 Wochen
Filip Ginter, Tapio Pahikkala, Sampo Pyysalo, Tapio Salakoski - Advances in Natural Language Processing
Filip Ginter, Tapio Pahikkala, Sampo Pyysalo, Tapio Salakoski Advances in Natural Language Processing Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
B Jones, B Jones, Thoma Ball, Thomas Ball, Robert B. Jones - Computer Aided Verification
B Jones, B Jones, Thoma Ball, Thomas Ball, Robert B. Jones Computer Aided Verification Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Ulric Furbach, Ulrich Furbach, Shankar, Shankar, Natarajan Shankar - Automated Reasoning
Ulric Furbach, Ulrich Furbach, Shankar, Shankar, Natarajan Shankar Automated Reasoning Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Michael Kohlhase - OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
Michael Kohlhase OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Englisch 14.04.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Michael Fisher, Wiebe Van Der Hoek, Boris Konev, Boris Konev et al, Alexei Lisitsa, Wieb van der Hoek... - Logics in Artificial Intelligence
Michael Fisher, Wiebe Van Der Hoek, Boris Konev, Boris Konev et al, Alexei Lisitsa, Wieb van der Hoek... Logics in Artificial Intelligence Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Jaques Calmet, Tetsuo Ida, Dongming Wang - Artificial Intelligence and Symbolic Computation
Jaques Calmet, Tetsuo Ida, Dongming Wang Artificial Intelligence and Symbolic Computation Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
José Júlio Alferes, Jame Bailey, James Bailey, Wolfgang May, Wolfgang May et al, Uta Schwertel - Principles and Practice of Semantic Web Reasoning
José Júlio Alferes, Jame Bailey, James Bailey, Wolfgang May, Wolfgang May et al, Uta Schwertel Principles and Practice of Semantic Web Reasoning Englisch 30.01.2013 Taschenbuch Fr. 70.00 6-7 Wochen
Zoltá Ésik, Zoltán Ésik - Computer Science Logic
Zoltá Ésik, Zoltán Ésik Computer Science Logic Englisch 26.06.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Helder Coelho, Solange Oliveira Rezende, Jaime Simao Sichman, Jaime Simão Sichman - Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
Helder Coelho, Solange Oliveira Rezende, Jaime Simao Sichman, Jaime Simão Sichman Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen