Languages
Subject
Format
Availabity
Authors

Search result

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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
Andrzej Lingas, Bengt J. Nilsson - Fundamentals of Computation Theory
Andrzej Lingas, Bengt J. Nilsson Fundamentals of Computation Theory English 29.07.2003 Paperback / Softback Fr. 73.00 6-7 weeks
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. 70.00 6-7 weeks
Maurice Bruynooghe - Logic Based Program Synthesis and Transformation
Maurice Bruynooghe Logic Based Program Synthesis and Transformation English 24.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Bruce Watson, Derick Wood - Implementation and Application of Automata
Bruce Watson, Derick Wood Implementation and Application of Automata English 16.01.2003 Paperback / Softback Fr. 70.00 6-7 weeks
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. 70.00 6-7 weeks
Annette Bunker, Ganesh C. Gopalakrishnan, Konrad Slind - Theorem Proving in Higher Order Logics
Annette Bunker, Ganesh C. Gopalakrishnan, Konrad Slind Theorem Proving in Higher Order Logics English 01.09.2004 Paperback / Softback Fr. 70.00 6-7 weeks
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. 70.00 6-7 weeks
Jordi Cortadella, Grzegorz Rozenberg, Alex Yakovlev - Concurrency and Hardware Design
Jordi Cortadella, Grzegorz Rozenberg, Alex Yakovlev Concurrency and Hardware Design English 26.11.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Samson Abramsky - Typed Lambda Calculi and Applications
Samson Abramsky Typed Lambda Calculi and Applications English 20.04.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Aart Middeldorp - Rewriting Techniques and Applications
Aart Middeldorp Rewriting Techniques and Applications English 09.05.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Maurice Margenstern, Yurii Rogozhin - Machines, Computations, and Universality
Maurice Margenstern, Yurii Rogozhin Machines, Computations, and Universality English 09.05.2001 Paperback / Softback Fr. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
Olivier Danvy, Andrzej Filinski - Programs as Data Objects
Olivier Danvy, Andrzej Filinski Programs as Data Objects English 25.04.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Jose-Manuel Colom, Maciej Koutny - Applications and Theory of Petri Nets 2001
Jose-Manuel Colom, Maciej Koutny Applications and Theory of Petri Nets 2001 English 13.06.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Robert Harper - Types in Compilation
Robert Harper Types in Compilation English 20.06.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Oliver Boldt, Helmut Jürgensen - Automata Implementation
Oliver Boldt, Helmut Jürgensen Automata Implementation English 24.10.2001 Paperback / Softback Fr. 70.00 6-7 weeks
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. 70.00 6-7 weeks