Home Advanced Search

Advanced Search - Page 1

Dynamic logic
  • PDF
  • English
  • Year: 2000
  • Author: David Harel, Dexter Kozen, Jerzy Tiuryn
Dynamic Logic
  • PDF
  • English
  • Year: 2000
  • Author: David Harel, Dexter Kozen, Jerzy Tiuryn
Dynamic Logic (Foundations of Computing)
  • PDF
  • English
  • Author: David Harel, Dexter Kozen, Jerzy Tiuryn
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
The Design and Analysis of Algorithms
  • PDF
  • English
  • Year: 1992
  • Author: Dexter C. Kozen
Automata and Computability
  • DJVU
  • English
  • Year: 1997
  • Author: Dexter C. Kozen
Theory of Computation
  • PDF
  • English
  • Year: 2006
  • Author: Dexter C. Kozen
search