1
Principles of Distributed Systems [E-Book] : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings /
2
Formal Concept Analysis [E-Book] : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings /
3
Automated Deduction in Geometry [E-Book] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers /
4
Formal Concept Analysis [E-Book] : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings /
5
Principles of Distributed Systems [E-Book] : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings /
6
Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
7
Formal Concept Analysis [E-Book] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings /
8
Formal Concept Analysis [E-Book] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings /
9
Artificial Intelligence and Symbolic Computation [E-Book] / 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
10
Formal Concept Analysis (vol. # 3874) [E-Book] / 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings
11
Relational Methods in Computer Science [E-Book] / 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin
12
Relational and Kleene-Algebraic Methods in Computer Science [E-Book] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 20 /
13
Artificial Intelligence and Symbolic Computation [E-Book] : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings /
14
Artificial Intelligence, Automated Reasoning, and Symbolic Computation [E-Book] : Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings /