Languages
Subject
Format
Availabity
Authors

Search result

Cornelia Boldyreff, Kevi Crowston, Kevin Crowston, Björn Lundell, Björn Lundell et al, Anthony I. Wasserman - Open Source Ecosystems: Diverse Communities Interacting
Cornelia Boldyreff, Kevi Crowston, Kevin Crowston, Björn Lundell, Björn Lundell et al, Anthony I. Wasserman Open Source Ecosystems: Diverse Communities Interacting English 21.06.2011 Paperback / Softback Fr. 135.00 6-7 weeks
Hanspeter Mössenböck - Compiler Construction
Hanspeter Mössenböck Compiler Construction English 11.09.2025 Paperback / Softback Fr. 77.00 6-7 weeks
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
Cyrille Artho, Axe Legay, Axel Legay, Doron Peled - Automated Technology for Verification and Analysis
Cyrille Artho, Axe Legay, Axel Legay, Doron Peled Automated Technology for Verification and Analysis English 01.01.2016 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
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
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
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
Xavie Rival, Xavier Rival - Static Analysis
Xavie Rival, Xavier Rival Static Analysis English 01.01.2016 Paperback / Softback Fr. 70.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
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
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
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
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
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 English 01.01.2017 Paperback / Softback Fr. 90.00 6-7 weeks
Pari Avgeriou, Paris Avgeriou, Zdun, Zdun, Uwe Zdun - Software Architecture
Pari Avgeriou, Paris Avgeriou, Zdun, Zdun, Uwe Zdun Software Architecture English 21.07.2014 Paperback / Softback Fr. 70.00 6-7 weeks