-
Programming Languages and Systems – 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Gordon, Andrew D. 2010 Springer International Publishing
-
Automata, Languages and Programming – 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
2009 Springer Berlin Heidelberg
-
Automata, Languages and Programming – 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Albers, Susanne 2009 Springer Berlin Heidelberg
-
Reflecting on human language through computer languages
Kageura, Kyo
-
W. Brian Arthur: The nature of technology: what it is and how it evolves – New York, Free Press, 2009, 256 pp.
Ozman, Muge
-
Fundamental Approaches to Software Engineering – 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
2017 Springer International Publishing
-
Automata, Languages, and Programming – 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
2015 Springer International Publishing
-
Automata, Languages, and Programming – 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
2015 Springer International Publishing
-
Practical Aspects of Declarative Languages – 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Pontelli, Enrico ; Son, Tran Cao 2015 Springer International Publishing
-
Programming Languages and Systems – 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
2015 Springer International Publishing
-
Trends in Functional Programming – 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
Hage, Jurriaan ; McCarthy, Jay 2015 Springer International Publishing
-
Engineering Multi-Agent Systems – Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers
Cossentino, Massimo ; El Fallah Seghrouchni, Amal ; Winikoff, Michael 2014 Springer International Publishing
-
Concurrent Objects and Beyond – Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Agha, Gul ; Yonezawa, Akinori ; Igarashi, Atsushi ; Kobayashi, Naoki ; Masuhara, Hidehiko ; Matsuoka, Satoshi ; Shibayama, Etsuya ; Taura, Kenjiro 2014 Springer Berlin Heidelberg
-
Automata, Languages, and Programming – 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
2014 Springer Berlin Heidelberg
-
Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
-
Programming Languages and Systems – 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Shao, Zhong 2014 Springer Berlin Heidelberg
-
Software Engineering and Formal Methods – SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Counsell, Steve ; Núñez, Manuel 2014 Springer International Publishing
-
Engineering Multi-Agent Systems – First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
2013 Springer International Publishing
-
Practical Aspects of Declarative Languages – 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Programming Languages – 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
Rauber du Bois, André ; Trinder, Phil 2013 Springer Berlin Heidelberg