Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Synchronous Programming of Reactive Systems
  • PDF
  • English
  • Year: 1993
  • Author: Nicolas Halbwachs (auth.)
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.)
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.)
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Manindra Agrawal, P. S. Thiagarajan (auth.), Rajeev Alur, George J. Pappas (eds.)
Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.)
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: Nicolas Halbwachs (auth.), Alan J. Hu, Moshe Y. Vardi (eds.)
search