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

Evaluasi Tingkat Kematangan Adopsi Devops: Studi Kasus Badan Pusat Statistik

Type: Karya Akhir (KA)

REKOMENDASI PENEMPATAN PEGAWAI MENGGUNAKAN ALGORITMA SUPERVISED MACHINE LEARNING DAN RULE-BASED EXPERTS: STUDI KASUS INSTANSI PENDIDIKAN

Type: Karya Akhir (KA)

Evaluasi Usability dan Rekomendasi Desain Antarmuka Perbaikan Antarmuka Permata Karir: Studi Kasus PT Bank Permata Tbk

Type: Karya Akhir (KA)

Pengukuran Tingkat Kesadaran Pegawai terhadap Keamanan Informasi: Studi Kasus Badan Kepegawaian Negara

Type: Karya Akhir (KA)

Faktor-Faktor Yang Memengaruhi Implementasi Satu Data Di Pemerintahan Kota Depok

Type: Karya Akhir (KA)

Evaluasi Usability & Rekomendasi Perbaikan Desain Antarmuka Sistem Self-Service dalam Penyelesaian Kendala Pelanggan E-commerce

Type: Karya Akhir (KA)

Optimasi Penentuan Target Pemeriksaan Pelanggan Anomali Studi Kasus Perusahaan Tenaga Listrik

Type: Karya Akhir (KA)

Evaluasi Penggunaan dan Rekomendasi Perbaikan Omnichannel Management System pada PT Paragon Technology and Innovation

Type: Karya Akhir (KA)

Analisis Faktor-faktor yang Memengaruhi Praktik Knowledge Sharing dan Dampaknya Terhadap Kemampuan Inovasi Perusahaan: Studi Kasus PT XYZ

Type: Karya Akhir (KA)

PT XYZ-Pengembangan Aplikasi Mobile untuk Platform Android

Type: Kerja Praktek (KP)

Favorite