Languages
Subject
Format
Availabity
Authors

Search result

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)
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)
Philippe de Groote, Glyn Morrill, Christian Retore - Logical Aspects of Computational Linguistics
Philippe de Groote, Glyn Morrill, Christian Retore Logical Aspects of Computational Linguistics English 13.06.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Oskar Bartenstein, Ulrich Geske, Markus Hannebauer, Osamu Yoshie - Web Knowledge Management and Decision Support
Oskar Bartenstein, Ulrich Geske, Markus Hannebauer, Osamu Yoshie Web Knowledge Management and Decision Support English 25.02.2003 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)
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)
Thomas Eiter, Thomas Krennwallner - Reasoning Web - Semantic Technologies for Advanced Query Answering
Thomas Eiter, Thomas Krennwallner Reasoning Web - Semantic Technologies for Advanced Query Answering English 03.08.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Rohit Gheyi, David Naumann - Formal Methods: Foundations and Applications
Rohit Gheyi, David Naumann Formal Methods: Foundations and Applications English 11.08.2012 Paperback / Softback Fr. 65.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)
Gerwin Klein, Tobias Nipkow - Concrete Semantics
Gerwin Klein, Tobias Nipkow Concrete Semantics English 15.12.2014 Hardback Fr. 103.00 2-3 weeks (title will be printed to order)
Wei Li - Mathematical Logic
Wei Li Mathematical Logic English 24.11.2014 Hardback Fr. 69.00 2-3 weeks (title will be printed to order)
D John Cooke, D. John Cooke, John Cooke - Constructing Correct Software
D John Cooke, D. John Cooke, John Cooke Constructing Correct Software English 16.11.2004 Paperback / Softback Fr. 82.80 3-5 weeks (title will be specially ordered)
Dirk W Hoffmann, Dirk W (Prof. Dr.) Hoffmann, Dirk W. Hoffmann - Grenzen der Mathematik
Dirk W Hoffmann, Dirk W (Prof. Dr.) Hoffmann, Dirk W. Hoffmann Grenzen der Mathematik German 26.05.2018 Paperback / Softback Fr. 53.50 4-7 working days
Thomas Studer - Relationale Datenbanken
Thomas Studer Relationale Datenbanken German 08.11.2019 Paperback / Softback Fr. 50.90 6-7 weeks
Heinz Lüneburg - Rekursive Funktionen
Heinz Lüneburg Rekursive Funktionen German 19.03.2002 Paperback / Softback Fr. 34.50 6-7 weeks
Bernhar Heinemann, Bernhard Heinemann, Thomas Ottman, KLAUS WEHIRAUCH, Klaus Weihrauch - Logik für Informatiker
Bernhar Heinemann, Bernhard Heinemann, Thomas Ottman, KLAUS WEHIRAUCH, Klaus Weihrauch Logik für Informatiker German 01.01.1992 Paperback / Softback Fr. 45.50 6-7 weeks
Roland Hausser, Roland R Hausser, Roland R. Hausser - Grundlagen der Computerlinguistik
Roland Hausser, Roland R Hausser, Roland R. Hausser Grundlagen der Computerlinguistik German 29.01.2001 Paperback / Softback Fr. 84.00 6-7 weeks
Jürgen Dassow - Logik für Informatiker
Jürgen Dassow Logik für Informatiker German 01.01.2005 Paperback / Softback Fr. 47.90 6-7 weeks
Hauc, Pete Hauck, Peter Hauck, Küchlin, Wolfgang Küchlin, Wolf... - Mathematik für Informatik und BioInformatik
Hauc, Pete Hauck, Peter Hauck, Küchlin, Wolfgang Küchlin, Wolf... Mathematik für Informatik und BioInformatik German 01.01.2004 Paperback / Softback Fr. 72.00 6-7 weeks
Karl Schlechta - Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II (Set)
Karl Schlechta Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II (Set) English 15.11.2018 Mixed media product Fr. 135.00 6-7 weeks