Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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 Inglese 24.07.2002 Tascabile Fr. 70.00 6-7 settimane
Eerke A. Boiten, Bernhard Möller - Mathematics of Program Construction
Eerke A. Boiten, Bernhard Möller Mathematics of Program Construction Inglese 26.06.2002 Tascabile Fr. 70.00 6-7 settimane
Zhenjiang Hu, Mario Rodriquez-Artalejo - Functional and Logic Programming
Zhenjiang Hu, Mario Rodriquez-Artalejo Functional and Logic Programming Inglese 02.09.2002 Tascabile Fr. 70.00 6-7 settimane
Quentin Limbourg, Bodo Urban, Jean Vanderdonckt - Interactive Systems: Design, Specification, and Verification
Quentin Limbourg, Bodo Urban, Jean Vanderdonckt Interactive Systems: Design, Specification, and Verification Inglese 19.12.2002 Tascabile Fr. 70.00 6-7 settimane
Jean-Marc Champarnaud, Denis Maurel - Implementation and Application of Automata
Jean-Marc Champarnaud, Denis Maurel Implementation and Application of Automata Inglese 23.06.2003 Tascabile Fr. 70.00 6-7 settimane
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen - Lectures on Formal Methods and Performance Analysis
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen Lectures on Formal Methods and Performance Analysis Inglese 29.08.2001 Tascabile Fr. 70.00 6-7 settimane
Daniel Le Metayer - Programming Languages and Systems
Daniel Le Metayer Programming Languages and Systems Inglese 20.03.2002 Tascabile Fr. 70.00 6-7 settimane
Shriram Krishnamurthi, C. R. Ramakrishnan, C.R. Ramakrishnan - Practical Aspects of Declarative Languages
Shriram Krishnamurthi, C. R. Ramakrishnan, C.R. Ramakrishnan Practical Aspects of Declarative Languages Inglese 09.01.2002 Tascabile Fr. 70.00 6-7 settimane
Agostino Cortesi - Verification, Model Checking, and Abstract Interpretation
Agostino Cortesi Verification, Model Checking, and Abstract Interpretation Inglese 24.04.2002 Tascabile Fr. 70.00 6-7 settimane
M. Leuschel - Logic Based Program Synthesis and Transformation
M. Leuschel Logic Based Program Synthesis and Transformation Inglese 18.06.2003 Tascabile Fr. 70.00 6-7 settimane
Patrick Cousot - Static Analysis
Patrick Cousot Static Analysis Inglese 04.07.2001 Tascabile Fr. 70.00 6-7 settimane
Martin Hofmann - Typed Lambda Calculi and Applications
Martin Hofmann Typed Lambda Calculi and Applications Inglese 27.05.2003 Tascabile Fr. 70.00 6-7 settimane
Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg - Theory Is Forever
Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg Theory Is Forever Inglese 29.06.2004 Tascabile Fr. 70.00 6-7 settimane
Thomas Arts, Ricardo Pena - Implementation of Functional Languages
Thomas Arts, Ricardo Pena Implementation of Functional Languages Inglese 20.05.2003 Tascabile Fr. 70.00 6-7 settimane
Josep Carmona, Gregor Engels, Akhil Kumar - Business Process Management
Josep Carmona, Gregor Engels, Akhil Kumar Business Process Management Inglese 11.08.2017 Tascabile Fr. 70.00 6-7 settimane
Isabelle Bichindaritz, Christian Guttmann, Pau Herrero, Fernando Koch, Andrew Koster, Richard Lenz... - Artificial Intelligence in Health
Isabelle Bichindaritz, Christian Guttmann, Pau Herrero, Fernando Koch, Andrew Koster, Richard Lenz... Artificial Intelligence in Health Inglese 21.02.2019 Tascabile Fr. 70.00 6-7 settimane
Fred Mesnard, Peter J. Stuckey - Logic-Based Program Synthesis and Transformation
Fred Mesnard, Peter J. Stuckey Logic-Based Program Synthesis and Transformation Inglese 23.02.2019 Tascabile Fr. 70.00 6-7 settimane
Josep Silva - Functional and Constraint Logic Programming
Josep Silva Functional and Constraint Logic Programming Inglese 16.03.2019 Tascabile Fr. 70.00 6-7 settimane
Nicolas Lachiche, Christel Vrain - Inductive Logic Programming
Nicolas Lachiche, Christel Vrain Inductive Logic Programming Inglese 15.03.2018 Tascabile Fr. 70.00 6-7 settimane
Jeremy Gibbons, Perdita Stevens - Bidirectional Transformations
Jeremy Gibbons, Perdita Stevens Bidirectional Transformations Inglese 29.03.2018 Tascabile Fr. 70.00 6-7 settimane