Languages
Subject
Format
Availabity
Authors

Search result

Pieter Koopman, Markus Mohnen - Implementation of Functional Languages
Pieter Koopman, Markus Mohnen Implementation of Functional Languages English 18.04.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Jack Davidson, Sang Lyul Min - Languages, Compilers, and Tools for Embedded Systems
Jack Davidson, Sang Lyul Min Languages, Compilers, and Tools for Embedded Systems English 07.03.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
Leopoldo Bertossi, Gyula O. H. Katona, Gyula O.H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim - Semantics in Databases
Leopoldo Bertossi, Gyula O. H. Katona, Gyula O.H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim Semantics in Databases English 07.04.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Chris Johnson, Chris J. Johnson - Interactive Systems: Design, Specification, and Verification
Chris Johnson, Chris J. Johnson Interactive Systems: Design, Specification, and Verification 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
Akos Frohner - Object-Oriented Technology: ECOOP 2001 Workshop Reader
Akos Frohner Object-Oriented Technology: ECOOP 2001 Workshop Reader English 02.05.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Dragan Bosnacki, Stefan Leue - Model Checking Software
Dragan Bosnacki, Stefan Leue Model Checking Software English 27.03.2002 Paperback / Softback Fr. 70.00 6-7 weeks
T. Fahringer, Thomas Fahringer, B. Scholz, Bernhard Scholz - Advanced Symbolic Analysis for Compilers
T. Fahringer, Thomas Fahringer, B. Scholz, Bernhard Scholz Advanced Symbolic Analysis for Compilers English 07.04.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Frank Maurer, Don Wells - Extreme Programming and Agile Methods - XP/Agile Universe 2003
Frank Maurer, Don Wells Extreme Programming and Agile Methods - XP/Agile Universe 2003 English 29.07.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Roland C. Backhouse, Roland Backhouse, Jeremy Gibbons - Generic Programming
Roland C. Backhouse, Roland Backhouse, Jeremy Gibbons Generic Programming English 29.09.2003 Paperback / Softback Fr. 64.00 6-7 weeks
Marco Bernardo, Paola Inverardi - Formal Methods for Software Architectures
Marco Bernardo, Paola Inverardi Formal Methods for Software Architectures English 12.09.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Raymond T. Boute, C. N. Dean, C. Neville Dean - Teaching Formal Methods
Raymond T. Boute, C. N. Dean, C. Neville Dean Teaching Formal Methods English 17.11.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Udo Voges - Computer Safety, Reliability and Security
Udo Voges Computer Safety, Reliability and Security English 10.10.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Philippe Codognet - Logic Programming
Philippe Codognet Logic Programming English 14.11.2001 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
Don Wells, Lauris Williams - Extreme Programming and Agile Methods - XP/Agile Universe 2002
Don Wells, Lauris Williams Extreme Programming and Agile Methods - XP/Agile Universe 2002 English 24.07.2002 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
Zhenjiang Hu, Mario Rodriquez-Artalejo - Functional and Logic Programming
Zhenjiang Hu, Mario Rodriquez-Artalejo Functional and Logic Programming English 02.09.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Quentin Limbourg, Bodo Urban, Jean Vanderdonckt - Interactive Systems: Design, Specification, and Verification
Quentin Limbourg, Bodo Urban, Jean Vanderdonckt Interactive Systems: Design, Specification, and Verification English 19.12.2002 Paperback / Softback Fr. 70.00 6-7 weeks