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
Engineering Secure Software and Systems [E-Book] : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings /
3
Advances in Communication and Networking [E-Book] : Second International Conference on Future Generation Communication and Networking, FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers /
4
Programming Languages and Systems (vol. # 3924) [E-Book] / 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European
5
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.
6
Teaching Formal Methods [E-Book] : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /
7
Automata, Languages and Programming [E-Book] : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 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
Future Multimedia Networking [E-Book] : Third International Workshop, FMN 2010, Kraków, Poland, June 17-18, 2010. Proceedings /
10
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,
11
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 /
12
Data Management in Grid and Peer-to-Peer Systems [E-Book] : Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings /
13
Applications of Graph Transformations with Industrial Relevance [E-Book] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers /
14
Automata, Languages and Programming [E-Book] : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings /
15
Graph Transformations [E-Book] : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings /
16
Euro-Par 2001 Parallel Processing [E-Book] : 7th International Euro-Par Conference Manchester, UK, August 28–31, 2001 Proceedings /
17
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 /
18
Distributed Computing [E-Book] : 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings /
19
Ad-Hoc, Mobile and Wireless Networks [E-Book] : 8th International Conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009 Proceedings /
20
Modular Ontologies [E-Book] : Concepts, Theories and Techniques for Knowledge Modularization /