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.)
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.)
Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Jean-Baptiste Jeannin, Dexter Kozen (auth.), Martin Kutrib, Nelma Moreira, Rogério Reis (eds.)
Automata and Computability
  • PDF
  • English
  • Year: 2012
  • Author: Dexter C. Kozen
Automata and Computability (Undergraduate Texts in Computer Science)
  • PDF
  • English
  • Year: 2012
  • Author: Dexter C. Kozen
The Design and Analysis of Algorithms (Monographs in Computer Science)
  • PDF
  • English
  • Year: 1991
  • Author: Dexter C. Kozen
Theory of Computation
  • PDF
  • English
  • Year: 2006
  • Author: Dexter C. Kozen
Automata and Computability
  • DJVU
  • English
  • Year: 1997
  • Author: Dexter C. Kozen
Transactions on Petri Nets and Other Models of Concurrency VII
  • PDF
  • English
  • Year: 2013
  • Author: Wolfgang Reisig, Grzegorz Rozenberg, P. S. Thiagarajan (auth.), Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf (eds.)
search