Languages
Subject
Format
Availabity
Authors

Search result

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 English 30.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Laurent Fribourg - Computer Science Logic
Laurent Fribourg Computer Science Logic English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Mike Brooks, Dan Corbett, Markus Stumptner - AI 2001: Advances in Artificial Intelligence
Mike Brooks, Dan Corbett, Markus Stumptner AI 2001: Advances in Artificial Intelligence English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
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 English 25.04.2002 Paperback / Softback Fr. 77.00 6-7 weeks
Leonar Bolc, Leonard Bolc, Piotr Borowik - Many-Valued Logics 2
Leonar Bolc, Leonard Bolc, Piotr Borowik Many-Valued Logics 2 English 01.01.2003 Hardback Fr. 70.00 6-7 weeks
M. Ito, Masami Ito, M. Toyama, Masafumi Toyama - Developments in Language Theory
M. Ito, Masami Ito, M. Toyama, Masafumi Toyama Developments in Language Theory English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Nigel R. Horspool, R. N. Horspool, R. Niegel Horspool - Compiler Construction
Nigel R. Horspool, R. N. Horspool, R. Niegel Horspool Compiler Construction English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Furio Honsell, Marino Miculan - Foundations of Software Science and Computation Structures
Furio Honsell, Marino Miculan Foundations of Software Science and Computation Structures English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Andrei Voronkov - Automated Deduction - CADE-18
Andrei Voronkov Automated Deduction - CADE-18 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Yahiko Kambayashi, Salvatore March, Stefano Spaccapietra - Conceptual Modeling - ER 2002
Yahiko Kambayashi, Salvatore March, Stefano Spaccapietra Conceptual Modeling - ER 2002 English 01.07.2009 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
A Sakallah, A Sakallah, Joa Marques-Silva, Joao Marques-Silva, Karem A. Sakallah - Theory and Applications of Satisfiability Testing - SAT 2007
A Sakallah, A Sakallah, Joa Marques-Silva, Joao Marques-Silva, Karem A. Sakallah Theory and Applications of Satisfiability Testing - SAT 2007 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Zoubida Kedad, Nadir Lammari, Nadira Lammari, Elisabeth Metais, Elisabeth Métais, Elisabeth Métais et al... - Natural Language Processing and Information Systems
Zoubida Kedad, Nadir Lammari, Nadira Lammari, Elisabeth Metais, Elisabeth Métais, Elisabeth Métais et al... Natural Language Processing and Information Systems English 30.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Gerard Berry, Huber Comon, Hubert Comon, Alain Finkel - Computer Aided Verification
Gerard Berry, Huber Comon, Hubert Comon, Alain Finkel Computer Aided Verification English 29.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Werner Damm, Holger Hermanns - Computer Aided Verification
Werner Damm, Holger Hermanns Computer Aided Verification English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Francesco Masulli, Sushmita Mitra, Gabriella Pasi - Applications of Fuzzy Sets Theory
Francesco Masulli, Sushmita Mitra, Gabriella Pasi Applications of Fuzzy Sets Theory English 27.09.2012 Paperback / Softback Fr. 135.00 6-7 weeks
Wan Fokkink - Modelling Distributed Systems
Wan Fokkink Modelling Distributed Systems English 04.10.2007 Hardback Fr. 70.00 6-7 weeks
Stefan Edelkamp, Alessio Lomuscio - Model Checking and Artificial Intelligence
Stefan Edelkamp, Alessio Lomuscio Model Checking and Artificial Intelligence English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Erzsébe Csuhaj-Varjú, Erzsébet Csuhaj-Varjú, Ésik, Ésik, Zoltán Ésik - Fundamentals of Computation Theory
Erzsébe Csuhaj-Varjú, Erzsébet Csuhaj-Varjú, Ésik, Ésik, Zoltán Ésik Fundamentals of Computation Theory English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks