1
High Performance Networking, Computing, Communication Systems, and Mathematical Foundations [E-Book] : International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings /
2
Computational Logic in Multi-Agent Systems [E-Book] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /
3
Mathematical Foundations of Computer Science 2004 [E-Book] : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, 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
Teaching Formal Methods [E-Book] : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /
6
Mathematical Foundations of Computer Science 2005 [E-Book] / 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
7
Theoretical Computer Science (vol. # 3701) [E-Book] / 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
8
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 /
9
Graph Transformations [E-Book] : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings /
10
STACS 2007 [E-Book] : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /
11
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.
12
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues [E-Book] : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers /
13
Experimental Algorithms [E-Book] : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings /
14
Mathematical Foundations of Computer Science 2006 [E-Book] / 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings
15
Graph Transformations [E-Book] / Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
16
Mathematical Foundations of Computer Science 2009 [E-Book] : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings /
17
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics [E-Book] : Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings /
18
Generic Programming [E-Book] : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers /
19
Theoretical Computer Science [E-Book] : 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings /
20
Programming Languages and Systems [E-Book] : 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /