Languages
Subject
Format
Availabity
Authors

Search result

Jacopo Mauro - Constraints Meet Concurrency
Jacopo Mauro Constraints Meet Concurrency English 17.01.2014 Hardback Fr. 69.00 2-3 weeks (title will be printed to order)
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. 69.00 1-2 weeks (title will be printed to order)
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. 69.00 1-2 weeks (title will be printed to order)
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. 69.00 1-2 weeks (title will be printed to order)
Atsushi Ohori - Programming Languages and Systems
Atsushi Ohori Programming Languages and Systems English 12.11.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Evelyn Duesterwald - Compiler Construction
Evelyn Duesterwald Compiler Construction English 18.03.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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. 69.00 1-2 weeks (title will be printed to order)
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. 69.00 1-2 weeks (title will be printed to order)
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. 69.00 1-2 weeks (title will be printed to order)
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)
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. 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)
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. 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)
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. 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)
Maurice Margenstern, Yurii Rogozhin - Machines, Computations, and Universality
Maurice Margenstern, Yurii Rogozhin Machines, Computations, and Universality 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)