Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Tipe Koleksi	Indeks Artikel Jurnal
Nama Jurnal	ACM TRANS. ON SOFTWARE ENGINEERING AND METHODOLOGY
Volume	[12(2003): 4]
Judul Artikel	Multi-Valued Symbolic Model-Checking, page 371-408
Penulis
Penerbit Jurnal	New York: The Association for Computing Machinery

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
		TERSEDIA

Tidak ada review pada koleksi ini: 13429

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