| Your search for 10394 returns 1873 document(s) |
| Temporal logic for proof-carrying code, Hal. 31-46 |
|
Author: Andrew Bernard and Peter Lee; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Set theory, logic and their limitations/ Moshe Machover |
|
Author: Macchover, Moshe; | Call Number: 511.322 Mac s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Microcomputer structures: an introduction to digital electronic, logic design, and computer architecture |
|
Author: D'Angelo, Henry; | Call Number: 621.391 6 Dan m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital system design and microprocessors |
|
Author: Hayes, John D.; | Call Number: 004.16 Hay d | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital system design and microprocessors/ John P. Hayes |
|
Author: Hayes, John P; | Call Number: 004.16 Hay D | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Natural language understanding/James Allen |
|
Author: Allen, James; | Call Number: 005.13 All n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for problem solving |
|
Author: Kowalski, Robert; | Call Number: 519.7 Kow i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic: a foundation for computer science |
|
Author: Sperschneider, V.; | Call Number: 004 Spe e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for applications 2nd ed. |
|
Author: Nerode, Anil; | Call Number: 005.1 Ner l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic designer's manual |
|
Author: Lenk, John D.; | Call Number: 621.395 Len l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result