| Your search for 917 returns 4419 document(s) |
| Perancangan arsitektur infrastruktur teknologi informasi adaptif pada Universitas Terbuka |
|
Author: Suhaemi Pasinringi; | Call Number: T-0793 (Softcopy T-0447) | Edition: 2009 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Design of computer data files 2nd ed./Owen Hansen |
|
Author: Hanson, Owen; | Call Number: 005.74 Han d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Security Architecture Design, Development & Operations |
|
Author: King, Christopher M.; | Call Number: 621.389 28 Kin s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic logic and mechanical theorem proving/ Chin-Liang Chang |
|
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Logic programming prolog and its applications/ Bob Kowalski |
|
Author: Kowaslki, Bob; | Call Number: R. 006.3 Kow l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The complete computer compendium/ Mike Edelhart and Doug Garr |
|
Author: Edelhart, Mike; | Call Number: 004 Ede c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The architecture of small computer systems |
|
Author: Lippiatt, Arthur G.; | Call Number: 004.22 Lip a | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer systems architecture |
|
Author: Baer, Jean-Loup; | Call Number: 004.22 Bae c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result