Languages
Subject
Format
Availabity
Authors

Search result

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
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
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
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
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
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
Bernady O. Apduhan, Giuseppe Borruso, Alfredo Cuzzocrea, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al... - Computational Science and Its Applications - ICCSA 2017
Bernady O. Apduhan, Giuseppe Borruso, Alfredo Cuzzocrea, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al... Computational Science and Its Applications - ICCSA 2017 English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar - Computer Aided Verification
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar Computer Aided Verification English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Dharin Balasubramaniam, Dharini Balasubramaniam, Katrina Falkner, Ron Morrison, Ronald Morrison - Software Architecture
Dharin Balasubramaniam, Dharini Balasubramaniam, Katrina Falkner, Ron Morrison, Ronald Morrison Software Architecture English 01.01.2008 Paperback / Softback Fr. 104.00 6-7 weeks
Rocc De Nicola, Rocco De Nicola, Kühn, Kühn, Eva Kühn, Rocco de Nicola - Software Engineering and Formal Methods
Rocc De Nicola, Rocco De Nicola, Kühn, Kühn, Eva Kühn, Rocco de Nicola Software Engineering and Formal Methods English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Lönn, Lönn, Henrik Lönn, Andrzej W¿sowski, Andrze Wasowski, Andrzej Wasowski... - Modelling Foundations and Applications
Lönn, Lönn, Henrik Lönn, Andrzej W¿sowski, Andrze Wasowski, Andrzej Wasowski... Modelling Foundations and Applications English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Donal C Wunsch, Donald C Wunsch, De-Shuang Huang, Kang-Hyun Jo, Daniel S. Levine, Daniel S Levine et al... - Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Donal C Wunsch, Donald C Wunsch, De-Shuang Huang, Kang-Hyun Jo, Daniel S. Levine, Daniel S Levine et al... Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence English 29.01.2013 Paperback / Softback Fr. 207.00 6-7 weeks