Languages
Subject
Format
Availabity
Authors

Search result

Mehd Dastani, Mehdi Dastani, Sirjani, Sirjani, Marjan Sirjani - Fundamentals of Software Engineering
Mehd Dastani, Mehdi Dastani, Sirjani, Sirjani, Marjan Sirjani Fundamentals of Software Engineering English 01.01.2017 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
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
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
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
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
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
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
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 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. 91.00 6-7 weeks
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 English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Pankaj Jalote - A Concise Introduction to Software Engineering
Pankaj Jalote A Concise Introduction to Software Engineering English 14.03.2025 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 31.05.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 28.02.2018 Hardback Fr. 124.00 6-7 weeks