Your search returned 9 results.

Results
	1.	Design and analysis of algorithms by Dexter C. Kozen. by kozen, Dexter C Series: Texts and monographs in computer science Material type: Book Publication details: New York S-V 1992 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.1 N922.
	2.	Logic of programs ed. by Edmund Clarke, Dexter Kozen by Workshop on Logic of Programs (Pittsburgh 1983) Clarke, Edmund Kozen, Dexter Series: Lecture Notes in Computer Science V.164 Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N843.
	3.	No cover image available Logic of programs by Dexter Kozen. by Kozen, Dexter Material type: Book Publication details: Springer 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N821.
	4.	Design and analysis of algorithms by Dexter C Kozen by kozen, Dexter C Material type: Book Publication details: Newyork S-V 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N922;1. Place hold
	5.	Automata and computability by Dexter C Kozen by Kozen, Dexter C Series: Undergraduate texts in computer science Material type: Book Publication details: New York Springer 1997 Availability: Items available for loan: Computer Science and Automation (1)Call number: 511.3 N975. Place hold
	6.	Automata and computability by Dexter C. Kozen by Kozen, Dexter C Material type: Book Publication details: New York Springer 1997 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N977 R(T). Place hold
	7.	Automata and computability by Dexter C Kozen by Kozen, Dexter C Series: Undergraduate texts in computer science ; Material type: Book Publication details: New York Springer 1997 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N975;2. Place hold
	8.	Automata and Computability by Dexter C Kozen by Kozen, Dexter C Series: Undergraduate Texts in Computer Science ; Material type: Book Publication details: New York Springer Verlag Inc 1997 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N975;1. Place hold
	9.	Automata and computability by Dexter C Kozen by Kozen, Dexter C Material type: Book Publication details: Berlin Springer 1997 Availability: Items available for loan: Computer Science and Automation (1)Call number: 511.3 N975;3 (CSA). Place hold

Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
Contact Phone: +91 80 2293 2832

Powered by Koha