Languages
Subject
Format
Availabity
Authors

Search result

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
Christian S. Calude, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa - Multiset Processing
Christian S. Calude, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa Multiset Processing English 14.12.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Harrie C. M. de Swart, Harrie C.M. de Swart - Relational Methods in Computer Science
Harrie C. M. de Swart, Harrie C.M. de Swart Relational Methods in Computer Science English 11.12.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Richard J. Boulton, Paul B. Jackson - Theorem Proving in Higher Order Logics
Richard J. Boulton, Paul B. Jackson Theorem Proving in Higher Order Logics English 22.08.2001 Paperback / Softback Fr. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 73.00 6-7 weeks
Jean-Marc Champarnaud, Denis Maurel - Implementation and Application of Automata
Jean-Marc Champarnaud, Denis Maurel Implementation and Application of Automata English 23.06.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Daniel Le Metayer - Programming Languages and Systems
Daniel Le Metayer Programming Languages and Systems English 20.03.2002 Paperback / Softback Fr. 70.00 6-7 weeks
M. Leuschel - Logic Based Program Synthesis and Transformation
M. Leuschel Logic Based Program Synthesis and Transformation English 18.06.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Patrick Cousot - Static Analysis
Patrick Cousot Static Analysis English 04.07.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Martin Hofmann - Typed Lambda Calculi and Applications
Martin Hofmann Typed Lambda Calculi and Applications English 27.05.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg - Theory Is Forever
Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg Theory Is Forever English 29.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Andy King - Logic-Based Program Synthesis and Transformation
Andy King Logic-Based Program Synthesis and Transformation English 18.03.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Celine Rouveirol, Michele Sebag - Inductive Logic Programming
Celine Rouveirol, Michele Sebag Inductive Logic Programming English 29.08.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Jorge Baptista, Maria das Gracas Volpe Nunes, Nuno J. Mamede, Isabel Trancoso - Computational Processing of the Portuguese Language
Jorge Baptista, Maria das Gracas Volpe Nunes, Nuno J. Mamede, Isabel Trancoso Computational Processing of the Portuguese Language English 18.06.2003 Paperback / Softback Fr. 70.00 6-7 weeks