1
Theory and Practice of Algorithms in (Computer) Systems [E-Book] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings /
2
STACS 2000 [E-Book] : 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17–19, 2000 Proceedings /
3
Engineering Secure Software and Systems [E-Book] : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings /
4
Programming Languages and Systems (vol. # 3444) [E-Book] / 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8,
5
Automata, Languages and Programming (vol. # 3580) [E-Book] / 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
6
Generic Programming [E-Book] : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers /
7
Teaching Formal Methods [E-Book] : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /
8
Graph Transformations [E-Book] / Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
9
Programming Languages and Systems [E-Book] : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal.
10
High Performance Computing [E-Book] : 4th International Symposium, ISHPC 2002 Kansai Science City, Japan, May 15–17, 2002 Proceedings /
11
Cyberspace Security and Defense: Research Issues [E-Book] : Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004 /
12
Signal Processing, Image Processing and Pattern Recognition [E-Book] : International Conference, SIP 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings /
13
Conceptual Modeling - ER 2009 [E-Book] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings /
14
Programming Languages and Systems [E-Book] : 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings /
15
Information Processing in Sensor Networks [E-Book] : Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22–23, 2003 Proceedings /
16
Programming Languages and Systems [E-Book] : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proce /
17
Cloud Computing [E-Book] : First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings /
18
Engineering Secure Software and Systems [E-Book] : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings /
19
Database and XML Technologies [E-Book] : 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings /
20
Data Management in Grid and Peer-to-Peer Systems [E-Book] : Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings /