41
Compiler Construction [E-Book] : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings /
42
Fundamental Approaches to Software Engineering [E-Book] : 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings /
43
Foundations of Software Science and Computation Structures [E-Book] : 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, P /
44
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings /
45
Hybrid Systems: Computation and Control [E-Book] : 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings /
46
Concurrent Object-Oriented Programming and Petri Nets [E-Book] : Advances in Petri Nets /
47
High-Level Parallel Programming Models and Supportive Environments [E-Book] : 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings /
48
Vector and Parallel Processing — VECPAR 2000 [E-Book] : 4th International Conference Porto, Portugal, June 21–23, 2000 Selected Papers and Invited Talks /
49
Programs as Data Objects [E-Book] : Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings /
50
Reliable SoftwareTechnologies — Ada-Europe 2001 [E-Book] : 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14–18, 2001 Proceedings /
51
Model Checking Software [E-Book] : 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings /
52
ECOOP 2001 — Object-Oriented Programming [E-Book] : 15th European Conference Budapest, Hungary, June 18–22, 2001 Proceedings /
53
Advanced Information Systems Engineering [E-Book] : 13th International Conference, CAiSE 2001 Interlaken, Switzerland, June 4–8, 2001 Proceedings /
54
Engineering of Intelligent Systems [E-Book] : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest, Hungary, June 4–7, 2001 Proceedings /
55
Computational Science — ICCS 2001 [E-Book] : International Conference San Francisco, CA, USA, May 28–30, 2001 Proceedings, Part I /
56
Computational Science - ICCS 2001 [E-Book] : International Conference San Francisco, CA, USA, May 28—30, 2001 Proceedings, Part II /
57
Applications and Theory of Petri Nets 2001 [E-Book] : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings /
58
Automated Reasoning [E-Book] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings /
59
Software Process Technology [E-Book] : 8th European Workshop, EWSPT 2001 Witten, Germany, June 19–21, 2001 Proceedings /
60
Innovative Internet Computing Systems [E-Book] : International Workshop IICS 2001 Ilmenau, Germany, June 21–22, 2001 Proceedings /