-
Automata, Languages, and Programming – 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I
2013 Springer Berlin Heidelberg
-
Automata, Languages, and Programming – 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
Fomin, Fedor V. ; Freivalds, Rusins ; Kwiatkowska, Marta Z. ; Peleg, David 2013 Springer Berlin Heidelberg
-
Programming Languages and Systems – Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings
Chin, Wei-Ngan 2004 Springer Berlin Heidelberg
-
Declarative Agent Languages and Technologies X – 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Baldoni, Matteo ; Dennis, Louise ; Mascardi, Viviana ; Vasconcelos, Wamberto 2013 Springer Berlin Heidelberg
-
Languages and Compilers for Parallel Computing – 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Kasahara, Hironori ; Kimura, Keiji 2013 Springer Berlin Heidelberg
-
Language and Automata Theory and Applications – 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Dediu, Adrian-Horia ; Martín-Vide, Carlos ; Truthe, Bianca 2013 Springer Berlin Heidelberg
-
Programming Languages and Systems – 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Felleisen, Matthias ; Gardner, Philippa 2013 Springer Berlin Heidelberg
-
Programming Languages and Systems – 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
Jhala, Ranjit ; Igarashi, Atsushi 2012 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
-
Implementation and Application of Functional Languages – 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
Gill, Andy ; Hage, Jurriaan 2012 Springer Berlin Heidelberg
-
Programming Languages – 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Carvalho Junior, Francisco Heron de ; Barbosa, Luís Soares 2012 Springer Berlin Heidelberg
-
DNA Computing and Molecular Programming – 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings
Stefanovic, Darko ; Turberfield, Andrew 2012 Springer Berlin Heidelberg
-
Programming Multi-Agent Systems – 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers
Dastani, Mehdi ; Hübner, Jomi F. ; Logan, Brain 2012 Springer Berlin Heidelberg
-
Automata, Languages, and Programming – 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
2012 Springer Berlin Heidelberg
-
Automata, Languages, and Programming – 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
Czumaj, Artur ; Mehlhorn, Kurt ; Pitts, Andrew ; Wattenhofer, Roger 2012 Springer Berlin Heidelberg
-
Experimental Algorithms – 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings
Klasing, Ralf 2012 Springer Berlin Heidelberg
-
Advances in Software Engineering Techniques – 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
Szmuc, Tomasz ; Szpyrka, Marcin ; Zendulka, Jaroslav 2012 Springer Berlin Heidelberg
-
Programming Multi-Agent Systems – 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers
Collier, Rem ; Dix, Jürgen ; Novák, Peter 2012 Springer Berlin Heidelberg
-
Programming Languages and Systems – 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Vitek, Jan 2012 Springer Berlin Heidelberg
-
Practical Aspects of Declarative Languages – 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
2012 Springer Berlin Heidelberg