1
Principles of Distributed Systems [E-Book] : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings /
2
Automated Deduction in Geometry [E-Book] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers /
3
Logic, Rationality, and Interaction [E-Book] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /
4
Models of Computation in Context [E-Book] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings /
5
Graph Drawing [E-Book] : 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers /
6
Logic, Language, Information and Computation [E-Book] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings /
7
Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
8
Cryptography and Coding [E-Book] : 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings /
9
Pairing-Based Cryptography – Pairing 2007 [E-Book] : First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings /
10
Pairing-Based Cryptography – Pairing 2009 [E-Book] : Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings /
11
Arithmetic of Finite Fields [E-Book] : Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings /
12
Formal Concept Analysis (vol. # 3874) [E-Book] / 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings
13
Computer Algebra in Scientific Computing [E-Book] : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings /
14
Cryptography and Lattices [E-Book] : International Conference, CaLC 2001 Providence, RI, USA, March 29–30, 2001 Revised Papers /
15
Advanced Encryption Standard - AES [E-Book] / 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers
16
Computer Algebra in Scientific Computing (vol. # 3718) [E-Book] / 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
17
Comparative Genomics [E-Book] : International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings /
18
Mathematics of Surfaces XI [E-Book] / 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings
19
Algorithmic Decision Theory [E-Book] : First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings /
20
Parameterized and Exact Computation [E-Book] : 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers /