1
Formal Methods for Components and Objects [E-Book] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Full text 
Favorites
Saved in:
2
Job Scheduling Strategies for Parallel Processing [E-Book] : IPPS '97 Workshop, Geneva, Switzerland, April 5, 1997, Proceedings /

Full text 
Favorites
Saved in:
3
Job Scheduling Strategies for Parallel Processing (vol. # 3834) [E-Book] / 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:
4
Distributed Applications and Interoperable Systems [E-Book] / 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings

Full text 
Favorites
Saved in:
5
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

Full text 
Favorites
Saved in:
6
Formal Methods for Components and Objects [E-Book] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /

Full text 
Favorites
Saved in:
7
Foundations of Security Analysis and Design III [E-Book] / FOSAD 2004/2005 Tutorial Lectures

Full text 
Favorites
Saved in:
8
Runtime Verification [E-Book] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

Full text 
Favorites
Saved in:
9
Job Scheduling Strategies for Parallel Processing [E-Book] : IPPS/SPDP’99Workshop, JSSPP’99 San Juan, Puerto Rico, April 16, 1999 Proceedings /

Full text 
Favorites
Saved in:
10
Principles of the Spin Model Checker [E-Book] /

Full text 
Favorites
Saved in:
11
Foundations of Security Analysis and Design IV [E-Book] : FOSAD 2006/2007 Tutorial Lectures /

Full text 
Favorites
Saved in:
12
Object-Oriented Technology. ECOOP 2008 Workshop Reader [E-Book] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /

Full text 
Favorites
Saved in:
13
Experimental Algorithms [E-Book] : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings /

Full text 
Favorites
Saved in:
14
Component-Based Software Engineering [E-Book] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /

Full text 
Favorites
Saved in:
15
Embedded Software [E-Book] : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings /

Full text 
Favorites
Saved in:
16
Formal Methods for Open Object-Based Distributed Systems [E-Book] : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings /

Full text 
Favorites
Saved in:
17
Programming Languages and Systems [E-Book] : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings /

Full text 
Favorites
Saved in:
18
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems [E-Book] : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers /

Full text 
Favorites
Saved in:
19
Component Deployment [E-Book] : Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings /

Full text 
Favorites
Saved in:
20
Modular Programming Languages [E-Book] : Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results