-
Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
-
Programming Multi-Agent Systems – 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers
2010 Springer Berlin Heidelberg
-
Formal Methods for Open Object-Based Distributed Systems – 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
Barthe, Gilles 2005 Springer Berlin Heidelberg
-
Methods and Tools of Parallel Programming Multicomputers – Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers
Hsu, Ching-Hsien 2011 Springer Berlin Heidelberg
-
Generative Programming and Component Engineering – Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings
Glück, Robert 2004 Springer Berlin Heidelberg
-
Distributed Computing – 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-7, 2004. Proceedings
Guerraoui, Rachid 2004 Springer Berlin Heidelberg
-
Parallel Problem Solving from Nature - PPSN VIII – 8th International Conference, Birmingham, UK, September 18-22, 2004. Proceedings
Yao, Xin 2004 Springer Berlin Heidelberg
-
Logics in Artificial Intelligence – 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings
Alferes, José Júlio 2004 Springer Berlin Heidelberg
-
Inductive Logic Programming – 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004. Proceedings
Camacho, Rui 2004 Springer Berlin Heidelberg
-
Principles of Distributed Systems – 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers
Lu, Chenyang ; Masuzawa, Toshimitsu ; Mosbah, Mohamed 2004 Springer Berlin Heidelberg
-
Logic Programming – 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings
Demoen, Bart 2004 Springer Berlin Heidelberg
-
Parallel Problem Solving from Nature – PPSN XI – 11th International Conference, Kraków, Poland, September 11-15, 2010, Proceedings, Part I
Schaefer, Robert 2011 Springer Berlin Heidelberg
-
Parallel Problem Solving from Nature – PPSN XI – 11th International Conference, Kraków, Poland, September 11-15, 2010. Proceedings, Part II
Rudolph, Günter 2011 Springer Berlin Heidelberg
-
Logics in Artificial Intelligence – 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
Janhunen, Tomi 2010 Springer Berlin Heidelberg
-
Principles and Practice of Constraint Programming - CP 2010 – 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
Cohen, David 2010 Springer Berlin Heidelberg
-
Modular Programming Languages – Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. Proceedings
Lightfoot, David E. 2000 Springer Berlin Heidelberg
-
Logic-Based Program Synthesis and Transformation – 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers
Bossi, Annalisa 2000 Springer Berlin Heidelberg
-
Programming Multi-Agent Systems – First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited papers
Dastani, Mehdi 2004 Springer Berlin Heidelberg
-
Unifying Theories of Programming – Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Qin, Shengchao 2010 Springer Berlin Heidelberg
-
Declarative Agent Languages and Technologies – First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
Baldoni, Matteo 2004 Springer Berlin Heidelberg