Languages
Subject
Format
Availabity
Authors

Search result

Jacopo Mauro - Constraints Meet Concurrency
Jacopo Mauro Constraints Meet Concurrency English 17.01.2014 Hardback Fr. 69.00 2-3 weeks (title will be printed to order)
Andreas Müller - Automaten und Sprachen: Theoretische Informatik für die Praxis
Andreas Müller Automaten und Sprachen: Theoretische Informatik für die Praxis German 06.01.2025 Paperback / Softback Fr. 58.50 1-3 working days
Alessandro Armando - Frontiers of Combining Systems
Alessandro Armando Frontiers of Combining Systems English 20.03.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Günther Fliedl, Christian Kop, Heinrich C. Mayr, Elisabeth Métais - Natural Language Processing and Information Systems
Günther Fliedl, Christian Kop, Heinrich C. Mayr, Elisabeth Métais Natural Language Processing and Information Systems English 26.05.2006 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson - Learning Classifier Systems
Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson Learning Classifier Systems English 24.11.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Rastislav Bodik - Compiler Construction
Rastislav Bodik Compiler Construction English 24.03.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Diana Gordon, Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Walter Truszkowski - Formal Approaches to Agent-Based Systems
Diana Gordon, Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Walter Truszkowski Formal Approaches to Agent-Based Systems English 10.10.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jacques Julliand, Olga Kouchnarenko - B 2007: Formal Specification and Development in B
Jacques Julliand, Olga Kouchnarenko B 2007: Formal Specification and Development in B English 14.12.2006 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Olivier Barais, Benoit Combemale, David Pearce, Jurgen Vinju - Software Language Engineering
Olivier Barais, Benoit Combemale, David Pearce, Jurgen Vinju Software Language Engineering English 23.09.2014 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Rajiv Gupta - Compiler Construction
Rajiv Gupta Compiler Construction English 16.03.2010 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Christiano Braga, Narciso Martí-Oliet - Formal Methods: Foundations and Applications
Christiano Braga, Narciso Martí-Oliet Formal Methods: Foundations and Applications English 27.01.2015 Paperback / Softback Fr. 55.90 1-2 weeks (title will be printed to order)
Giovanni Sommaruga - Formal Theories of Information
Giovanni Sommaruga Formal Theories of Information English 22.04.2009 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Francesco Calimeri, Kevin Hamlen, Nicola Leone - Practical Aspects of Declarative Languages
Francesco Calimeri, Kevin Hamlen, Nicola Leone Practical Aspects of Declarative Languages English 22.12.2017 Paperback / Softback Fr. 58.50 1-2 weeks (title will be printed to order)
José Luiz Fiadeiro, Peter Mosses, Fernando Orejas - Recent Trends in Algebraic Development Techniques
José Luiz Fiadeiro, Peter Mosses, Fernando Orejas Recent Trends in Algebraic Development Techniques English 23.03.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Bernhard Gramlich - Frontiers of Combining Systems
Bernhard Gramlich Frontiers of Combining Systems English 12.09.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Furio Honsell, Marino Miculan, Ivan Scagnetto - Types for Proofs and Programs
Furio Honsell, Marino Miculan, Ivan Scagnetto Types for Proofs and Programs English 26.05.2008 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Tamas Horváth, Akihiro Yamamoto - Inductive Logic Programming
Tamas Horváth, Akihiro Yamamoto Inductive Logic Programming English 24.09.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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)
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)