Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Rudolf Eigenmann, Zhiyua Li, Zhiyuan Li, Samuel P. Midkiff, Samuel P Midkiff - Languages and Compilers for High Performance Computing
Rudolf Eigenmann, Zhiyua Li, Zhiyuan Li, Samuel P. Midkiff, Samuel P Midkiff Languages and Compilers for High Performance Computing Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
BANACH, Banach, Richard Banach, Kung-Ki Lau, Kung-Kiu Lau - Formal Methods and Software Engineering
BANACH, Banach, Richard Banach, Kung-Ki Lau, Kung-Kiu Lau Formal Methods and Software Engineering Inglese 19.02.2009 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
Klaus R. Dittrich, Giovanna Guerrini, Isabella Merlo, Marta Oliva, M. Elena Rodriguez - Objects and Databases
Klaus R. Dittrich, Giovanna Guerrini, Isabella Merlo, Marta Oliva, M. Elena Rodriguez Objects and Databases Inglese 30.01.2001 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
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
Rogerio Garcia, Veronica Gil-Costa, Rogério Iope, Osni Marques, Tatiana Pinheiro de Brito, Hermes Senger... - High Performance Computing for Computational Science - VECPAR 2018
Rogerio Garcia, Veronica Gil-Costa, Rogério Iope, Osni Marques, Tatiana Pinheiro de Brito, Hermes Senger... High Performance Computing for Computational Science - VECPAR 2018 Inglese 26.03.2019 Tascabile Fr. 70.00 6-7 settimane
Michael Goedicke, Eric Knauss - Requirements Engineering: Foundation for Software Quality
Michael Goedicke, Eric Knauss Requirements Engineering: Foundation for Software Quality Inglese 08.03.2019 Tascabile Fr. 92.00 6-7 settimane
Wil van der Aalst, Reiner Hähnle, Wil van der Aalst - Fundamental Approaches to Software Engineering
Wil van der Aalst, Reiner Hähnle, Wil van der Aalst Fundamental Approaches to Software Engineering Inglese 04.04.2019 Tascabile Fr. 70.00 6-7 settimane
Marin Lujak - Agreement Technologies
Marin Lujak Agreement Technologies Inglese 04.04.2019 Tascabile Fr. 70.00 6-7 settimane
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Inglese 24.04.2019 Tascabile Fr. 82.00 6-7 settimane
Sam Lindley, Conor McBride, Don Sannella, Phil Trinder - A List of Successes That Can Change the World
Sam Lindley, Conor McBride, Don Sannella, Phil Trinder A List of Successes That Can Change the World Inglese 31.03.2016 Tascabile Fr. 70.00 6-7 settimane
Suad Alagi¿, Suad Alagic, Suad Alagić - Object-Oriented Technology
Suad Alagi¿, Suad Alagic, Suad Alagić Object-Oriented Technology Inglese 22.10.2016 Tascabile Fr. 56.90 6-7 settimane
Mahdi Derakhshanmanesh - Model-Integrating Software Components
Mahdi Derakhshanmanesh Model-Integrating Software Components Inglese 12.05.2015 Tascabile Fr. 70.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
Leen Lambers, Jens Weber - Graph Transformation
Leen Lambers, Jens Weber Graph Transformation Inglese 29.05.2018 Tascabile Fr. 70.00 6-7 settimane
Kim Guldstrand Larsen, Tim Willemse - Formal Methods for Industrial Critical Systems
Kim Guldstrand Larsen, Tim Willemse Formal Methods for Industrial Critical Systems Inglese 25.07.2019 Tascabile Fr. 70.00 6-7 settimane
Ruy de Queiroz, Maricarmen Martinez, Lawrence S. Moss - Logic, Language, Information, and Computation
Ruy de Queiroz, Maricarmen Martinez, Lawrence S. Moss Logic, Language, Information, and Computation Inglese 27.06.2018 Tascabile Fr. 92.00 6-7 settimane
Fabio Fioravanti, John P. Gallagher - Logic-Based Program Synthesis and Transformation
Fabio Fioravanti, John P. Gallagher Logic-Based Program Synthesis and Transformation Inglese 10.07.2018 Tascabile Fr. 70.00 6-7 settimane
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni - Programming Multi-Agent Systems
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni Programming Multi-Agent Systems Inglese 23.02.2005 Tascabile Fr. 70.00 6-7 settimane