| Item type | Current library | Collection | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Indian Institute of Technology Tirupati General Stacks | Computer Science | 511.35 KRI/I (Browse shelf(Opens below)) | Available | 03770 | |
Reference
|
Indian Institute of Technology Tirupati Reference | Computer Science | REF 511.35 KriI (Browse shelf(Opens below)) | Not for loan | 03771 | |
Books
|
Indian Institute of Technology Tirupati General Stacks | Mathematics | 511.35 KRI/I (Browse shelf(Opens below)) | Available | 02143 | |
Books
|
Indian Institute of Technology Tirupati General Stacks | Mathematics | 511.35 KRI/I (Browse shelf(Opens below)) | Available | 02144 |
Browsing Indian Institute of Technology Tirupati shelves, Shelving location: General Stacks, Collection: Computer Science Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.3 MIC INTRODUCTION TO THE THEORY OF COMPUTATION | 511.3028553 LAW ISABELLE: A GENERIC THEOREM PROVER | 511.35 HOP/I Introduction to Automata Theory, Languages, and Computation / | 511.35 KRI/I Introduction to Formal Languages, Automata Theory and Computation / | 511.35 MAR/I Introduction to Languages and the Theory of Compputation / | 511.352 ARO/C Computational Complexity A Modern Approach | 511.352 ARO/C Computational Complexity A Modern Approach |
There are no comments on this title.
Log in to your account to post a comment.
Text