-
Practical Aspects of Declarative Languages – 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
Russo, Claudio ; Zhou, Neng-Fa 2011 Springer Berlin Heidelberg
-
Foundations of Software Science and Computational Structures – 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Sassone, Vladimiro 2005 Springer Berlin Heidelberg
-
Programming Languages and Systems – 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Sagiv, Mooly 2005 Springer Berlin Heidelberg
-
Central European Functional Programming School – Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures
Horváth, Zoltán ; Plasmeijer, Rinus ; Zsók, Viktória 2010 Springer Berlin Heidelberg
-
Programming Languages and Systems – 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
Barthe, Gilles 2010 Springer Berlin Heidelberg
-
Advances in Artificial Intelligence – IBERAMIA 2010 – 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedings
2010 Springer Berlin Heidelberg
-
HCI in Work and Learning, Life and Leisure – 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings
Leitner, Gerhard ; Hitz, Martin ; Holzinger, Andreas 2010 Springer Berlin Heidelberg
-
Advances in Artificial Intelligence – SBIA 2010 – 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings
Kuri-Morales, Angel ; Simari, Guillermo R. 2011 Springer Berlin Heidelberg
-
Current Trends in Web Engineering – 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers
Daniel, Florian ; Facca, Federico Michele 2010 Springer Berlin Heidelberg
-
Automata, Languages and Programming – 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings
Díaz, Josep 2004 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
-
Automata, Languages and Programming – 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Abramsky, Samson 2010 Springer Berlin Heidelberg
-
Practical Aspects of Declarative Languages – 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
Rocha, Ricardo ; Launchbury, John 2005 Springer Berlin Heidelberg
-
Formal Methods for Quantitative Aspects of Programming Languages – 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Aldini, Alessandro 2010 Springer Berlin Heidelberg
-
Languages and Compilers for Parallel Computing – 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers
Cooper, Keith ; Mellor-Crummey, John ; Sarkar, Vivek 2010 Springer Berlin Heidelberg
-
Programming languages and systems – proceedings
Castagna, Giuseppe 2009 Springer
-
Programming languages and systems – 6th Asian symposium ; proceedings
Ramalingam, Ganesan 2008 Springer
-
Programming languages and systems – proceedings
Drossopoulou, Sophia 2008 Springer
-
Automata, languages and programming – 34th international colloquium ; proceedings
Arge, Lars 2007 Springer
-
Programming languages and systems – 5th Asian symposium ; proceedings
Shao, Zhong 2007 Springer