| Your search for 4542 returns 736 document(s) |
| Functional program testing and analysis |
|
Author: Howden, William E.; | Call Number: 005.36 How f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Functional program testing and analysis |
|
Author: Howden, William E.; | Call Number: 005.3 How f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Tex : the program computers & typesetting/B |
|
Author: Knuth, Donald E.; | Call Number: 686.224 Knu t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Metafont: the program (computes & typesetting D) |
|
Author: Knuth, Donald Ervin; | Call Number: 686.225 Knu m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| METAFONT: the program(Computers & Typesetting C) |
|
Author: Knuth, Donald E.; | Call Number: 686.225 Knu m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formalisasi dan verifikasi spesifikasi pengendali lalu lintas kereta api di stasiun dengan rel ganda, hal 8-18 |
|
Author: Eri Zuliarso, Belawati H.W. dan Widijanto S. N. | Call Number: JURNAL ILMU KOMPUTER DAN TEKNOLOGI INFORMASI, Vol. 3 No. 1 Mei 2003 | Type: UI-ana Indek Artikel
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifikasi perangkat lunak berbasis java dengan T2 framework dengan studi kasus electronic votes manager sebagai perangkat lunak berbasis komponen |
|
Author: Aziz Yudi Prasetyo | Call Number: Jurnal Ilmu Komputer dan Informasi (JIKI) Vol. 1 No. 2 Juni 2008 | Type: UI-ana Indek Artikel
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formalisasi verifikasi spesifikasi sistem pengendali lalulintas kereta api di stasiun dengan rel ganda, Hal. 20-27 |
|
Author: Eri Zuliarso; Belawati Widjaja; Widijanto S. Nugroho; | Call Number: SEM-273 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifikasi protokol otentikasi Horn-Preneel menggunakan A VISPA (Automated Validation of Internet Security Protocols and Applications) |
|
Author: Ilham Kurnia; | Call Number: SK-0618 (Softkopi SK-99) Source Code SK-88 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Sistem administrasi nilai dan verifikasi ijazah berbasis blockhain (studi kasus: data universitas indonesia pada pangkalan data pendidikan tinggi (PDDIKTI) |
|
Author: Farzana Hadifa,
Shafira Putri Novia Hartanti,
Tsanaativa Vinnera; | Call Number: SK-2112 (Softcopy SK-1594) Source Code SK-792 | Edition: Ari Wibisono | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result