Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	004 Int c
Collection Type	Indeks Artikel LNCS
Title	Efficient model checking using tabled resolution, Hal. 143-154
Author	Y.S. Ramakrishna; C.R. Ramakrishnan, IV, Ramakrishnan;
Publisher	Springer, 1997
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
004 Int c		TERSEDIA

Tidak ada review pada koleksi ini: 39675

Tidak ada abstrak pada koleksi ini

Latest Collection

Analisis Faktor yang Memengaruhi Adopsi Aplikasi Mobile Diet Sehat pada Kelompok Usia Dewasa

Type: Karya Akhir (KA)

Evaluasi Tingkat Kematangan Dan Penyusunan Rekomendasi Tata Kelola Teknologi Informasi Dengan COBIT 2019: Studi Kasus UKMC Palembang

Type: Karya Akhir (KA)

Prediksi Persediaan Barang Berdasarkan Data Penjualan Dan Data Pembelian Menggunakan Machine Learning

Type: Karya Akhir (KA)

Analisis Tingkat Kesiapan Implementasi Manajemen Pengetahuan: Studi Kasus Sekolah Tinggi Meteorologi Klimtologi Dan Geofisika

Type: Karya Akhir (KA)

Evaluasi Implementasi Scrum Menggunakan Maturity Model Berbasis Scrum Body of Knowledge: Studi Kasus Pengembangan Mobile Banking di Bank XYZ

Type: Karya Akhir (KA)

Perancangan Model Pengukuran Tingkat Kesiapan Implementasi Manajemen Pengetahuan Pada Tim Tanggap Insiden Siber Nasional

Type: Karya Akhir (KA)

Analisis Sentimen dan Pemodelan Topik dalam Pemanfaatan Generative AI pada Pendidikan di Indonesia

Type: Karya Akhir (KA)

ANALISIS TINGKAT KESIAPAN PENERAPAN MANAJEMEN PENGETAHUAN: STUDI KASUS INSTITUT PEMERINTAHAN DALAM NEGERI

Type: Karya Akhir (KA)

Perencanaan Strategis Sistem Informasi: Studi Kasus Deputi Bidang Ekonomi Digital dan Produk Kreatif

Type: Karya Akhir (KA)

Analisis Faktor-Faktor Yang Memengaruhi Loyalitas Pengguna Terhadap Aplikasi Uang Elektronik XYZ

Type: Karya Akhir (KA)

Favorite