| Your search for 5141 returns 5887 document(s) |
| Understanding computer science for advanced level 3rd ed./ Ray Bradley |
|
Author: Bradley, Ray; | Call Number: 004 Bra u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An invitation to computer science 2nd ed. /G. Michael Schneider Judith |
|
Author: Schneider, G. Michael; | Call Number: 004 Sch i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer aided verification: 7th international workshop; Proceedings/CAV'95, Liege, Belgium, July 3-5, 1995/Piere Wolper (ed) |
|
Author: International Conference, CAV'95; | Call Number: 004 Int c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings of the international conference on advanced computer science and information systems (ICACSIS 2010) Bali 20 th-23 rd November 2010 |
|
Call Number: SEM-297 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer aided verification: 9th international conf. Cav'97 Haifa, Israel, June 22-25, 1997 Proceedings/edited Orna Grunberg |
|
Author: International Conference, CAV'97; | Call Number: 004 Int c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CSCW'92 sharing perspectives: proceedings of the confrence on computer-supported cooperative work October 31 to November 4 1992 Toronto, Canada/John Turner |
|
Call Number: SEM-180 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Aplikasi Pengolahan Data Persediaan Barang Dengan Menggunakan Metode Fifo |
|
Author: Rafiqa Dewi, Sundari Retno Andani; | Call Number: SEM-342 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
| Basic category theory for computer scientists/Benjamin C. Piere |
|
Author: Pierce, Benjamin C.; | Call Number: 511.3 Pie b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Schaum's outline of theory and problems: fundamentals of computing with c++ |
|
Author: Hubbard, John R.; | Call Number: 005.133 Hub f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result