Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	SEM-281
Collection Type	Indeks Artikel prosiding/Sem
Title	Combining multisets with integers, Hal. 363-376
Author	Gologero G. Zarba;
Publisher	Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
SEM-281		TERSEDIA

Tidak ada review pada koleksi ini: 36729

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