Home Advanced Search

Advanced Search - Page 1

Dynamic Logic
  • PDF
  • English
  • Year: 2000
  • Author: David Harel, Dexter Kozen, Jerzy Tiuryn
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: David Aspinall (auth.), Leszek Pacholski, Jerzy Tiuryn (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
電腦也搞不定 (-a Taiwanese translation of David Harel's Computers Ltd.-)
  • PDF
  • Chinese
  • Year: 2002
  • Author: David Harel
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.)
Algorithmics: The Spirit of Computing
  • PDF
  • English
  • Year: 2004
  • Author: David Harel, Yishai A. Feldman
search