Languages
Subject
Format
Availabity
Authors

Search result

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 English 24.04.2019 Paperback / Softback Fr. 77.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
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 English 16.06.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni - Programming Multi-Agent Systems
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni Programming Multi-Agent Systems English 23.02.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Gerwin Klein, Tobias Nipkow - Concrete Semantics
Gerwin Klein, Tobias Nipkow Concrete Semantics English 15.12.2014 Hardback Fr. 104.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
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
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
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
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
Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi - Recent Advances in Constraints
Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi Recent Advances in Constraints English 27.07.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Olivier Boissier, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Julian Padget... - Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems
Olivier Boissier, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Julian Padget... Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems English 26.06.2006 Paperback / Softback Fr. 70.00 6-7 weeks