Search Result
Save to File
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