Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

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 Englisch 01.01.2016 Taschenbuch Fr. 135.00 6-7 Wochen
Xavie Rival, Xavier Rival - Static Analysis
Xavie Rival, Xavier Rival Static Analysis Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Marti Davis, Martin Davis, SCHONBERG, Schonberg, Edmond Schonberg - From Linear Operators to Computational Biology
Marti Davis, Martin Davis, SCHONBERG, Schonberg, Edmond Schonberg From Linear Operators to Computational Biology Englisch 01.01.2014 Taschenbuch Fr. 158.00 6-7 Wochen
Joel Ouaknine, Igo Potapov, Igor Potapov, James Worrell - Reachability Problems
Joel Ouaknine, Igo Potapov, Igor Potapov, James Worrell Reachability Problems Englisch 01.01.2014 Taschenbuch Fr. 67.00 6-7 Wochen
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 Englisch 01.01.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Axel Simon - Value-Range Analysis of C Programs
Axel Simon Value-Range Analysis of C Programs Englisch 26.10.2010 Taschenbuch Fr. 184.00 6-7 Wochen
Shuvend Lahiri, Shuvendu Lahiri, REGER, Reger, Giles Reger - Runtime Verification
Shuvend Lahiri, Shuvendu Lahiri, REGER, Reger, Giles Reger Runtime Verification Englisch 01.01.2017 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2017 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2017 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2017 Fester Einband Fr. 135.00 6-7 Wochen
Jose Kallrath, Josef Kallrath - Modeling Languages in Mathematical Optimization
Jose Kallrath, Josef Kallrath Modeling Languages in Mathematical Optimization Englisch 25.07.2012 Taschenbuch Fr. 237.00 6-7 Wochen
Pari Avgeriou, Paris Avgeriou, Zdun, Zdun, Uwe Zdun - Software Architecture
Pari Avgeriou, Paris Avgeriou, Zdun, Zdun, Uwe Zdun Software Architecture Englisch 21.07.2014 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2014 Taschenbuch Fr. 142.00 6-7 Wochen
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 Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2017 Taschenbuch Fr. 91.00 6-7 Wochen
Peter Sestoft - Programming Language Concepts
Peter Sestoft Programming Language Concepts Englisch 01.12.2017 Taschenbuch Fr. 74.00 6-7 Wochen
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 Englisch 01.01.2017 Taschenbuch Fr. 70.00 6-7 Wochen