Finite Automata, Formal Logic, and Circuit Complexity
Material type:
TextSeries: Progress in Theoretical Computer SciencePublication details: Boston ; Birkhauser ; 1994Description: 226pISBN: 0 8176 3719 2Subject(s): Computer Science-Mathematics Automata Logic, Symbolic and mathematical Computational complexity
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 681.3 STR (Browse shelf (Opens below)) | Available | 33458 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 681.3 STE Art of Prolog : Advanced Programming Techniques | 681.3 STE Network Algebra | 681.3 STI Modal and temporal properties of processes | 681.3 STR Finite Automata, Formal Logic, and Circuit Complexity | 681.3 SUB Formal models languages and applications | 681.3 SUB Formal models languages and applications | 681.3 SUH Accelerating MATLAB with GPU computing : a primer with examples |
There are no comments on this title.