Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Maurice Margenstern, Yurii Rogozhin - Machines, Computations, and Universality
Maurice Margenstern, Yurii Rogozhin Machines, Computations, and Universality Inglese 09.05.2001 Tascabile Fr. 70.00 6-7 settimane
Kung-Kiu Lau - Logic Based Program Synthesis and Transformation
Kung-Kiu Lau Logic Based Program Synthesis and Transformation Inglese 01.05.2001 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 18.04.2001 Tascabile Fr. 70.00 6-7 settimane
Olivier Danvy, Andrzej Filinski - Programs as Data Objects
Olivier Danvy, Andrzej Filinski Programs as Data Objects Inglese 25.04.2001 Tascabile Fr. 70.00 6-7 settimane
Pieter Koopman, Markus Mohnen - Implementation of Functional Languages
Pieter Koopman, Markus Mohnen Implementation of Functional Languages Inglese 18.04.2001 Tascabile Fr. 70.00 6-7 settimane
Jack Davidson, Sang Lyul Min - Languages, Compilers, and Tools for Embedded Systems
Jack Davidson, Sang Lyul Min Languages, Compilers, and Tools for Embedded Systems Inglese 07.03.2001 Tascabile Fr. 70.00 6-7 settimane
Robert Harper - Types in Compilation
Robert Harper Types in Compilation Inglese 20.06.2001 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 07.04.2003 Tascabile Fr. 70.00 6-7 settimane
Chris Johnson, Chris J. Johnson - Interactive Systems: Design, Specification, and Verification
Chris Johnson, Chris J. Johnson Interactive Systems: Design, Specification, and Verification Inglese 24.10.2001 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 28.09.2001 Tascabile Fr. 70.00 6-7 settimane
Akos Frohner - Object-Oriented Technology: ECOOP 2001 Workshop Reader
Akos Frohner Object-Oriented Technology: ECOOP 2001 Workshop Reader Inglese 02.05.2002 Tascabile Fr. 70.00 6-7 settimane
Dragan Bosnacki, Stefan Leue - Model Checking Software
Dragan Bosnacki, Stefan Leue Model Checking Software Inglese 27.03.2002 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 07.04.2003 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 29.07.2003 Tascabile Fr. 70.00 6-7 settimane
Roland C. Backhouse, Roland Backhouse, Jeremy Gibbons - Generic Programming
Roland C. Backhouse, Roland Backhouse, Jeremy Gibbons Generic Programming Inglese 29.09.2003 Tascabile Fr. 64.00 6-7 settimane
Marco Bernardo, Paola Inverardi - Formal Methods for Software Architectures
Marco Bernardo, Paola Inverardi Formal Methods for Software Architectures Inglese 12.09.2003 Tascabile Fr. 70.00 6-7 settimane
Raymond T. Boute, C. N. Dean, C. Neville Dean - Teaching Formal Methods
Raymond T. Boute, C. N. Dean, C. Neville Dean Teaching Formal Methods Inglese 17.11.2004 Tascabile Fr. 70.00 6-7 settimane
Udo Voges - Computer Safety, Reliability and Security
Udo Voges Computer Safety, Reliability and Security Inglese 10.10.2001 Tascabile Fr. 70.00 6-7 settimane
Philippe Codognet - Logic Programming
Philippe Codognet Logic Programming Inglese 14.11.2001 Tascabile Fr. 70.00 6-7 settimane
Richard J. Boulton, Paul B. Jackson - Theorem Proving in Higher Order Logics
Richard J. Boulton, Paul B. Jackson Theorem Proving in Higher Order Logics Inglese 22.08.2001 Tascabile Fr. 70.00 6-7 settimane