| Your search for 19028 returns 1104 document(s) |
| Proses verifikasi prinati lunak basis data dengan lingu dan theorem prover hol |
|
Call Number: 005 Pro | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifikasi protokol autentifikasi Andrew secure RPC dengan proverif/ Pamela Indrajati |
|
Author: Pamela Indrajati; | Call Number: SK-0655 (Softcopy SK-125) Source Code SK-119 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formalisasi dan verifikasi dari spesifikasi speculative concurrency control dalam sistem basisdata waktu-nyata |
|
Author: Yanti Rusmawati,; | Call Number: T-0368 | Edition: 2002 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifikasi Sistem Berparameter Secara Formal Dengan Diagram Predikat Berparameter (154-159) |
|
Author: Cecilia E. Nugraheni; | Call Number: SEM-337 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Information technology governance in information technology investment decision processes: the impact of investment characteristics, external environment, and internal context, page 67-96 |
|
Author: Yajiong Xue, Huigang Liang, and William R. Boulton | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analisis proses penanganan breakdown maintenance dan external service pada modul plant maintenance SAP R/3 PT Krakatau Steel (Persero) Tbk |
|
Author: Dean Patria Budoyo; | Call Number: KP-1998 (Softcopy KP-1560) | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| C how to program 4th ed. |
|
Author: Deitel, H.M.; | Call Number: 005.133 Dei c | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| C how to program 5th ed. |
|
Author: Deitel, H.M.; | Call Number: 005.133 Dei c | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| C++ How To Program 5th ed. |
|
Author: Deitel, H.M.; | Call Number: 005.133 Dei c | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| C++ how to program 6th ed. |
|
Author: Deitel, H.M.; | Call Number: 005.133 Dei c | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result