Languages
Subject
Format
Availabity
Authors

Search result

Marinho Barcellos, David Choffnes - Passive and Active Measurement
Marinho Barcellos, David Choffnes Passive and Active Measurement English 13.03.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Wil van der Aalst, Reiner Hähnle, Wil Van Der Aalst - Fundamental Approaches to Software Engineering
Wil van der Aalst, Reiner Hähnle, Wil Van Der Aalst Fundamental Approaches to Software Engineering English 04.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Jing Sun, Meng Sun - Formal Methods and Software Engineering
Jing Sun, Meng Sun Formal Methods and Software Engineering English 11.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Kisung Lee, John Miller, Eleni Stroulia, Liang-Jie Zhang - Web Services - ICWS 2019
Kisung Lee, John Miller, Eleni Stroulia, Liang-Jie Zhang Web Services - ICWS 2019 English 14.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Dilma Da Silva, Qingyang Wang, Liang-Jie Zhang - Cloud Computing - CLOUD 2019
Dilma Da Silva, Qingyang Wang, Liang-Jie Zhang Cloud Computing - CLOUD 2019 English 14.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Dirk Beyer, Marieke Huisman - Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman Tools and Algorithms for the Construction and Analysis of Systems English 12.04.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Christel Baier, Ugo Dal Lago - Foundations of Software Science and Computation Structures
Christel Baier, Ugo Dal Lago Foundations of Software Science and Computation Structures English 14.04.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Farid Karimipour, Miguel R. Luaces, Miguel R. Luaces - Web and Wireless Geographical Information Systems
Farid Karimipour, Miguel R. Luaces, Miguel R. Luaces Web and Wireless Geographical Information Systems English 17.04.2018 Paperback / Softback Fr. 59.50 6-7 weeks
Apostolos Ampatzoglou, Tanmay Bhowmik, Xin Peng - Reuse in the Big Data Era
Apostolos Ampatzoglou, Tanmay Bhowmik, Xin Peng Reuse in the Big Data Era English 19.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Cheng Li, Shiwen Mao - Wireless Internet
Cheng Li, Shiwen Mao Wireless Internet English 13.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Sukyoung Ryu - Programming Languages and Systems
Sukyoung Ryu Programming Languages and Systems English 22.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Pedro Diniz, Christian Hochberger, Andreas Koch, Brent Nelson, Roger Woods - Applied Reconfigurable Computing
Pedro Diniz, Christian Hochberger, Andreas Koch, Brent Nelson, Roger Woods Applied Reconfigurable Computing English 29.03.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang - Tools and Algorithms for the Construction and Analysis of Systems
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang Tools and Algorithms for the Construction and Analysis of Systems English 04.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Roger Chamberlain, Walid Taha, Martin Törngren - Cyber Physical Systems. Design, Modeling, and Evaluation
Roger Chamberlain, Walid Taha, Martin Törngren Cyber Physical Systems. Design, Modeling, and Evaluation English 13.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
David Keyes, Carsten Trinitis, Michèle Weiland, Rio Yokota - High Performance Computing
David Keyes, Carsten Trinitis, Michèle Weiland, Rio Yokota High Performance Computing English 29.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Christel Baier, Luís Caires - Formal Techniques for Distributed Objects, Components, and Systems
Christel Baier, Luís Caires Formal Techniques for Distributed Objects, Components, and Systems English 30.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Isil Dillig, Serdar Tasiran - Computer Aided Verification
Isil Dillig, Serdar Tasiran Computer Aided Verification English 13.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen - Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen Tools and Algorithms for the Construction and Analysis of Systems English 04.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Ezio Bartocci, Yliès Falcone - Lectures on Runtime Verification
Ezio Bartocci, Yliès Falcone Lectures on Runtime Verification English 11.02.2018 Paperback / Softback Fr. 90.00 6-7 weeks
Ralph Johnson, James Noble, Eugene Wallingford, Uwe Zdun - Transactions on Pattern Languages of Programming IV
Ralph Johnson, James Noble, Eugene Wallingford, Uwe Zdun Transactions on Pattern Languages of Programming IV English 22.02.2019 Paperback / Softback Fr. 70.00 6-7 weeks