Your search for 52196 returns 125 document(s) |
ZUM'95: the Z formal specification motion: 9th Int. conf. of z user's limerick, Freland, September 7-9, 1995/Jonathan Bowen |
Author: Bowen, Jonathan P.; | Call Number: 005.133 Bow z | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Pengembangan pengurai morfologi untuk bahasa indonesia formal dan gaul berbasis morfologi dua tingkat dengan menggunakan XFST dan LEXC |
Author: Pomona Angela KM; | Call Number: SK-0809 (Softcopy SK-291) Source code SK-262 | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Studi perancangan dan analisis formal protokol kriptografis untuk sistem pembayaran elektronis melalui internet/ Yenni Rahmita |
Author: Yenni Rahmita; | Call Number: SK-0335 | Edition: Wishnu Prasetya | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Analisis metode pengukuran tingkat adopsi teknologi informasi dan komunikasi di sekolah formal tingkat dasar dan menengah |
Author: Sofiana Nurjanah; | Call Number: KA-120 (Softcopy KA-120) | Edition: 2011 | Type: Karya Akhir (KA)
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An Empirical Study on the Effect of Formal Control on Salesperson' s Customer Relationship Quality (V2-472--V2-476) |
Author: Lv Tao
Qin Xinli; | Call Number: SEM-328 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal Languages and Complexity Theory: Time-Space Trade-Off Lower Bounds for Randomized Computation of Decision Problems, A Complete Problem for Statistical Zero Knowledge |
Author: P. Beame, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal analysis of an authentication protocol for UMTS ( Universal Mobile Telecommunications System) using avispa/ Ilham W. Kurnia; L. Yohanes Stefanus; Ari Saptawijaya |
Author: Kurnia, Ilham W.; Stefanus, L. Yohanes; Saptawijaya, Ari | Call Number: Pub Staf.JN-0006 | Type: Jurnal Nasional
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using an object-oriented methodology to bring a hybrid system from initial concept to formal definition, (LNCS-Lecture Notes in Computer Science 1201) Hal 186-198 |
Author: David Sinclair; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal verification of digital systems, from ASICs to HW/SW codesign - a pragmatic approach, (LNCS-Lecture Notes in Computer Science 3709) Hal 3-6 |
Author: Roger B. Hughes; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using formal verification/analysis methods on the critical path in system design: a case study, (LNCS-Lecture Notes in Computer Science 939) Hal 367-380 |
Author: Asgeir Th. Eiriksson; Ken L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|