Hasil Pencarian

Ditemukan 26706 dokumen yang sesuai dengan query 20406686
Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes
Pengarang : Storm, Christian, author
No. Panggil : e20406686
Jenis Koleksi : eBooks
Lokasi : Universitas Indonesia Library
NASA formal methods : 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings
Pengarang : Goodloe, Alwyn E., editor
No. Panggil : e20410496
Jenis Koleksi : eBooks
Lokasi : Universitas Indonesia Library
Dependable computing for critical applications 2; Vol. 6
Pengarang : Tidak ada pengarang
No. Panggil : 004.2 DEP
Jenis Koleksi : Buku Teks SO
Lokasi : Universitas Indonesia Library
Self-healing memory hardware architecture on field programmable
Pengarang : Tidak ada pengarang
No. Panggil : AEJ 5:1 (2015)
Jenis Koleksi : Artikel Jurnal
Lokasi : Universitas Indonesia Library
Fault diagnosis and fault tolerance : a systematic approach to special topics
Pengarang : Chen, Tinghuai, author
No. Panggil : 004.2 CHE f
Jenis Koleksi : Buku Teks
Lokasi : Universitas Indonesia Library
Dependable computing for critical applications vol. 4
Pengarang : Tidak ada pengarang
No. Panggil : 004.2 DEP IV
Jenis Koleksi : Buku Teks
Lokasi : Universitas Indonesia Library
<<   1 2 3 4 5   >>