Languages
Subject
Format
Availabity
Authors

Search result

Frank Pfenning, Yannis Smaragdakis - Generative Programming and Component Engineering
Frank Pfenning, Yannis Smaragdakis Generative Programming and Component Engineering English 12.09.2003 Paperback / Softback Sold out
Stephan Diehl - Distributed Virtual Worlds
Stephan Diehl Distributed Virtual Worlds English 01.12.2010 Paperback / Softback Sold out
Coen van Gulijk, Floor Koornneef, Coen van Gulijk - Computer Safety, Reliability, and Security
Coen van Gulijk, Floor Koornneef, Coen van Gulijk Computer Safety, Reliability, and Security English 26.11.2015 Paperback / Softback Sold out
Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker - SDL 2015: Model-Driven Engineering for Smart Cities
Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker SDL 2015: Model-Driven Engineering for Smart Cities English 28.11.2015 Paperback / Softback Sold out
Stephen Cranefield, Samhar Mahmoud, Julian Padget, Ana Paula Rocha - Coordination, Organizations, Institutions, and Norms in Agent Systems XII
Stephen Cranefield, Samhar Mahmoud, Julian Padget, Ana Paula Rocha Coordination, Organizations, Institutions, and Norms in Agent Systems XII English 30.08.2017 Paperback / Softback Sold out
Francesco Ranzato - Static Analysis
Francesco Ranzato Static Analysis English 21.08.2017 Paperback / Softback Sold out
Alexander K. Petrenko, Andrei Voronkov - Perspectives of System Informatics
Alexander K. Petrenko, Andrei Voronkov Perspectives of System Informatics English 18.01.2018 Paperback / Softback Sold out
Dang Van Hung, Deepak Kapur - Theoretical Aspects of Computing - ICTAC 2017
Dang Van Hung, Deepak Kapur Theoretical Aspects of Computing - ICTAC 2017 English 17.09.2017 Paperback / Softback Sold out
Markus Lumpe, José Proença - Formal Aspects of Component Software
Markus Lumpe, José Proença Formal Aspects of Component Software English 14.09.2017 Paperback / Softback Sold out
Clark Barrett, Misty Davies, Temesghen Kahsai - NASA Formal Methods
Clark Barrett, Misty Davies, Temesghen Kahsai NASA Formal Methods English 09.04.2017 Paperback / Softback Sold out
Bronis R. de Supinski, Naoya Maruyama, Mohamed Wahib - OpenMP: Memory, Devices, and Tasks
Bronis R. de Supinski, Naoya Maruyama, Mohamed Wahib OpenMP: Memory, Devices, and Tasks English 21.09.2016 Paperback / Softback Sold out
Tran Khanh Dang, Josef Küng, Erich J. Neuhold, Makoto Takizawa, Nam Thoai, Roland Wagner - Future Data and Security Engineering
Tran Khanh Dang, Josef Küng, Erich J. Neuhold, Makoto Takizawa, Nam Thoai, Roland Wagner Future Data and Security Engineering English 01.11.2017 Paperback / Softback Sold out
Zhenhua Duan, Shaoying Liu - Structured Object-Oriented Formal Language and Method
Zhenhua Duan, Shaoying Liu Structured Object-Oriented Formal Language and Method English 13.03.2016 Paperback / Softback Sold out
Alberto Lluch Lafuente, José Proença - Coordination Models and Languages
Alberto Lluch Lafuente, José Proença Coordination Models and Languages English 27.06.2016 Paperback / Softback Sold out
John Criswell, Chen Ding, Peng Wu - Languages and Compilers for Parallel Computing
John Criswell, Chen Ding, Peng Wu Languages and Compilers for Parallel Computing English 20.01.2017 Paperback / Softback Sold out
Sandrine Blazy, Marsha Chechik - Verified Software. Theories, Tools, and Experiments
Sandrine Blazy, Marsha Chechik Verified Software. Theories, Tools, and Experiments English 08.11.2016 Paperback / Softback Sold out
Ivica Crnkovic, Elena Troubitsyna - Software Engineering for Resilient Systems
Ivica Crnkovic, Elena Troubitsyna Software Engineering for Resilient Systems English 26.08.2016 Paperback / Softback Sold out
Matteo Baldoni, Amit K. Chopra, Katsutoshi Hirayama, Tran Cao Son, Paolo Torroni - PRIMA 2016: Principles and Practice of Multi-Agent Systems
Matteo Baldoni, Amit K. Chopra, Katsutoshi Hirayama, Tran Cao Son, Paolo Torroni PRIMA 2016: Principles and Practice of Multi-Agent Systems English 10.08.2016 Paperback / Softback Sold out
Dorel Lucanu - Rewriting Logic and Its Applications
Dorel Lucanu Rewriting Logic and Its Applications English 18.08.2016 Paperback / Softback Sold out
Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems English 16.02.2017 Paperback / Softback Sold out