Languages
Subject
Format
Availabity
Authors

Search result

Daniele Mundici - Logic: a Brief Course
Daniele Mundici Logic: a Brief Course English 28.06.2011 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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)
Ornela Dardha - Type Systems for Distributed Programs: Components and Sessions
Ornela Dardha Type Systems for Distributed Programs: Components and Sessions English 01.01.2016 Hardback Fr. 129.00 2-3 weeks (title will be printed to order)
Majetschak, Majetschak, Stefan Majetschak, Anj Weiberg, Anja Weiberg - Wittgenstein-Handbuch
Majetschak, Majetschak, Stefan Majetschak, Anj Weiberg, Anja Weiberg Wittgenstein-Handbuch German 01.08.2022 Hardback Fr. 128.00 4-7 working days
Juliana Bueno-Soler, Walte Carnielli, Walter Carnielli, Claudio Pizzi - Modalities and Multimodalities
Juliana Bueno-Soler, Walte Carnielli, Walter Carnielli, Claudio Pizzi Modalities and Multimodalities English 30.09.2009 Paperback / Softback Fr. 230.40 3-5 weeks (title will be specially ordered)
Flavio D'Alessandro, Ald de Luca, Aldo de Luca - Teoria degli Automi Finiti
Flavio D'Alessandro, Ald de Luca, Aldo de Luca Teoria degli Automi Finiti Italian 06.06.2013 Paperback / Softback Fr. 42.90 1-2 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)
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)
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)
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)
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)