Languages
Subject
Format
Availabity
Authors

Search result

Luca Aceto, Giorgi Bacci, Giorgio Bacci, Giovanni Bacci, Giovanni Bacci et al, Anna Ingólfsdóttir... - Models, Algorithms, Logics and Tools
Luca Aceto, Giorgi Bacci, Giorgio Bacci, Giovanni Bacci, Giovanni Bacci et al, Anna Ingólfsdóttir... Models, Algorithms, Logics and Tools English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Silvia Abrahao, Juergen Dingel, Emilio Insfran, Isidro Ramos, Isidro Ramos et al, Wolfra Schulte... - Model-Driven Engineering Languages and Systems
Silvia Abrahao, Juergen Dingel, Emilio Insfran, Isidro Ramos, Isidro Ramos et al, Wolfra Schulte... Model-Driven Engineering Languages and Systems English 01.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Jen Grabowski, Jens Grabowski, Herbold, Herbold, Steffen Herbold, Grabowski Jens - System Analysis and Modeling. Technology-Specific Aspects of Models
Jen Grabowski, Jens Grabowski, Herbold, Herbold, Steffen Herbold, Grabowski Jens System Analysis and Modeling. Technology-Specific Aspects of Models English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
August Sampaio, Augusto Sampaio, Wang, Wang, Farn Wang - Theoretical Aspects of Computing - ICTAC 2016
August Sampaio, Augusto Sampaio, Wang, Wang, Farn Wang Theoretical Aspects of Computing - ICTAC 2016 English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2014 Paperback / Softback Fr. 158.00 6-7 weeks
Michae Ihringer, Michael Ihringer, Wolfgan Kirsten, Wolfgang Kirsten, Bernha Röhrig, Bernhard Röhrig... - Object-Oriented Application Development Using the Caché Postrelational Database
Michae Ihringer, Michael Ihringer, Wolfgan Kirsten, Wolfgang Kirsten, Bernha Röhrig, Bernhard Röhrig... Object-Oriented Application Development Using the Caché Postrelational Database English 19.11.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Mercede G Merayo, Mercedes G Merayo, Mercedes G. Merayo, Montes de Oca, Montes de Oca, Edgardo Montes de Oca - Testing Software and Systems
Mercede G Merayo, Mercedes G Merayo, Mercedes G. Merayo, Montes de Oca, Montes de Oca, Edgardo Montes de Oca Testing Software and Systems English 01.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Xavie Rival, Xavier Rival - Static Analysis
Xavie Rival, Xavier Rival Static Analysis English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2016 Paperback / Softback Fr. 135.00 6-7 weeks
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 English 01.01.2014 Paperback / Softback Fr. 135.00 6-7 weeks
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 English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Axel Simon - Value-Range Analysis of C Programs
Axel Simon Value-Range Analysis of C Programs English 26.10.2010 Paperback / Softback Fr. 184.00 6-7 weeks
Shuvend Lahiri, Shuvendu Lahiri, REGER, Reger, Giles Reger - Runtime Verification
Shuvend Lahiri, Shuvendu Lahiri, REGER, Reger, Giles Reger Runtime Verification English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2017 Hardback Fr. 135.00 6-7 weeks
Jose Kallrath, Josef Kallrath - Modeling Languages in Mathematical Optimization
Jose Kallrath, Josef Kallrath Modeling Languages in Mathematical Optimization English 25.07.2012 Paperback / Softback Fr. 237.00 6-7 weeks