Home Advanced Search

Advanced Search - Page 1

Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Jan Vitek (auth.), Ranjit Jhala, Atsushi Igarashi (eds.)
Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Atsushi Igarashi (eds.)
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)
Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Philipp Klaus Krause (auth.), Ranjit Jhala, Koen De Bosschere (eds.)
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
  • PDF
  • English
  • Year: 2015
  • Author: Jan Vitek (eds.)
Mobile Object Systems Towards the Programmable Internet: Second International Workshop, MOS'96 Linz, Austria, July 8–9, 1996 Selected Presentations and Invited Papers
  • DJVU
  • English
  • Year: 1997
  • Author: Luca Cardelli (auth.), Jan Vitek, Christian Tschudin (eds.)
Objects, Models, Components, Patterns: 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Juan de Lara, Esther Guerra (auth.), Jan Vitek (eds.)
Object-Oriented Technology ECOOP 2002 Workshop Reader: ECOOP 2002 Workshops and Posters Málaga, Spain, June 10–14, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Grzegorz Czajkowski, Jan Vitek (auth.), Juan Hernández, Ana Moreira (eds.)
Coordination Models and Languages: 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Elena Simperl, Reto Krummenacher, Lyndon Nixon (auth.), Amy L. Murphy, Jan Vitek (eds.)
search