Languages
Subject
Format
Availabity
Authors

Search result

Elvira Albert, Ivan Lanese - Formal Techniques for Distributed Objects, Components, and Systems
Elvira Albert, Ivan Lanese Formal Techniques for Distributed Objects, Components, and Systems English 27.06.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Miklos Biro, Michael Butler, Atif Mashkoor, Klaus-Dieter Schewe - Abstract State Machines, Alloy, B, TLA, VDM, and Z
Miklos Biro, Michael Butler, Atif Mashkoor, Klaus-Dieter Schewe Abstract State Machines, Alloy, B, TLA, VDM, and Z English 11.05.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Gerard O’Regan, Gerard O'Regan - Introduction to Software Quality
Gerard O’Regan, Gerard O'Regan Introduction to Software Quality English 06.06.2014 Paperback / Softback Fr. 63.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)
Mauro Dragoni, Ernesto Jimenez-Ruiz, María Poveda-Villalón - OWL: Experiences and Directions - Reasoner Evaluation
Mauro Dragoni, Ernesto Jimenez-Ruiz, María Poveda-Villalón OWL: Experiences and Directions - Reasoner Evaluation English 25.02.2017 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)
Dimitra Giannakopoulou, Dominique Mery - FM 2012: Formal Methods
Dimitra Giannakopoulou, Dominique Mery FM 2012: Formal Methods English 21.07.2012 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)
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)