Search Result Save to File Save as CSV
Your search for 15711 returns 218 document(s)
Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem proverhol/ Octavianus Adrianto
Author: Octavianus Adriato; | Call Number: SK-0382 | Edition: Wishnu Prasetya | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Verifikasi program perkalian matriks persegi menggunakan logika hoare
Author: Anggha Satya Nugraha; | Call Number: T-0982 (Softcopy T-0691) Source Code T-0141 | Edition: 2012 | Type: Tesis
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 
Protokol indentifikasi zero knowledge dan aplikasinya pada smart card
Author: Wiwit Hermawan; | Call Number: SK-0563 (Softcopy SK-75) Source Code SK -13 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Protokol penandatanganan kontrak optimistik asokan-shoup-waidner
Author: Nilam Fitriah; | Call Number: SK-0652 (Sofcopy SK-133) Source Code SK-118 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Implementasi protokol pembuatan group signatures holger petersen
Author: Henry Luther Enrico Simangunsong; | Call Number: SK-0444 | Edition: Yohanes Stefanus | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Penembangan Sistem Layanan antar perpustakaan berbasis protokol Z39.50
Author: Muchammad Husni; | Call Number: T-0119 | Edition: 1999 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Implementasi Protokol Multiple Escrow Agents (121-127)
Author: Arwin Halim Alex Xandra Albert Sim Brenda Terabbani Sally Chang; | Call Number: SEM-339 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Analisis Performasi RSA dan ECC Pada Protokol SSL (49-54)
Author: Jajang Kavita Fazmah Arif Yulianto Suyanto; | Call Number: SEM-337 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   4 5 6 7 8 9 10 11 12 13  Next