1
Advances in Systems, Computing Sciences and Software Engineering [E-Book] : Proceedings of SCSS05 /
2
Applied Parallel Computing. Large Scale Scientific and Industrial Problems [E-Book] : 4th International Workshop, PARA'98, Umea, Sweden, June 14-17, 1998, Proceedings /
3
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 /
4
Applied Parallel Computing. State of the Art in Scientific Computing [E-Book] : 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers /
5
Autonomous Systems – Self-Organization, Management, and Control [E-Book] : Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008 /
6
Communication Technologies for Vehicles [E-Book] : Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings /
7
Computational Science — ICCS 2001 [E-Book] : International Conference San Francisco, CA, USA, May 28–30, 2001 Proceedings, Part I /
8
Computational Science - ICCS 2001 [E-Book] : International Conference San Francisco, CA, USA, May 28—30, 2001 Proceedings, Part II /
9
Computer Aided Systems Theory - EUROCAST '97 [E-Book] : A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings /
10
Computer Aided Systems Theory - EUROCAST'99 [E-Book] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings /
11
Correct Hardware Design and Verification Methods [E-Book] : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings /
12
FM’99 — Formal Methods [E-Book] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I /
13
Graph Drawing [E-Book] : 6th International Symposium, GD’ 98 Montréal, Canada, August 13–15, 1998 Proceedings /
14
High-Performance Computing and Networking [E-Book] : 9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings /
15
High-Performance Computing and Networking [E-Book] : International Conference and Exhibition, Amsterdam, The Netherlands, April 21-23, 1998, Proceedings /
16
Human Interaction with Machines [E-Book] : Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, March 15–16, 2005 /
17
Hybrid Systems: Computation and Control [E-Book] : 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings /
18
Large-Scale Scientific Computing [E-Book] : Third International Conference, LSSC 2001 Sozopol, Bulgaria, June 6–10, 2001 Revised Papers /
19
Nano-Net [E-Book] : 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009. Proceedings /
20
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems [E-Book] : Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 /