Your search returned 11 results.

Not what you expected? Check for suggestions
BOOKS
Design and analysis of algorithms

by Kozen, Dexter C.

Series: Texts and Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Newyork ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 KOZ.

Place hold Log in to add tags
BOOKS
Logic in Computer Science, Tenth Annual IEEE Symposium on- Proceedings, San Diego, 1995

by Kozen, Dexter. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; IEEE Computer Society ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KOZ.

Place hold Log in to add tags
BOOKS
Automata and Computability

by Kozen, Dexter C.

Series: Undergraduate Texts in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 42 Call number: 681.3.06 KOZ.

Place hold Log in to add tags
BOOKS
Dynamic logic

by Harel, David | Kozen, Dexter | Touryn, Jerzy.

Series: Foundations of ComputingMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; MIT Press ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HAR.

Place hold Log in to add tags
BOOKS
Automata and Computability

by Kozen, Dexter C.

Series: Undergraduate texts in computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; 1997Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 42 Call number: 681.3.06 KOZ.

Place hold Log in to add tags
BOOKS
Mathematics of Program Construction: 7th international conference, MPC 2004 Stirling, Scotland, UK, July 2004: proceedings

by Kozen, Dexter Ed.

Series: Lecture notes in computer science ; 03125Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 29 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Theory of computation

by Kozen, Dexter C.

Series: Texts in computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; 2006Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KOZ.

Place hold Log in to add tags
E-BOOKS
Mathematics of Program Construction [electronic resource] : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings / edited by Dexter Kozen.

by Kozen, Dexter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3125Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logics of Programs [electronic resource] : Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983 / edited by Edmund Clarke, Dexter Kozen.

by Clarke, Edmund [editor.] | Kozen, Dexter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 164Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logics of Programs [electronic resource] : Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen.

by Kozen, Dexter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 131Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Other title: With contributions by nummerous experts.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
Dynamic Logic

by Harel, David Kozen, Dexter Tiuryn, Jerzy.

Edition: Eastern Economy EditionMaterial type: Text Text Publication details: New Delhi Prentice Hall of India 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HAR.

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha