Search Result Save to File Save as CSV
Your search for 4507 returns 6700 document(s)
Verifikasi sistem pengendali lalu lintas kereta api dengan model checker NUSMV/ Annisa Ihsani
Author: Annisa Ihsani; | Call Number: SK-0795 (Softcopy SK-277) Source code SK-252 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren)
Author: Ade Azurat; | Call Number: DIS-014 (Softcopy DIS-006) | Type: Disertasi
Find Similar |  Add To Favorites |  Detail in New Window 
Formalisasi dan verifikasi spesifikasi sistem pengendali lalulintas kereta api di stasiun dengan rel ganda
Author: Eri Zuliarso; | Call Number: T-0365 | Edition: 2002 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Formalisasi dan verifikasi spesifikasi sistem kontrol persimpangan jalan raya dengan Rel Kereta Api satu jalur satu arah
Author: Achmad Ridok; | Call Number: T-0152 | Edition: 1999 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Perancangan arsitektur informasi dengan menggunakan business system planning ( studi kasus : Industri Kecil), Hal. 205-208
Author: Yenni Fatma, Leony Lidya, Husni S. Sastramihardja; | Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Perancangan model arsitektur Teknologi Informasi TI menggunakan TOGAF ARCHITECTURE DEVELOPMENT METHOD : studi kasus pada Elex Comic Center
Author: Muhammad Fauzi Murtadlo; | Call Number: T-0855 (Softcopy T-0509) | Edition: 2009 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Perancangan E-Training Berbasis WEB menggunakan standard learning technology system architecture studi kasus: PT Harrisma Service Centre
Author: Andry Fadjriya,; | Call Number: T-0268 (Softcopy T-0184) | Edition: 2001 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Perancangan arsitektur identity and access management menggunakan microservices design process: studi kasus PT Astra international, tbk
Author: Bernardus Bastian Sulistiyo; | Call Number: KA-1310 (Softcopy KA-1304) MAK KA-956 | Edition: 2020 | Type: Karya Akhir (KA)
Find Similar |  Add To Favorites |  Detail in New Window 
Perancangan Configuration Management database (CMDB) dengan menggunakan ITIL versi 3: Studi Kasus PT. XYZ
Author: Adam Imansyah Pandesenda; | Call Number: KA-1409 (Softcopi KA-1400) MAK KA-1051 | Edition: 2021 | Type: Karya Akhir (KA)
Find Similar |  Add To Favorites |  Detail in New Window 
Perancangan arsitektur enterprise electronic document management system menggunakan TOGAF: Studi Kasus STMIK MDP
Author: Iis Pradesan; | Call Number: KA-141 (Softcopy KA-141) | Edition: 2011 | Type: Karya Akhir (KA)
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   12 13 14 15 16 17 18 19 20 21  Next