Languages
Subject
Format
Availabity
Authors

Search result

Thomas Zeume - Small Dynamic Complexity Classes
Thomas Zeume Small Dynamic Complexity Classes English 18.02.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Mathias Soeken, Michael Kirkedal Thomsen - Reversible Computation
Mathias Soeken, Michael Kirkedal Thomsen Reversible Computation English 23.05.2019 Paperback / Softback Fr. 82.00 6-7 weeks
Marija Slavkovik - Multi-Agent Systems
Marija Slavkovik Multi-Agent Systems English 15.02.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazi¿, Ranko Lazic, Ranko Lazić - Concurrency, Security, and Puzzles
Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazi¿, Ranko Lazic, Ranko Lazić Concurrency, Security, and Puzzles English 18.12.2016 Paperback / Softback Fr. 70.00 6-7 weeks
El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez - Model and Data Engineering
El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez Model and Data Engineering English 13.09.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Hanne Riis Nielson, Emilio Tuosto - Coordination Models and Languages
Hanne Riis Nielson, Emilio Tuosto Coordination Models and Languages English 05.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Catherine Dubois, Burkhart Wolff - Tests and Proofs
Catherine Dubois, Burkhart Wolff Tests and Proofs English 03.06.2018 Paperback / Softback Fr. 70.00 6-7 weeks
William M. Farmer, Grant O. Passmore, Florian Rabe, Abdou Youssef - Intelligent Computer Mathematics
William M. Farmer, Grant O. Passmore, Florian Rabe, Abdou Youssef Intelligent Computer Mathematics English 18.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Cliff Jones, Ji Wang, Naijun Zhan - Symposium on Real-Time and Hybrid Systems
Cliff Jones, Ji Wang, Naijun Zhan Symposium on Real-Time and Hybrid Systems English 29.09.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Susanne Graf, Kim G. Larsen, Tiziana Margaria - Models, Mindsets, Meta: The What, the How, and the Why Not?
Susanne Graf, Kim G. Larsen, Tiziana Margaria Models, Mindsets, Meta: The What, the How, and the Why Not? English 26.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Alwyn Goodloe, Suzette Person - NASA Formal Methods
Alwyn Goodloe, Suzette Person NASA Formal Methods English 27.03.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Ali Babar, Bedir Tekinerdogan, Uwe Zdun - Software Architecture
Ali Babar, Bedir Tekinerdogan, Uwe Zdun Software Architecture English 04.11.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Alessio Malizia, Anders Morch, Alan Serrano, Andrew Stratton, Stefano Valtolina - End-User Development
Alessio Malizia, Anders Morch, Alan Serrano, Andrew Stratton, Stefano Valtolina End-User Development English 03.07.2019 Paperback / Softback Fr. 82.00 6-7 weeks
Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev - Grand Timely Topics in Software Engineering
Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev Grand Timely Topics in Software Engineering English 29.06.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Mehmet Aksit, Awais Rashid - Transactions on Aspect-Oriented Software Development II
Mehmet Aksit, Awais Rashid Transactions on Aspect-Oriented Software Development II English 03.11.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Andrei Paskevich, Thomas Wies - Verified Software. Theories, Tools, and Experiments
Andrei Paskevich, Thomas Wies Verified Software. Theories, Tools, and Experiments English 15.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Shigeru Chiba, Gary T. Leavens, Éric Tanter - Transactions on Aspect-Oriented Software Development X
Shigeru Chiba, Gary T. Leavens, Éric Tanter Transactions on Aspect-Oriented Software Development X English 20.02.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Reiko Heckel, Gabriele Taentzer - Graph Transformation, Specifications, and Nets
Reiko Heckel, Gabriele Taentzer Graph Transformation, Specifications, and Nets English 07.02.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Marco Bernardo, Alessandro Bogliolo - Formal Methods for Mobile Computing
Marco Bernardo, Alessandro Bogliolo Formal Methods for Mobile Computing English 13.04.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Nicola Olivetti, Ashish Tiwari - Automated Reasoning
Nicola Olivetti, Ashish Tiwari Automated Reasoning English 12.06.2016 Paperback / Softback Fr. 110.00 6-7 weeks