Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

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 Englisch 18.07.2018 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 29.09.2018 Taschenbuch Fr. 70.00 6-7 Wochen
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? Englisch 26.06.2019 Taschenbuch Fr. 70.00 6-7 Wochen
Magnus Myreen, Micha¿ Pa¿ka, Michal Palka, Michał Pałka - Trends in Functional Programming
Magnus Myreen, Micha¿ Pa¿ka, Michal Palka, Michał Pałka Trends in Functional Programming Englisch 24.04.2019 Taschenbuch Fr. 77.00 6-7 Wochen
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 Englisch 03.07.2019 Taschenbuch Fr. 82.00 6-7 Wochen
Lars Braubach, Loli Burgueño, Nima Kaviani, Manuel Lama, Naouel Moha, Juan M. Murillo... - Service-Oriented Computing - ICSOC 2017 Workshops
Lars Braubach, Loli Burgueño, Nima Kaviani, Manuel Lama, Naouel Moha, Juan M. Murillo... Service-Oriented Computing - ICSOC 2017 Workshops Englisch 16.06.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Alwyn Goodloe, Suzette Person - NASA Formal Methods
Alwyn Goodloe, Suzette Person NASA Formal Methods Englisch 27.03.2012 Taschenbuch Fr. 70.00 6-7 Wochen
Aaron Dutle, César Muñoz, Anthony Narkawicz - NASA Formal Methods
Aaron Dutle, César Muñoz, Anthony Narkawicz NASA Formal Methods Englisch 11.03.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Jean-Marie Jacquet, Mieke Massink - Coordination Models and Languages
Jean-Marie Jacquet, Mieke Massink Coordination Models and Languages Englisch 27.05.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Barbara Jobstmann, K. Rustan M. Leino - Verification, Model Checking, and Abstract Interpretation
Barbara Jobstmann, K. Rustan M. Leino Verification, Model Checking, and Abstract Interpretation Englisch 26.12.2015 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 29.06.2017 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 20.02.2013 Taschenbuch Fr. 70.00 6-7 Wochen
Roberto Bruni, Ugo Montanari, Donald Sannella - Trustworthy Global Computing
Roberto Bruni, Ugo Montanari, Donald Sannella Trustworthy Global Computing Englisch 22.11.2007 Taschenbuch Fr. 70.00 6-7 Wochen
Petra Perner - Advances in Data Mining. Applications and Theoretical Aspects
Petra Perner Advances in Data Mining. Applications and Theoretical Aspects Englisch 04.07.2017 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 17.08.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Reiko Heckel, Gabriele Taentzer - Graph Transformation, Specifications, and Nets
Reiko Heckel, Gabriele Taentzer Graph Transformation, Specifications, and Nets Englisch 07.02.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Andrei Paskevich, Thomas Wies - Verified Software. Theories, Tools, and Experiments
Andrei Paskevich, Thomas Wies Verified Software. Theories, Tools, and Experiments Englisch 15.12.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi - Recent Advances in Constraints
Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi Recent Advances in Constraints Englisch 27.07.2007 Taschenbuch Fr. 70.00 6-7 Wochen
Peter Bollen, Ioana Ciuciu, Christophe Debruyne, Robert Meersman, Hervé Panetto, Maria-Esther Vidal... - On the Move to Meaningful Internet Systems. OTM 2017 Workshops
Peter Bollen, Ioana Ciuciu, Christophe Debruyne, Robert Meersman, Hervé Panetto, Maria-Esther Vidal... On the Move to Meaningful Internet Systems. OTM 2017 Workshops Englisch 29.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Matteo Baldoni, M. Birna van Riemsdijk, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff - Declarative Agent Languages and Technologies V
Matteo Baldoni, M. Birna van Riemsdijk, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff Declarative Agent Languages and Technologies V Englisch 29.01.2008 Taschenbuch Fr. 70.00 6-7 Wochen