Home Advanced Search

Advanced Search - Page 1

Foundation of Software Technology and Theoretical Computer Science: 14th Conference Madras, India, December 15–17, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Dexter Kozen (auth.), P. S. Thiagarajan (eds.)
Foundation of Software Technology and Theoretical Computer Science: 14th Conference Madras, India, December 15–17, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Dexter Kozen (auth.), P. S. Thiagarajan (eds.)
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Greg Nelson (auth.), Dexter Kozen (eds.)
Logic of Programs: Workshop, ETH Zürich, May–July 1979
  • PDF
  • English
  • Year: 1981
  • Author: Dexter Kozen (auth.), Erwin Engeler (eds.)
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983
  • PDF
  • English
  • Year: 1984
  • Author: Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)
Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Ralph-Johan Back (auth.), Susanna Donatelli, P. S. Thiagarajan (eds.)
Logics of Programs: Workshop, Yorktown Heights, New York, May 1981
  • PDF
  • English
  • Year: 1982
  • Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
Foundations of Software Technology and Theoretical Computer Science: 15th Conference Bangalore, India, December 18–20, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Mike Paterson, Shlomit Tassa, Uri Zwick (auth.), P. S. Thiagarajan (eds.)
Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Joost-Pieter Katoen (auth.), Jean-François Raskin, P. S. Thiagarajan (eds.)
Advances in Computing Science — ASIAN’99: 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Nicolas Halbwachs, Pascal Raymond (auth.), P. S. Thiagarajan, Roland Yap (eds.)
search