Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Luc Bougé, Yong Dou, Dora Heras, Haixian Lin, Haixiang Lin, Guangyu Sun... - Advanced Parallel Processing Technologies
Luc Bougé, Yong Dou, Dora Heras, Haixian Lin, Haixiang Lin, Guangyu Sun... Advanced Parallel Processing Technologies Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Xavie Rival, Xavier Rival - Static Analysis
Xavie Rival, Xavier Rival Static Analysis Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Dragos Chirila, Dragos B Chirila, Dragos B. Chirila, Gerrit Lohmann - Introduction to Modern Fortran for the Earth System Sciences
Dragos Chirila, Dragos B Chirila, Dragos B. Chirila, Gerrit Lohmann Introduction to Modern Fortran for the Earth System Sciences Inglese 01.01.2016 Tascabile Fr. 135.00 6-7 settimane
Shaun Forth, Pau Hovland, Paul Hovland, Eric Phipps, Eric Phipps et al, Jean Utke... - Recent Advances in Algorithmic Differentiation
Shaun Forth, Pau Hovland, Paul Hovland, Eric Phipps, Eric Phipps et al, Jean Utke... Recent Advances in Algorithmic Differentiation Inglese 01.01.2014 Tascabile Fr. 135.00 6-7 settimane
Jör Altmann, Jörn Altmann, José Ángel Bañares, José Ángel Bañares, Congduc Pham - Economics of Grids, Clouds, Systems, and Services
Jör Altmann, Jörn Altmann, José Ángel Bañares, José Ángel Bañares, Congduc Pham Economics of Grids, Clouds, Systems, and Services Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
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
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
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
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
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
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
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
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
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. 91.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