Search Result Save to File Save as CSV
Your search for 15977 returns 2962 document(s)
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: Ringdis-014 | Type: Ringkasan Disertasi
Find Similar |  Add To Favorites |  Detail in New Window 
Pattern-oriented software architecture : vol. 2 patterns for concurrent and networked objects/ Douglas Schmidt
Author: Schmidt, Douglas; | Call Number: 005.1 Pat | Type: Buku
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 
Dukungan Teknologi Informasi terhadap Concurrent Engineering studi kasus Bagian Pengembangan produk PT X
Author: Andri; | Call Number: T-0214 (Softcopy T-0182) | Edition: 2001 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Penyusunan kerangka untuk mengevaluasi dan meningkatkan kualitas knowledge management system (KMS) dengan mengintegrasikan KM Quality model kano dan quality function deployment (QFD): studi kasus Binusmaya
Author: Nur'aini Syamsiah; | Call Number: SK-1485 (Softcopy SK-967) | Edition: Achmad Nizar Hidayanto | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Adaptasi expectation-confirmation model untuk memprediksi pengaruh system quality dan service quality terhadap continuance intention behavior pada penggunaan aplikasi berbasis m-service: studi kasus aplikasi mobile GO-JEK
Author: Khalida Anggun Rahmadini; | Call Number: SK-1459 (Softcopy SK-941) | Edition: A. Nizar Hidayanto | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Model konseptual social worker knowledge sharing system berdasarkan analisa faktor-faktor yang mempengaruhi knowledge sharing pada pekerja sosial terhadap kualitas pelayananan kualitas pelayanan sosial
Author: Vitri Suryati; | Call Number: T-1154 (Softcopy T-863) | Edition: 2016 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Analisis faktor-faktor penerimaan salesman dalam implementasi sistem informasi prospect management system berdasarkan konsep technology acceptance model (TAM): studi kasus PT. Hyundai Mobil Indonesia
Author: Andy Achmad H.; | Call Number: KA-260 (Softcopy KA-259) | Edition: 2012 | Type: Karya Akhir (KA)
Find Similar |  Add To Favorites |  Detail in New Window 
Rancangan model kuantifikasi manfaat SI/TI business continuity management dari sistem pembayaran menggunakan tabel manfaat bisnis SI/TI Generik dan System Dynamics : Studi Kasus PT.Bank XYZ
Author: Kris Satria Pandu Dewantara Putra; | Call Number: KA-453 (Softcopy KA-452) MAK KA-113 | Edition: 2013 | Type: Karya Akhir (KA)
Find Similar |  Add To Favorites |  Detail in New Window 
Model checking
Author: Clarke, Edmund M.; | Call Number: 004.21 Cla m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   9 10 11 12 13 14 15 16 17 18  Next