1
Principles of Distributed Systems [E-Book] : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings /
2
Relational Methods in Computer Science [E-Book] : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers /
3
Mathematics and Computation in Music [E-Book] : First International Conference, MCM 2007 Berlin, Germany, May 18–20, 2007 Revised Selected Papers /
4
Formal Grammar [E-Book] : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers /
5
High Performance Computational Science and Engineering [E-Book] : IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France /
6
Cryptology and Network Security [E-Book] : 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings /
7
Cryptography and Coding [E-Book] : 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings /
8
Rewriting Techniques and Applications [E-Book] : 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings /
9
Rewriting Techniques and Applications [E-Book] : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings /
10
Rewriting Techniques and Applications [E-Book] : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings /
11
Algebra and Coalgebra in Computer Science [E-Book] / First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
12
Formal Concept Analysis [E-Book] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings /
13
Functional and Constraint Logic Programming [E-Book] : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /
14
Mathematical Morphology: 40 Years On [E-Book] : Proceedings of the 7th International Symposium on Mathematical Morphology, April 18–20, 2005 /
15
Logic, Rationality, and Interaction [E-Book] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /
16
The Mathematics of Language [E-Book] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings /
17
Computer Science Logic [E-Book] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /
18
Mathematics and Computation in Music [E-Book] : Second International Conference, MCM 2009, John Clough Memorial Conference New Haven, CT, USA, June 19-22, 2009. Proceedings /
19
Developments in Language Theory (vol. # 4036) [E-Book] / 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
20
Developments in Language Theory [E-Book] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /