Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	SEM-374
Collection Type	Indeks Artikel prosiding/Sem
Title	Simulations in Rank-Based Buchi Automata Complementation (447-467)
Author	Yu-Fang Chen Vojtech Harvlena Ondrej Lengal;
Publisher
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
SEM-374		TERSEDIA

Tidak ada review pada koleksi ini: 52220

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