Home Advanced Search

Advanced Search - Page 1

NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992
  • PDF
  • English
  • Year: 1993
  • Author: Jens Chr. Godskesen, Kim G. Larsen (auth.), S. Purushothaman PhD, Amy Zwarico (eds.)
Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Jens Chr. Godskesen (auth.), Dave Clarke, Gul Agha (eds.)
Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Jens Chr. Godskesen (auth.), Dave Clarke, Gul Agha (eds.)
Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Colin Sterling (auth.), Kim G. Larsen, Arne Skou (eds.)
Index Biologorum: Inverstigatores · Laboratoria Periodica
  • PDF
  • German
  • Year: 1928
  • Author: G. Chr. Hirsch (auth.), G. Chr. Hirsch (eds.)
CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Parosh Aziz Abdulla, Bengt Jonsson (auth.), Kim G. Larsen, Mogens Nielsen (eds.)
Bone Marrow-Derived Progenitors
  • PDF
  • English
  • Year: 2007
  • Author: J. -P. Lévesque, I. G. Winkler, S. R. Larsen, J. E. J. Rasko (auth.), Katalin Kauser MD, PhD, DSc, Andreas-Michael Zeiher MD (eds.)
Progress in system and robot analysis and control design
  • PDF
  • English
  • Year: 1999
  • Author: T. Kaczorek (auth.), S. G. Tzafestas PhD, G. Schmidt PhD (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 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: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 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: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)
search