Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Dynamic logic / David Harel, Dexter Kozen and Jerzy Tiuryn by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: ENG
Publication details: India Prentice Hall of India 2000
Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 004.015113 HAR-D.

Add to cart
2.
Automata and computability / Dexter C. Kozen by
Material type: Text Text; Literary form: Not fiction
Publication details: New York Springer 1997
Availability: Items available for loan: BITS Pilani Hyderabad (2)Location, call number: Text & Reference Section (Student cannot borrow these books) 004.0151 KOZ-D, ...

Add to cart
Pages
An institution deemed to be a University Estd. Vide Sec.3 of the UGC
Act,1956 under notification # F.12-23/63.U-2 of Jun 18,1964
© 2024 BITS-Library, BITS-Hyderabad, India.