1
Formal Methods for Components and Objects [E-Book] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
2
NASA Formal Methods [E-Book] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
3
Understanding Concurrent Systems [E-Book] /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
4
Formal Methods for Components and Objects [E-Book] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
5
Runtime Verification [E-Book] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
6
Object-Oriented Technology. ECOOP 2008 Workshop Reader [E-Book] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
7
Experimental Algorithms [E-Book] : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
8
Component-Based Software Engineering [E-Book] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
9
Job Scheduling Strategies for Parallel Processing [E-Book] : 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
10
Formal Methods for Components and Objects [E-Book] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
11
Principles of the Spin Model Checker [E-Book] /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
12
A Modular Calculus for the Average Cost of Data Structuring [E-Book] /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
13
Verified Software: Theories, Tools, Experiments [E-Book] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
14
Distributed Applications and Interoperable Systems [E-Book] / 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
15
Formal Methods for Open Object-Based Distributed Systems [E-Book] / 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
16
Cryptographic Hardware and Embedded Systems - CHES 2007 [E-Book] : 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
17
Foundations of Security Analysis and Design IV [E-Book] : FOSAD 2006/2007 Tutorial Lectures /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
18
Programming Languages and Systems [E-Book] : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
19
Formal Methods for Components and Objects [E-Book] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:
20
Formal Techniques for Networked and Distributed Systems – FORTE 2007 [E-Book] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /
Subject (ZB): “...Operating systems (Computers)...”

Full text 
Favorites
Saved in:

Narrow Search Results