Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	004 Woo f
Collection Type	Indeks Artikel LNCS
Title	Symbolic Model checking for distributed real-time systems,(LNCS-Lecture Notes in Computer Science 670) Hal 632-651
Author	Farn Wang; Aloysius Mok; E. Allen Emerson;
Publisher	Springer, 1993
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
004 Woo f		TERSEDIA

Tidak ada review pada koleksi ini: 39025

Tidak ada abstrak pada koleksi ini

Latest Collection

Perancangan dan evaluasi desain antarmuka manajemen housing: solusi digital untuk pengelolaan manajemen user -centered design

Type: Skripsi

Pengembangan Sistem Evaluasi Pembelajaran Berbasis Large Linguage Model Terintegrasi dengan Learning Management System dan Platform Portal Kuis

Type: Skripsi

Evaluasi Aksesibilitas dan Perbaikan Desain Antarmuka Aplikasi Transportasi umum bagi Penyandang Gangguan Penglihatan Buta Warna dan Attention Deficit Hyperactivity Disorder (ADHD)

Type: Skripsi

Pengembangan Platform Web Pembantuan Pengajaran Menggunakan Strategi 5 E

Type: Skripsi

Estimasi Indikator Kualitas Air Sungai Menggunakan Citra Supwer Resolution Sentinel-2

Type: Skripsi

Desain dan Evaluasi Aplikasi Latihan Debat Berbasis Daring Menggunakan Metode User Centered Design

Type: Skripsi

Analisis Faktor-faktor yang Memengaruhi Discontinuance Intention pada Aplikasi Social Media: Studi Kasus SNAPCHAT

Type: Skripsi

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

Favorite