Languages
Subject
Format
Availabity
Authors

Search result

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
Sanjai Rayadurgam, Oksana Tkachuk - NASA Formal Methods
Sanjai Rayadurgam, Oksana Tkachuk NASA Formal Methods English 04.06.2016 Paperback / Softback Fr. 91.00 6-7 weeks
Paolo Milazzo, Dániel Varró, Manuel Wimmer - Software Technologies: Applications and Foundations
Paolo Milazzo, Dániel Varró, Manuel Wimmer Software Technologies: Applications and Foundations English 06.12.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Diana Gordon-Spears, Michael G. Hinchey, James L. Rash, Christopher Rouff, Walter F. Truszkowski - Formal Approaches to Agent-Based Systems
Diana Gordon-Spears, Michael G. Hinchey, James L. Rash, Christopher Rouff, Walter F. Truszkowski Formal Approaches to Agent-Based Systems English 29.07.2003 Paperback / Softback Fr. 70.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
Celine Rouveirol, Michele Sebag - Inductive Logic Programming
Celine Rouveirol, Michele Sebag Inductive Logic Programming English 29.08.2001 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
José Luiz Fiadeiro, Pierre-Yves Schobbens - Recent Trends in Algebraic Development Techniques
José Luiz Fiadeiro, Pierre-Yves Schobbens Recent Trends in Algebraic Development Techniques English 24.04.2007 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
Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron - Membrane Computing
Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron Membrane Computing English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Barbara Paech, Colette Rolland - Requirements Engineering: Foundation for Software Quality
Barbara Paech, Colette Rolland Requirements Engineering: Foundation for Software Quality English 30.05.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Anu G. Bourgeois, Si Quing Zheng - Algorithms and Architectures for Parallel Processing
Anu G. Bourgeois, Si Quing Zheng Algorithms and Architectures for Parallel Processing English 29.05.2008 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
V. G. Ganzha, V.G. Ganzha, Victor G. Ganzha, E. W. Mayr, E.W. Mayr, E. V. Vorozhtsov... - Computer Algebra in Scientific Computing
V. G. Ganzha, V.G. Ganzha, Victor G. Ganzha, E. W. Mayr, E.W. Mayr, E. V. Vorozhtsov... Computer Algebra in Scientific Computing English 12.09.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Mario Bravetti, Leila Kloul, Gianluigi Zavattaro - Formal Techniques for Computer Systems and Business Processes
Mario Bravetti, Leila Kloul, Gianluigi Zavattaro Formal Techniques for Computer Systems and Business Processes English 25.08.2005 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