Search Result Save to File Save as CSV
Your search for 29740 returns 286 document(s)
Autonomous Mobile Robot Menggunakan Metode Formal Logika Temporal Linier (145-152)
Author: Irvan Lewenusa Wisnu Ananta; | Call Number: SEM-313 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Rancangan formal sistem pengendali integritas untuk lalulintas pada penempatan jalan berbasis logika proposi
Author: Maringan Situmeang; | Call Number: T-0364 | Edition: 2002 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Perancangan sistem pelatihan ONLINE pada institusi pendidikan non formal: studi kasus PT. MITRA SOLUSI TEKNOLOGI MANDIRI
Author: Darmawan B. Napitupulu; | Call Number: PA-0028 (Softcopy PA-0028) | Edition: 2004 | Type: Proyek Akhir (PA)
Find Similar |  Add To Favorites |  Detail in New Window 
Formal aspects of concurrency control on long-duration transaction systems using the NT/PV model, page 492
Author: Korth, Henry F. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Consistency, standards, and formal approaches to interface development and evaluation: a note on wiecha, bennett boies, gould and greene
Author: Jonathan Grudin | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Formal analysis of an authentication protocol for UMTS (Universal Mobile Telecommunications systems) Using AVISPA
Author: Ilham W. Kurnia; L. Yohanes Stefanus; Ari Saptawijaya | 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 
Analisis sistem dan spesifikasi requirement menggunakan metode formal pada UML (Studi kasus pada sistem informasi kepegawaian Kab. Ngajuk)
Author: Dwi Kurnia Basuki; Joko Lianto Buliali; | Call Number: SEM-277 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Formal verification for access control in web information sharing system, (LNCS-Lecture Notes in Computer Science 5576) Hal. 80-89
Author: Akihiro Sakai; Yoshiaki Hori; Kouichi Sakurai; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
On combining formal and informal verification, (LNCS-Lecture Notes in Computer Science 1254) Hal 376-387
Author: Jun Yuan; Jian Shen; Jacob Abraham; Adnan Aziz; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
The verus tool: a quantitative approach to the formal verification of real-time systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 452-455
Author: Sergio Campos; Edmund Clarke; Marius Minea; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   21 22 23 24 25 26 27 28 29  Next