Languages
Subject
Format
Availabity
Authors

Search result

Gabriele Kern-Isberner - Conditionals in Nonmonotonic Reasoning and Belief Revision
Gabriele Kern-Isberner Conditionals in Nonmonotonic Reasoning and Belief Revision English 25.07.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
John A. Campbell, Eugenio Roanes-Lozano - Artificial Intelligence and Symbolic Computation
John A. Campbell, Eugenio Roanes-Lozano Artificial Intelligence and Symbolic Computation English 25.04.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Daisuke Bekki, Manabu Okumura, Ken Satoh - New Frontiers in Artificial Intelligence
Daisuke Bekki, Manabu Okumura, Ken Satoh New Frontiers in Artificial Intelligence English 22.08.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jonathan Lawry, Anca Ralescu, Jimi Shanahan - Modelling with Words
Jonathan Lawry, Anca Ralescu, Jimi Shanahan Modelling with Words English 10.11.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
S. Goronzy, Silke Goronzy - Robust Adaptation to Non-Native Accents in Automatic Speech Recognition
S. Goronzy, Silke Goronzy Robust Adaptation to Non-Native Accents in Automatic Speech Recognition English 19.12.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
F. Acar Savaci - Artificial Intelligence and Neural Networks
F. Acar Savaci Artificial Intelligence and Neural Networks English 18.07.2006 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych - ICT in Education, Research, and Industrial Applications
Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych ICT in Education, Research, and Industrial Applications English 11.01.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Franz Winkler - Automated Deduction in Geometry
Franz Winkler Automated Deduction in Geometry English 28.01.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Henri Prade, V. S. Subrahmanian, V.S. Subrahmanian - Scalable Uncertainty Management
Henri Prade, V. S. Subrahmanian, V.S. Subrahmanian Scalable Uncertainty Management English 27.09.2007 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Wolfgang Lenski - Logic versus Approximation
Wolfgang Lenski Logic versus Approximation English 27.10.2004 Paperback / Softback Fr. 76.00 1-2 weeks (title will be printed to order)
George Eleftherakis, Mike Hinchey, Mike Holcombe - Software Engineering and Formal Methods
George Eleftherakis, Mike Hinchey, Mike Holcombe Software Engineering and Formal Methods English 28.08.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Sergei O. Kuznetsov, Stefan Schmidt - Formal Concept Analysis
Sergei O. Kuznetsov, Stefan Schmidt Formal Concept Analysis English 26.01.2007 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel - Unconventional Programming Paradigms
Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel Unconventional Programming Paradigms English 15.07.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Leonid Libkin - Elements of Finite Model Theory
Leonid Libkin Elements of Finite Model Theory English 03.12.2010 Paperback / Softback Fr. 123.00 1-2 weeks (title will be printed to order)
Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa - Membrane Computing
Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa Membrane Computing English 28.01.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Francois Bry, Nicola Henze, Jan Maluszynski - Principles and Practice of Semantic Web Reasoning
Francois Bry, Nicola Henze, Jan Maluszynski Principles and Practice of Semantic Web Reasoning English 25.11.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Atsushi Ohori - Programming Languages and Systems
Atsushi Ohori Programming Languages and Systems English 12.11.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Evelyn Duesterwald - Compiler Construction
Evelyn Duesterwald Compiler Construction English 18.03.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack - Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack Types for Proofs and Programs English 20.02.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Stein Krogdahl, Tom Lyche, Olaf Owe - From Object-Orientation to Formal Methods
Stein Krogdahl, Tom Lyche, Olaf Owe From Object-Orientation to Formal Methods English 31.03.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)