Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	005.16 Bit f
Collection Type	Indeks Artikel LNCS
Title	Generalized quantitative temporal reasoning : an automata-theoretic approach (LNCS-Lecture Notes in Computer Science 1214), Hal. 189-200
Author	E. Allen Emerson; Richard J. Trefler;
Publisher	Springer, 1997
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
005.16 Bit f		TERSEDIA

Tidak ada review pada koleksi ini: 39163

Tidak ada abstrak pada koleksi ini

Latest Collection

Analisis Tingkat Kematangan Manajemen Proyek Dengan Kerangka Kerja KPMMM: Studi Kasus Perusahaan Konsultan Teknologi Informasi PT XYZ

Type: Karya Akhir (KA)

Analisis Faktor-Faktor Yang Memengaruhi Penerimaan Pengguna Aplikasi E-Government Dari Perspektif Masyarakat: Studi Kasus Aduankonten Kementerian Komunikasi dan Informatika Republik Indonesia

Type: Karya Akhir (KA)

Implementasi Improvement Modul Role Management dan Donasi pada Sistem Amanah untuk Charitable Organization

Type: Skripsi

Comparative Analysis of Retrieval Augmented Generation Architectures for Indonesian Law

Type: Skripsi

Pengembangan Teknik Video Streaming yang Scalable dan Low Latency Berbasis QUIC

Type: Skripsi

Pengembangan dan Evaluasi Antarmuka Aplikasi Moodle Pembangkitan Animasi Subtitle Bahasa Isyarat untuk Guru dan Siswa dengan Pendekatan User-Centered Design

Type: Skripsi

Analisis Faktor yang Memengaruhi Niat Penggunaan Aplikasi Digital Korlantas POLRI serta Evaluasi Usability dan Perbaikan Desain Antarmukanya

Type: Skripsi

Analisis Faktor-faktor yang mempengaruhi Continuance Intention Pengguna dalam Melakukan Online Gambling di Indonesia: Studi Kasus Permainan Slot

Type: Skripsi

Analisis Korelasi Image Quality Assesment Objektif dan Subjektif pada Dataset Citra Koniq-10K

Type: Skripsi

Development of Pacil Web Service (PWS) as Platform as a Service (PaaS) for Single Container Web Application Deployment in Pemrograman Berbasis Platform (PBP) Course of Faculty of Computer Science Universitas Indonesia

Type: Skripsi

Favorite