Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Axel Simon - Value-Range Analysis of C Programs
Axel Simon Value-Range Analysis of C Programs Inglese 26.10.2010 Tascabile Fr. 184.00 6-7 settimane
Shuvend Lahiri, Shuvendu Lahiri, REGER, Reger, Giles Reger - Runtime Verification
Shuvend Lahiri, Shuvendu Lahiri, REGER, Reger, Giles Reger Runtime Verification Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Ana Rosa Cavalli, An Rosa Cavalli, Ana Rosa Cavalli, Hüsnü Yenigün, Nina Yevtushenko - Testing Software and Systems
Ana Rosa Cavalli, An Rosa Cavalli, Ana Rosa Cavalli, Hüsnü Yenigün, Nina Yevtushenko Testing Software and Systems Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Julian M. Kunkel, John Shalf, Michela Taufer, Michela Taufer et al, Ri Yokota, Rio Yokota - High Performance Computing
Julian M. Kunkel, John Shalf, Michela Taufer, Michela Taufer et al, Ri Yokota, Rio Yokota High Performance Computing Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Fernand Castor, Fernando Castor, David Liu, David Liu, Yu David Liu - Programming Languages
Fernand Castor, Fernando Castor, David Liu, David Liu, Yu David Liu Programming Languages Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Amund Skavhaug - Computer Safety, Reliability, and Security
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Amund Skavhaug Computer Safety, Reliability, and Security Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Manue Mazzara, Manuel Mazzara, MEYER, Meyer, Bertrand Meyer - Present and Ulterior Software Engineering
Manue Mazzara, Manuel Mazzara, MEYER, Meyer, Bertrand Meyer Present and Ulterior Software Engineering Inglese 01.01.2017 Copertina rigida Fr. 135.00 6-7 settimane
Renat A Schmidt, Renate A Schmidt, Nalon, Nalon, Cláudia Nalon, Renate A. Schmidt - Automated Reasoning with Analytic Tableaux and Related Methods
Renat A Schmidt, Renate A Schmidt, Nalon, Nalon, Cláudia Nalon, Renate A. Schmidt Automated Reasoning with Analytic Tableaux and Related Methods Inglese 01.01.2017 Tascabile Fr. 90.00 6-7 settimane
Pari Avgeriou, Paris Avgeriou, Zdun, Zdun, Uwe Zdun - Software Architecture
Pari Avgeriou, Paris Avgeriou, Zdun, Zdun, Uwe Zdun Software Architecture Inglese 21.07.2014 Tascabile Fr. 70.00 6-7 settimane
Jan Bergstra, Jan A Bergstra, Cornelis A Middelburg, Cornelis A. Middelburg - Instruction Sequences for Computer Science
Jan Bergstra, Jan A Bergstra, Cornelis A Middelburg, Cornelis A. Middelburg Instruction Sequences for Computer Science Inglese 01.01.2014 Tascabile Fr. 142.00 6-7 settimane
Regina Bernhaupt, Cristian Bogdan, Peter Forbrig, Ja Gulliksen, Jan Gulliksen, Chris Johnson... - Human-Centered and Error-Resilient Systems Development
Regina Bernhaupt, Cristian Bogdan, Peter Forbrig, Ja Gulliksen, Jan Gulliksen, Chris Johnson... Human-Centered and Error-Resilient Systems Development Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Jose Kallrath, Josef Kallrath - Modeling Languages in Mathematical Optimization
Jose Kallrath, Josef Kallrath Modeling Languages in Mathematical Optimization Inglese 25.07.2012 Tascabile Fr. 237.00 6-7 settimane
Peter Sestoft - Programming Language Concepts
Peter Sestoft Programming Language Concepts Inglese 01.12.2017 Tascabile Fr. 74.00 6-7 settimane
Philippe Desfray, Luí Ferreira Pires, Luís Ferreira Pires, Slimane Hammoudi, Luís Ferreira Pires, Bran Selic... - Model-Driven Engineering and Software Development
Philippe Desfray, Luí Ferreira Pires, Luís Ferreira Pires, Slimane Hammoudi, Luís Ferreira Pires, Bran Selic... Model-Driven Engineering and Software Development Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Jo van Hoey, Jo Van Hoey - Beginning x64 Assembly Programming
Jo van Hoey, Jo Van Hoey Beginning x64 Assembly Programming Inglese 15.11.2019 Tascabile Fr. 47.90 6-7 settimane
José C Cabaleiro, José C. Cabaleiro, Tomá F Pena, Tomás F Pena, Tomás F. Pena, Francisco F. Rivera - Euro-Par 2017: Parallel Processing
José C Cabaleiro, José C. Cabaleiro, Tomá F Pena, Tomás F Pena, Tomás F. Pena, Francisco F. Rivera Euro-Par 2017: Parallel Processing Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... - String Analysis for Software Verification and Security
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... String Analysis for Software Verification and Security Inglese 28.02.2018 Copertina rigida Fr. 124.00 6-7 settimane
Jonathan P. Bowen, Zhimin Liu, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhimin Liu, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems Inglese 31.05.2017 Tascabile Fr. 70.00 6-7 settimane
Olivie Boissier, Olivier Boissier, Rafael H. Bordini, Louise Dennis, Rafael H Bordini - Programming Multi-Agents Systems
Olivie Boissier, Olivier Boissier, Rafael H. Bordini, Louise Dennis, Rafael H Bordini Programming Multi-Agents Systems Inglese 21.06.2012 Tascabile Fr. 65.00 6-7 settimane
Bernady O. Apduhan, Giuseppe Borruso, Alfredo Cuzzocrea, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al... - Computational Science and Its Applications - ICCSA 2017
Bernady O. Apduhan, Giuseppe Borruso, Alfredo Cuzzocrea, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al... Computational Science and Its Applications - ICCSA 2017 Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane