Home Advanced Search

Advanced Search - Page 1

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.)
Algorithms - ESA 2003: 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Bernard Chazelle (auth.), Giuseppe Di Battista, Uri Zwick (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.)
From Model-Driven Design to Resource Management for Distributed Embedded Systems: IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11–13, 2006, Braga, Portugal
  • PDF
  • English
  • Year: 2006
  • Author: Wayne Wolf (auth.), Bernd Kleinjohann, Lisa Kleinjohann, Ricardo J. Machado, Carlos E. Pereira, P. S. Thiagarajan (eds.)