21
Model Checking Software [E-Book] : 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings /

Full text 
Favorites
Saved in:
22
ECOOP 2001 — Object-Oriented Programming [E-Book] : 15th European Conference Budapest, Hungary, June 18–22, 2001 Proceedings /

Full text 
Favorites
Saved in:
23
Computational Science — ICCS 2001 [E-Book] : International Conference San Francisco, CA, USA, May 28–30, 2001 Proceedings, Part I /

Full text 
Favorites
Saved in:
24
Computational Science - ICCS 2001 [E-Book] : International Conference San Francisco, CA, USA, May 28—30, 2001 Proceedings, Part II /

Full text 
Favorites
Saved in:
25
Interactive Systems: Design, Specification, and Verification [E-Book] : 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers /

Full text 
Favorites
Saved in:
26
Conceptual Modeling — ER 2001 [E-Book] : 20th International Conference on Conceptual Modeling Yokohama, Japan, November 27–30, 2001 Proceedings /

Full text 
Favorites
Saved in:
27
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings /

Full text 
Favorites
Saved in:
28
High Performance Computing — HiPC 2001 [E-Book] : 8th International Conference Hyderabad, India, December 17–20, 2001 Proceedings /

Full text 
Favorites
Saved in:
29
Wavelet Analysis and Its Applications [E-Book] : Second International Conference, WAA 2001 Hong Kong, China, December 18–20, 2001 Proceedings /

Full text 
Favorites
Saved in:
30
Large-Scale Scientific Computing [E-Book] : Third International Conference, LSSC 2001 Sozopol, Bulgaria, June 6–10, 2001 Revised Papers /

Full text 
Favorites
Saved in:
31
Engineering for Human-Computer Interaction [E-Book] : 8th IFIP International Conference, EHCI 2001 Toronto, Canada, May 11–13, 2001 Revised Papers /

Full text 
Favorites
Saved in:
32
Transactional Agents [E-Book] : Towards a Robust Multi-Agent System /

Full text 
Favorites
Saved in:
33
Unifying Petri Nets [E-Book] : Advances in Petri Nets /

Full text 
Favorites
Saved in:
34
Applied Parallel Computing. New Paradigms for HPC in Industry and Academia [E-Book] : 5th International Workshop, PARA 2000 Bergen, Norway, June 18–20, 2000 Proceedings /

Full text 
Favorites
Saved in:
35
Applications and Theory of Petri Nets 2001 [E-Book] : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings /

Full text 
Favorites
Saved in:
36
Automated Reasoning [E-Book] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings /

Full text 
Favorites
Saved in:
37
Computer Aided Verification [E-Book] : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings /

Full text 
Favorites
Saved in:
38
Cryptographic Hardware and Embedded Systems — CHES 2001 [E-Book] : Third International Workshop Paris, France, May 14–16, 2001 Proceedings /

Full text 
Favorites
Saved in:
39
Parallel Computing Technologies [E-Book] : 6th International Conference, PaCT 2001 Novosibirsk, Russia, September 3–7, 2001 Proceedings /

Full text 
Favorites
Saved in:
40
Generative and Component-Based Software Engineering [E-Book] : Third International Conference, GCSE 2001 Erfurt, Germany, September 10–13, 2001 Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results