-
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems – 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
Gomes, Carla 2013 Springer Berlin Heidelberg
-
Genetic Programming – 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Krawiec, Krzysztof ; Moraglio, Alberto ; Hu, Ting ; Etaner-Uyar, A. Şima ; Hu, Bin 2013 Springer Berlin Heidelberg
-
Computer Science Logic – 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings
Marcinkowski, Jerzy 2004 Springer Berlin Heidelberg
-
Logic Program Synthesis and Transformation – Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991
Clement, Timothy C. 1992 Springer London
-
Tools and Algorithms for the Construction and Analysis of Systems – 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Piterman, Nir ; Smolka, Scott 2013 Springer Berlin Heidelberg
-
Functional Programming, Glasgow 1994 – Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994
Hammond, Kevin 1995 Springer London
-
Functional Programming, Glasgow 1990 – Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland
Peyton Jones, Simon L. 1991 Springer London
-
Facing the Multicore-Challenge III – Aspects of New Paradigms and Technologies in Parallel Computing
2013 Springer Berlin Heidelberg
-
Logical Foundations of Computer Science – International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Artemov, Sergei N. ; Nerode, Anil 2013 Springer Berlin Heidelberg
-
Generative and Transformational Techniques in Software Engineering IV – International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Lämmel, Ralf ; Saraiva, João ; Visser, Joost 2013 Springer Berlin Heidelberg
-
Unifying Theories of Programming – 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Wolff, Burkhart ; Gaudel, Marie-Claude ; Feliachi, Abderrahmane 2013 Springer Berlin Heidelberg
-
Logic Program Synthesis and Transformation – Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992
Lau, Kung-Kiu 1993 Springer London
-
Software Engineering im Scientific Computing – Beiträge eines Workshops in Hamburg 6.–8. Juni 1995
1996 Vieweg+Teubner Verlag
-
Simulation, Modeling, and Programming for Autonomous Robots – Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings
Noda, Itsuki ; Ando, Noriako ; Brugali, Davide ; Kuffner, James J. 2012 Springer Berlin Heidelberg
-
Principles and Practice of Constraint Programming – 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
Milano, Michela 2012 Springer Berlin Heidelberg
-
Logics in Artificial Intelligence – 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
Fariñas del Cerro, Luis ; Herzig, Andreas ; Mengin, Jérôme 2012 Springer Berlin Heidelberg
-
Inductive Logic Programming – 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers
Muggleton, Stephen H. ; Tamaddoni-Nezhad, Alireza ; Lisi, Francesca A. 2012 Springer Berlin Heidelberg
-
Logic-Based Program Synthesis and Transformation – 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Vidal, Germán 2012 Springer Berlin Heidelberg
-
Trends in Functional Programming – 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
Peña, Ricardo ; Page, Rex 2012 Springer Berlin Heidelberg
-
Generic and Indexed Programming – International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
Gibbons, Jeremy 2012 Springer Berlin Heidelberg