Home Advanced Search

Advanced Search - Page 1

Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Robin Milner (auth.), Martín Abadi, Takayasu Ito (eds.)
Parallel Symbolic Computing: Languages, Systems, and Applications: US/Japan Workshop Cambridge, MA, USA, October 14–17, 1992 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Robert H. Halstead Jr., Takayasu Ito (auth.), Robert H. Halstead Jr., Takayasu Ito (eds.)
ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Martín Abadi (auth.), Luca Cardelli (eds.)
Concurrency: Theory, Language, and Architecture: UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Colin Stirling (auth.), Akinori Yonezawa, Takayasu Ito (eds.)
Theory and Practice of Parallel Programming: International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Vaughan Pratt (auth.), Takayasu Ito, Akinori Yonezawa (eds.)
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.)
Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014
  • PDF
  • English
  • Year: 2015
  • Author: Hideki Takayasu, Nobuyasu Ito, Itsuki Noda, Misako Takayasu (eds.)
Parallel Symbolic Languages and Systems: International Workshop PSLS'95 Beaune, France, October 2–4, 1995 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Marc Feeley (auth.), Takayasu Ito, Robert H. Halstead Jr., Christian Queinnec (eds.)
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.)
Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Martín Abadi, Steve Kremer (eds.)
search