Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Peter Seibel - Practical Common Lisp
Peter Seibel Practical Common Lisp Inglese 01.04.2005 Tascabile Fr. 97.00 6-7 settimane
Gustav Alonso, Gustavo Alonso - Middleware 2005
Gustav Alonso, Gustavo Alonso Middleware 2005 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Uustalu, Uustalu, Tarmo Uustalu, Varm Vene, Varmo Vene - Advanced Functional Programming
Uustalu, Uustalu, Tarmo Uustalu, Varm Vene, Varmo Vene Advanced Functional Programming Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Bil Pugh, Bill Pugh, Tseng, Tseng, Chau-Wen Tseng - Languages and Compilers for Parallel Computing
Bil Pugh, Bill Pugh, Tseng, Tseng, Chau-Wen Tseng Languages and Compilers for Parallel Computing Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Gavi Bierman, Gavin Bierman, Koch, Koch, Christoph Koch - Database Programming Languages
Gavi Bierman, Gavin Bierman, Koch, Koch, Christoph Koch Database Programming Languages Inglese 07.02.2006 Tascabile Fr. 70.00 6-7 settimane
Jaco C van de Pol, Jaco C. van de Pol, Graem P Smith, Graeme P Smith, Jaco C. van de Pol, Judi M. T. Romijn... - Integrated Formal Methods
Jaco C van de Pol, Jaco C. van de Pol, Graem P Smith, Graeme P Smith, Jaco C. van de Pol, Judi M. T. Romijn... Integrated Formal Methods Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi - Verification, Model Checking, and Abstract Interpretation
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi Verification, Model Checking, and Abstract Interpretation Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck - Practical Aspects of Declarative Languages
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck Practical Aspects of Declarative Languages Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi - Formal Modeling and Analysis of Timed Systems
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi Formal Modeling and Analysis of Timed Systems Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Kwangkeu Yi, Kwangkeun Yi - Programming Languages and Systems
Kwangkeu Yi, Kwangkeun Yi Programming Languages and Systems Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Suad Alagi¿, Suad Alagic, Suad Alagić - Software Engineering: Specification, Implementation, Verification
Suad Alagi¿, Suad Alagic, Suad Alagić Software Engineering: Specification, Implementation, Verification Inglese 18.08.2018 Tascabile Fr. 97.00 6-7 settimane
Lucas Davi, Ahmad-Reza Sadeghi - Building Secure Defenses Against Code-Reuse Attacks
Lucas Davi, Ahmad-Reza Sadeghi Building Secure Defenses Against Code-Reuse Attacks Inglese 16.12.2015 Tascabile Fr. 70.00 6-7 settimane
Thomas Zeume - Small Dynamic Complexity Classes
Thomas Zeume Small Dynamic Complexity Classes Inglese 18.02.2017 Tascabile Fr. 70.00 6-7 settimane
Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazi¿, Ranko Lazic, Ranko Lazić - Concurrency, Security, and Puzzles
Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazi¿, Ranko Lazic, Ranko Lazić Concurrency, Security, and Puzzles Inglese 18.12.2016 Tascabile Fr. 70.00 6-7 settimane
Mathias Soeken, Michael Kirkedal Thomsen - Reversible Computation
Mathias Soeken, Michael Kirkedal Thomsen Reversible Computation Inglese 23.05.2019 Tascabile Fr. 82.00 6-7 settimane
Marija Slavkovik - Multi-Agent Systems
Marija Slavkovik Multi-Agent Systems Inglese 15.02.2019 Tascabile Fr. 70.00 6-7 settimane
El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez - Model and Data Engineering
El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez Model and Data Engineering Inglese 13.09.2018 Tascabile Fr. 70.00 6-7 settimane
Suad Alagi¿, Suad Alagic, Suad Alagić - Software Engineering: Specification, Implementation, Verification
Suad Alagi¿, Suad Alagic, Suad Alagić Software Engineering: Specification, Implementation, Verification Inglese 02.10.2017 Copertina rigida Fr. 97.00 6-7 settimane
Hanne Riis Nielson, Emilio Tuosto - Coordination Models and Languages
Hanne Riis Nielson, Emilio Tuosto Coordination Models and Languages Inglese 05.06.2019 Tascabile Fr. 70.00 6-7 settimane
Enrique Cabello, Jorge Cardoso, André Ludwig, Leszek A. Maciaszek, Marten van Sinderen, Marten van Sinderen - Software Technologies
Enrique Cabello, Jorge Cardoso, André Ludwig, Leszek A. Maciaszek, Marten van Sinderen, Marten van Sinderen Software Technologies Inglese 12.07.2017 Tascabile Fr. 70.00 6-7 settimane