| Your search for 6611 returns 487 document(s) |
| 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
|
| Embedding lax logic into intuitionistic logic, Hal. 78-93 |
|
Author: Uwe Egly; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| More internet for dummies/ John R. Levine |
|
Author: Levine, John R.; | Call Number: 004.678 Lev m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Handbook of controls and instrumentation/ John D. Lenk |
|
Author: Lenk, John D.; | Call Number: R. 629.8 Len h | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Handbook of systems analysis/ John E. Bingham |
|
Author: Bingham, John E.; | Call Number: R. 658.403 2 Bin h | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Microprocessor systems engineering/ John Ferguson |
|
Author: Ferguson, John; | Call Number: 004.16 Fer m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Build program techniques/ John G. Rice |
|
Author: Rice, John Gordon; | Call Number: 005.61 Ric b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Power programming with RPC/John Bloomer |
|
Author: Bloomer, John; | Call Number: 004.69 Blo p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Conversion of computer software/ John R. Wolberg |
|
Author: Wolberg, John R.; | Call Number: 005 Wol c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations : for programming languages/ John C. Mitchell |
|
Author: Mitchell, John C.; | Call Number: 005.131 Mit f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result