Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Tipe Koleksi	Indeks Artikel Jurnal
Nama Jurnal	IEEE Computer
Volume	[33 (2000): 10]
Judul Artikel	E-process design and assurance using model checking, page 48
Penulis
Penerbit Jurnal	New York: IEEE Computer Society

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
		TERSEDIA

Tidak ada review pada koleksi ini: 13882

Tidak ada abstrak pada koleksi ini

Latest Collection

Perancangan Pengembangan Keamanan Identity and Access Management Terpusat pada Arsitektur Microservice: Studi Kasus PUSILKOM UI

Type: Karya Akhir (KA)

Perancangan Antarmuka dan Fitur Training Management System (TMS): Studi Kasus Divisi Corporate University PT XYZ

Type: Karya Akhir (KA)

Essentials of Statistics for the Behavioral Sciences (MindTap Course List) 10th Edition (INSTRUCTOR'S MANUAL)

Type: Instructor's Manual (Khusus Do

Kerja Praktik Proses Pengembangan Produk Biller di PT Alto Network

Type: Kerja Praktek (KP)

Analisis Dark Pattern dan Rekomendasi Desain pada Aplikasi Mobile Ride-Hailing di Indonesia: Gojek, Grab, Maxim

Type: Skripsi

Analisis Peforma Algoritma Bubble Sort dan Perkalian Matriks dalam Java, Python, PHP. dan Rust

Type: Skripsi

Optisign: Motion-aware end to endFramework Model for Blur Resistant Sign Language Recognition and Interpretation

Type: Tesis

Penggunaan Diagram Voronoi pada Metode Low-Rank Sparse Dark Channel Prior untuk Penghapus Awan

Type: Tesis

Perancangan Kerangka Kerja Kesiapan Customer Knowledge Management pada Usaha Mikro Kecil dan Menengah

Type: Tesis

Pengukuran Terintegrasi User Interface Usability dan User Experience: Sebuah Model Konseptual

Type: Tesis

Favorite