| Your search for 3970 returns 1352 document(s) |
| Mathematical theory of computation |
|
Author: Manna, Zohar; | Call Number: 005.14 Man m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Natural deduction: a proof-theoretical study/ Da Prawitz |
|
Author: Prawitz, Dag; | Call Number: 162 Pra n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logics of time and computation |
|
Author: Goldblatt, Robert; | Call Number: 160 Gol l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic design and switching theory |
|
Author: Muroga, Saburo; | Call Number: 621.395 Mur l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theory of finite automata: with an introduction to formal languages |
|
Author: Carroll, John; | Call Number: 511 Car t | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Switching and finite automata theory 2nd ed. |
|
Author: Kohavi, Zvi; | Call Number: 629.892 Koh s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Switching and finite automata theory 2nd ed. |
|
Author: Kohavi, Zvi; | Call Number: 629.892 Koh s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of inductive reasoning/ Ronald Christensen |
|
Author: Christensen, Ronald; | Call Number: 006.3 Chr f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal languages and their relation to automata |
|
Author: Hopcroft, John E.; | Call Number: 519.766 Hop f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Abstract machines and grammars/ Water J. Savitch |
|
Author: Savitch, Walter J.; | Call Number: 005.133 Sav a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result