| Item type | Current library | Collection | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Indian Institute of Technology Tirupati General Stacks | Computer Science | 511.3028553 LAW (Browse shelf(Opens below)) | Available | 04168 |
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.3 MIC INTRODUCTION TO THE THEORY OF COMPUTATION | 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 / |
There are no comments on this title.
Log in to your account to post a comment.
Text