Languages
Subject
Format
Availabity
Authors

Search result

A. Moreira - Early Aspects: Current Challenges and Future Directions
A. Moreira Early Aspects: Current Challenges and Future Directions English 14.12.2007 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Markus Lumpe, Wim Vanderperren - Software Composition
Markus Lumpe, Wim Vanderperren Software Composition English 13.12.2007 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders - Communicating Sequential Processes. The First 25 Years
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders Communicating Sequential Processes. The First 25 Years English 03.05.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol - Formal Methods: Applications and Technology
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol Formal Methods: Applications and Technology English 20.02.2007 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Francesco Ranzato - Static Analysis
Francesco Ranzato Static Analysis English 21.08.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Marieke Huisman, Julia Rubin - Fundamental Approaches to Software Engineering
Marieke Huisman, Julia Rubin Fundamental Approaches to Software Engineering English 22.03.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Clark Barrett, Misty Davies, Temesghen Kahsai - NASA Formal Methods
Clark Barrett, Misty Davies, Temesghen Kahsai NASA Formal Methods English 09.04.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Anthony Anjorin, Huáscar Espinoza - Modelling Foundations and Applications
Anthony Anjorin, Huáscar Espinoza Modelling Foundations and Applications English 20.06.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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 Fr. 69.00 1-2 weeks (title will be printed to order)
Simon Devitt, Ivan Lanese - Reversible Computation
Simon Devitt, Ivan Lanese Reversible Computation English 30.06.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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 Fr. 69.00 1-2 weeks (title will be printed to order)
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 Fr. 69.00 1-2 weeks (title will be printed to order)
Jonathan P. Bowen, Huibiao Zhu - Unifying Theories of Programming
Jonathan P. Bowen, Huibiao Zhu Unifying Theories of Programming English 11.01.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Santiago Escobar - Functional and Constraint Logic Programming
Santiago Escobar Functional and Constraint Logic Programming English 01.04.2010 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Miklos Biro, Michael Butler, Atif Mashkoor, Klaus-Dieter Schewe - Abstract State Machines, Alloy, B, TLA, VDM, and Z
Miklos Biro, Michael Butler, Atif Mashkoor, Klaus-Dieter Schewe Abstract State Machines, Alloy, B, TLA, VDM, and Z English 11.05.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Ivica Crnkovic, Elena Troubitsyna - Software Engineering for Resilient Systems
Ivica Crnkovic, Elena Troubitsyna Software Engineering for Resilient Systems English 26.08.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems English 23.04.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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 Fr. 69.00 1-2 weeks (title will be printed to order)
Dorel Lucanu - Rewriting Logic and Its Applications
Dorel Lucanu Rewriting Logic and Its Applications English 18.08.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Leonardo de Moura, Moa Johansson, Michael Kohlhase, Bruce Miller, Frank Toma, Frank Tompa - Intelligent Computer Mathematics
Leonardo de Moura, Moa Johansson, Michael Kohlhase, Bruce Miller, Frank Toma, Frank Tompa Intelligent Computer Mathematics English 12.07.2016 Paperback / Softback Fr. 58.50 1-2 weeks (title will be printed to order)