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	[9(2000): 1]
Judul Artikel	Composite Model-Checking: Verification with Type-Specific Symbolic Representations, page 3-50
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: 13410

Tidak ada abstrak pada koleksi ini

Latest Collection

Implementation of the Neural Metamorphosis Paradigm on DenseNet Architecture for Model Compression

Type: Skripsi

Implementasi Fitur Multiple File Upload dan Perbaikan pada User Interface Generator untuk Web-Based Software Product Lines

Type: Skripsi

Analisis Pengaruh Kedua Jenis Klasifikasi dari Uncertainty Reduction pada Aspek Kognitif dan Afektif Pengguna dalam Mengabaikan Produk di Keranjang Belanja pada Aplikasi E-commerce: Studi Kasus Shopee

Type: Skripsi

Evaluasi Jawaban Open-ended Question Menggunakan Large Language Model (LLM): Studi Kasus Lembaga Bahasa Inggris

Type: Karya Akhir (KA)

Evaluasi dan Gap Analysis Sistem Manajemen Akses Berdasarkan NIST SP 800-53 Rev. 5 dalam Pemenuhan IT General Controls (ITGC) untuk Kepatuhan Sarbanes-Oxley Act di Perusahaan Fintech

Type: Karya Akhir (KA)

Perancangan Strategis Sistem Informasi dan Teknologi Informasi: Studi Kasus Universidade Oriental Timor Lorosa'e (UNITAL) Timor-Leste

Type: Karya Akhir (KA)

Sistem Pendukung Keputusan untuk Penentuan Penerima Beasiswa Islamic Trust Fund Ar-Raniry

Type: Karya Akhir (KA)

Implementasi Model Estimasi Emisi Berbasis Machine Learning dan MOVESTAR dengan Validasi IoT pada Sistem Green Vehicle Routing Problem (Green VRPTW)

Type: Skripsi

Analisis Rancangan Mobile Health Untuk Manajemen Rehabilitasi Stroke Dengan Pendekatan Design Science Research Dan Intervention Theory

Type: Skripsi

Manajemen Data dan PEngembangan Sistem Untuk Digitalisasi Proses Collection dan General Affair

Type: Kerja Praktek (KP)

Favorite