Languages
Subject
Format
Availabity
Authors

Search result

Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa - Membrane Computing
Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa Membrane Computing English 28.01.2004 Paperback / Softback Fr. 70.00 6-7 weeks
B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum - Formal Methods at the Crossroads. From Panacea to Foundational Support
B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum Formal Methods at the Crossroads. From Panacea to Foundational Support English 18.11.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Francois Bry, Nicola Henze, Jan Maluszynski - Principles and Practice of Semantic Web Reasoning
Francois Bry, Nicola Henze, Jan Maluszynski Principles and Practice of Semantic Web Reasoning English 25.11.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Atsushi Ohori - Programming Languages and Systems
Atsushi Ohori Programming Languages and Systems English 12.11.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Evelyn Duesterwald - Compiler Construction
Evelyn Duesterwald Compiler Construction English 18.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
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