Languages
Subject
Format
Availabity
Authors

Search result

Gerwin Klein, Tobias Nipkow - Concrete Semantics
Gerwin Klein, Tobias Nipkow Concrete Semantics English 15.12.2014 Hardback Fr. 104.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
Dragan Bosnacki, Stefan Edelkamp - Model Checking Software
Dragan Bosnacki, Stefan Edelkamp Model Checking Software English 21.06.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Aaron Dutle, César Muñoz, Anthony Narkawicz - NASA Formal Methods
Aaron Dutle, César Muñoz, Anthony Narkawicz NASA Formal Methods English 11.03.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Sanjai Rayadurgam, Oksana Tkachuk - NASA Formal Methods
Sanjai Rayadurgam, Oksana Tkachuk NASA Formal Methods English 04.06.2016 Paperback / Softback Fr. 90.00 6-7 weeks
Asaf Adi, Suzette Stoutenburg, Said Tabet - Rules and Rule Markup Languages for the Semantic Web
Asaf Adi, Suzette Stoutenburg, Said Tabet Rules and Rule Markup Languages for the Semantic Web English 04.11.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Jean-Marie Jacquet, Mieke Massink - Coordination Models and Languages
Jean-Marie Jacquet, Mieke Massink Coordination Models and Languages English 27.05.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems English 01.03.2016 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
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
Manjunath Gorentla Venkata, Neena Imam, Tiffany M. Mintz, Swaroop Pophale - OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments
Manjunath Gorentla Venkata, Neena Imam, Tiffany M. Mintz, Swaroop Pophale OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments English 15.12.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Welf Löwe, Mario Südholt - Software Composition
Welf Löwe, Mario Südholt Software Composition English 29.08.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Barbara Jobstmann, K. Rustan M. Leino - Verification, Model Checking, and Abstract Interpretation
Barbara Jobstmann, K. Rustan M. Leino Verification, Model Checking, and Abstract Interpretation English 26.12.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Deepak Vohra - JRuby Rails Web Application Development
Deepak Vohra JRuby Rails Web Application Development English 21.01.2014 Paperback / Softback Fr. 70.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
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
Roberto Bruni, Ugo Montanari, Donald Sannella - Trustworthy Global Computing
Roberto Bruni, Ugo Montanari, Donald Sannella Trustworthy Global Computing English 22.11.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Petra Perner - Advances in Data Mining. Applications and Theoretical Aspects
Petra Perner Advances in Data Mining. Applications and Theoretical Aspects English 04.07.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Barbara M. Chapman, Bronis R. De Supinski, Matthias S. Müller, Stephen L. Olivier, Christian Terboven - Scaling OpenMP for Exascale Performance and Portability
Barbara M. Chapman, Bronis R. De Supinski, Matthias S. Müller, Stephen L. Olivier, Christian Terboven Scaling OpenMP for Exascale Performance and Portability English 17.08.2017 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