| Your search for 12462 returns 3940 document(s) |
| Logic design and computer organization |
|
Author: Lewin, Morton H.; | Call Number: 621.395 Lew l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fundamentals of computer logic |
|
Author: Hutchison, David; | Call Number: 621.395 Hut F | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital logic and computer design |
|
Author: Mano, M. Morris; | Call Number: 621.395 Man d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer arithmetic logic and design |
|
Author: Spaniol, Otto; | Call Number: 621.39 Spa C | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logic of computer aritmetic |
|
Author: Fores, Ivan; | Call Number: 510.78 Flo l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic for computer science |
|
Author: Ben-Ari, M.; | Call Number: 511.3 Ben m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| on Updates of logic programs: a properties-based approach, The relative complexity of updates for a class of database views, LNCS-Lecture Notes in Computer Science 2942) Hal.231-251 |
|
Author: Mauricio Osorio and Fernando Zacarias; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Clausal form logic: an introduction to the logic of computer reasoning |
|
Author: Richards, Tom; | Call Number: 006.3 Ric a | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Module checking revisited, (LNCS-Lecture Notes in Computer Science 1254) Hal 36-47 |
|
Author: Orna Kupferman; Moshe Y. Vardi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Epistemic logic for AI and computer science |
|
Author: Meyer, J.J. CH.; | Call Number: 006.3 Mey e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result