1
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [E-Book] / 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Brazil, October 23-27, 2006
2
Advances in Computing Science — ASIAN 2000 [E-Book] : 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings /
3
Agent Computing and Multi-Agent Systems [E-Book] : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers /
4
Algorithmic Learning Theory [E-Book] : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings /
5
Automata for Branching and Layered Temporal Structures [E-Book] : An Investigation into Regularities of Infinite Transition Systems /
6
Computer Science Logic [E-Book] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
7
Developments in Language Theory [E-Book] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings /
8
Developments in Language Theory [E-Book] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings /
9
Distributed, Parallel and Biologically Inspired Systems [E-Book] : 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
10
Finite-State Methods and Natural Language Processing [E-Book] : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers /
11
Finite-State Methods and Natural Language Processing [E-Book] : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers /
12
Foundations of Information and Knowledge Systems [E-Book] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings /
13
Frontiers of Combining Systems [E-Book] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings /
14
Frontiers of Combining Systems [E-Book] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings /
15
Language and Automata Theory and Applications [E-Book] : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings /
16
Logic and Its Applications [E-Book] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings /
17
Principles and Practice of Constraint Programming – CP 2011 [E-Book] : 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings /
18
Proof Theory in Computer Science [E-Book] : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings /
19
Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers [E-Book] /
20
Recent Advances in Constraints [E-Book] : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers /