101
Lectures on Petri Nets I: Basic Models [E-Book] : Advances in Petri Nets /

Full text 
Favorites
Saved in:
102
Lectures on Petri Nets II: Applications [E-Book] : Advances in Petri Nets /

Full text 
Favorites
Saved in:
103
Logics of Specification Languages [E-Book] /

Full text 
Favorites
Saved in:
104
Mathematical Foundations of Computer Science 1997 [E-Book] : 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings /

Full text 
Favorites
Saved in:
105
Modeling and Verification of Parallel Processes [E-Book] : 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures /

Full text 
Favorites
Saved in:
106
Modelling Autonomic Communication Environments [E-Book] : 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings /

Full text 
Favorites
Saved in:
107
Modelling Distributed Systems [E-Book] /

Full text 
Favorites
Saved in:
108
Models of Computation [E-Book] : An Introduction to Computability Theory /

Full text 
Favorites
Saved in:
109
OpenMP Shared Memory Parallel Programming [E-Book] : International Workshop on OpenMP Applications and Tools, WOMPAT 2001 West Lafayette, IN, USA, July 30–31, 2001 Proceedings /

Full text 
Favorites
Saved in:
110
OpenMP Shared Memory Parallel Programming [E-Book] : International Workshop on OpenMP Applications and Tools, WOMPAT 2003 Toronto, Canada, June 26–27, 2003 Proceedings /

Full text 
Favorites
Saved in:
111
Parallel and Distributed Processing [E-Book] : 10th International IPPS/SPDP'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Flori /

Full text 
Favorites
Saved in:
112
Parallel and Distributed Processing [E-Book] : 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, Ap /

Full text 
Favorites
Saved in:
113
Parallel and Distributed Processing [E-Book] : 15 IPDPS 2000 Workshops Cancun, Mexico, May 1–5, 2000 Proceedings /

Full text 
Favorites
Saved in:
114
Parallel and Distributed Processing and Applications [E-Book] : International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2–4, 2003 Proceedings /

Full text 
Favorites
Saved in:
115
Perspectives on Soviet and Russian Computing [E-Book] : First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers /

Full text 
Favorites
Saved in:
116
Petri Nets and Other Models of Concurrency - ICATPN 2006 [E-Book] / 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings

Full text 
Favorites
Saved in:
117
Petri Nets and Other Models of Concurrency - ICATPN 2007 [E-Book] / 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceeding

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

Full text 
Favorites
Saved in:
119
Programming Languages and Systems [E-Book] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

Full text 
Favorites
Saved in:
120
Search Computing [E-Book] : Challenges and Directions /

Full text 
Favorites
Saved in:

Narrow Search Results