Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	004 Lec
Collection Type	Indeks Artikel LNCS
Title	Synthesis of communicating progresses from temporal logic specifications, (LNCS-Lecture Notes in Computer Science 131) Hal. 253-281
Author	Zohar Manna; Pierre Wolper;
Publisher	Springer, 1981
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
004 Lec		TERSEDIA

Tidak ada review pada koleksi ini: 39712

Tidak ada abstrak pada koleksi ini

Latest Collection

Perancangan Pengembangan Keamanan Identity and Access Management Terpusat pada Arsitektur Microservice: Studi Kasus PUSILKOM UI

Type: Karya Akhir (KA)

Perancangan Antarmuka dan Fitur Training Management System (TMS): Studi Kasus Divisi Corporate University PT XYZ

Type: Karya Akhir (KA)

Essentials of Statistics for the Behavioral Sciences (MindTap Course List) 10th Edition (INSTRUCTOR'S MANUAL)

Type: Instructor's Manual (Khusus Do

Kerja Praktik Proses Pengembangan Produk Biller di PT Alto Network

Type: Kerja Praktek (KP)

Analisis Dark Pattern dan Rekomendasi Desain pada Aplikasi Mobile Ride-Hailing di Indonesia: Gojek, Grab, Maxim

Type: Skripsi

Analisis Peforma Algoritma Bubble Sort dan Perkalian Matriks dalam Java, Python, PHP. dan Rust

Type: Skripsi

Optisign: Motion-aware end to endFramework Model for Blur Resistant Sign Language Recognition and Interpretation

Type: Tesis

Penggunaan Diagram Voronoi pada Metode Low-Rank Sparse Dark Channel Prior untuk Penghapus Awan

Type: Tesis

Perancangan Kerangka Kerja Kesiapan Customer Knowledge Management pada Usaha Mikro Kecil dan Menengah

Type: Tesis

Pengukuran Terintegrasi User Interface Usability dan User Experience: Sebuah Model Konseptual

Type: Tesis

Favorite