Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	004 Int c
Collection Type	Indeks Artikel LNCS
Title	Partial-order reduction in symbolic state space exploration, (LNCS-Lecture Notes in Computer Science 1254) Hal 340-351
Author	R. Alur; R.K. Brayton; T.A. Henzinger; S. Qadeer; S.K. Rajamani;
Publisher	Springer, 1997
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
004 Int c		TERSEDIA

Tidak ada review pada koleksi ini: 38836

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