Filter

Software Engineering/Programming And Operating Systems

230 books found

Operational Semantics and Verification of Security Protocols
Operational Semantics and Verification of Security Protocols

by Cas Cremers

2012 2 ed.
Facing the Multicore-Challenge III
Facing the Multicore-Challenge III

by Rainer Keller

2013 2 ed.
Reflections on the History of Computing
Reflections on the History of Computing

by Arthur Tatnall

2012 2 ed.
Applied Parallel and Scientific Computing
Applied Parallel and Scientific Computing

by Kristján Jónasson

2012 2 ed.
Pattern Analysis and Understanding
Pattern Analysis and Understanding

by Heinrich Niemann

1990 2 ed.
Formal Methods for Components and Objects
Formal Methods for Components and Objects

by Bernhard Beckert

2013 2 ed.
Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software D...

by Donald Sannella

2012 2 ed.
Automated Deduction - A Basis for Applications
Automated Deduction - A Basis for Applications

by W. Bibel

1998 2 ed.
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis

by Supratik Chakraborty

2012 2 ed.
Distributed Applications and Interoperable Systems
Distributed Applications and Interoperable Systems

by Kostas Magoutis, Peter Pietzuch

2014 2 ed.
Euro-Par 2013 : Parallel Processing Workshops
Euro-Par 2013 : Parallel Processing Workshops

by Dieter an Mey, Michael Alexander

2014 2 ed.
Design Concepts for a Virtualizable Embedded MPSoC Architecture
Design Concepts for a Virtualizable Embedded MPSoC Architect...

by Alexander Biedermann

2014 2 ed.
Coordination Models and Languages
Coordination Models and Languages

by Eva Kühn, Rosario Pugliese

2014 2 ed.
Programming Multi-Agent Systems
Programming Multi-Agent Systems

by Rem Collier

2012 2 ed.
NASA Formal Methods
NASA Formal Methods

by Guillaume Brat

2013 2 ed.
Robust Data Mining
Robust Data Mining

by Petros Xanthopoulos

2012 2 ed.
ICT as Key Technology against Global Warming
ICT as Key Technology against Global Warming

by Axel Auweter

2012 2 ed.
Innovation and Future of Enterprise Information Systems
Innovation and Future of Enterprise Information Systems

by Felix Piazolo

2013 2 ed.
Aligning Business Processes and Information Systems
Aligning Business Processes and Information Systems

by Robert Heinrich

2014 2 ed.
Safe and Secure Software Reuse
Safe and Secure Software Reuse

by John Favaro, Maurizio Morisio

2013 2 ed.