1
Stabilization, Safety, and Security of Distributed Systems [E-Book] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings /

Full text 
Favorites
Saved in:
2
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [E-Book] : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
3
Systems, Software and Services Process Improvement [E-Book] : 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings /

Full text 
Favorites
Saved in:
4
Model Checking Software [E-Book] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /

Full text 
Favorites
Saved in:
5
Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /

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

Full text 
Favorites
Saved in:
7
Component Deployment [E-Book] / Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings

Full text 
Favorites
Saved in:
8
Principles of Distributed Systems (vol. # 3544) [E-Book] / 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

Full text 
Favorites
Saved in:
9
Middleware 2005 [E-Book] / ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings

Full text 
Favorites
Saved in:
10
Interactive Multimedia and Next Generation Networks [E-Book] : Second International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2004, Grenoble, France, November 16-19, 2004, Proceedings /

Full text 
Favorites
Saved in:
11
Embedded Software [E-Book] : Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings /

Full text 
Favorites
Saved in:
12
ZB 2002:Formal Specification and Development in Z and B [E-Book] : 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings /

Full text 
Favorites
Saved in:
13
Fundamental Approaches to Software Engineering [E-Book] : 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /

Full text 
Favorites
Saved in:
14
Programming Languages and Systems [E-Book] : 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /

Full text 
Favorites
Saved in:
15
Foundations of Software Science and Computation Structures [E-Book] : 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /

Full text 
Favorites
Saved in:
16
Compiler Construction [E-Book] : 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /

Full text 
Favorites
Saved in:
17
Model Checking Software [E-Book] : 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings /

Full text 
Favorites
Saved in:
18
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /

Full text 
Favorites
Saved in:
19
Hybrid and Real-Time Systems [E-Book] : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results