Languages
Subject
Format
Availabity
Authors

Search result

R. Berghammer, Bernhard Möller, Georg Struth - Relational and Kleene-Algebraic Methods in Computer Science
R. Berghammer, Bernhard Möller, Georg Struth Relational and Kleene-Algebraic Methods in Computer Science English 01.06.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Maurice Bruynooghe - Logic Based Program Synthesis and Transformation
Maurice Bruynooghe Logic Based Program Synthesis and Transformation English 24.06.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Hans J. Ohlbach, Sebastian Schaffert - Principles and Practice of Semantic Web Reasoning
Hans J. Ohlbach, Sebastian Schaffert Principles and Practice of Semantic Web Reasoning English 02.09.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Walid Taha - Semantics, Applications, and Implementation of Program Generation
Walid Taha Semantics, Applications, and Implementation of Program Generation English 23.08.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Samson Abramsky - Typed Lambda Calculi and Applications
Samson Abramsky Typed Lambda Calculi and Applications English 20.04.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Aart Middeldorp - Rewriting Techniques and Applications
Aart Middeldorp Rewriting Techniques and Applications English 09.05.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Kung-Kiu Lau - Logic Based Program Synthesis and Transformation
Kung-Kiu Lau Logic Based Program Synthesis and Transformation English 01.05.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Hubert Comon, Claude Marche, Ralf Treinen - Constraints in Computational Logics. Theory and Applications
Hubert Comon, Claude Marche, Ralf Treinen Constraints in Computational Logics. Theory and Applications English 18.04.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Olivier Danvy, Andrzej Filinski - Programs as Data Objects
Olivier Danvy, Andrzej Filinski Programs as Data Objects English 25.04.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Robert Harper - Types in Compilation
Robert Harper Types in Compilation English 20.06.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Oliver Boldt, Helmut Jürgensen - Automata Implementation
Oliver Boldt, Helmut Jürgensen Automata Implementation English 24.10.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk - Proof Theory in Computer Science
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk Proof Theory in Computer Science English 28.09.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
C. A. Pena-Reyes, Carlos Andrés Peña-Reyes - Coevolutionary Fuzzy Modeling
C. A. Pena-Reyes, Carlos Andrés Peña-Reyes Coevolutionary Fuzzy Modeling English 18.10.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Raymond T. Boute, C. N. Dean, C. Neville Dean - Teaching Formal Methods
Raymond T. Boute, C. N. Dean, C. Neville Dean Teaching Formal Methods English 17.11.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Raymond S. T. Lee, Raymond S.T. Lee - Fuzzy-Neuro Approach to Agent Applications
Raymond S. T. Lee, Raymond S.T. Lee Fuzzy-Neuro Approach to Agent Applications English 12.02.2010 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Johann M. Schumann - Automated Theorem Proving in Software Engineering
Johann M. Schumann Automated Theorem Proving in Software Engineering English 01.12.2010 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Andrea Tettamanzi, Marco Tomassini - Soft Computing
Andrea Tettamanzi, Marco Tomassini Soft Computing English 09.12.2010 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Eerke A. Boiten, Bernhard Möller - Mathematics of Program Construction
Eerke A. Boiten, Bernhard Möller Mathematics of Program Construction English 26.06.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron - Membrane Computing
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron Membrane Computing English 25.02.2003 Paperback / Softback Fr. 72.00 1-2 weeks (title will be printed to order)
Daniel Le Metayer - Programming Languages and Systems
Daniel Le Metayer Programming Languages and Systems English 20.03.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)