Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Tipe Koleksi	Indeks Artikel Jurnal
Nama Jurnal	ACM JOURNAL
Volume	[47(2000): 2]
Judul Artikel	Logic in Computer Science: An Automata-Theoretic Approach to Branching-Time Model Checking
Penulis
Penerbit Jurnal	New York: The Assoction for Computing Machinery

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
		TERSEDIA

Tidak ada review pada koleksi ini: 12462

Tidak ada abstrak pada koleksi ini

Latest Collection

Master Data Management Maturity Assessment : A Case Study of A Pasar Rebo Public Hospital (497-504)

Type: Indeks Artikel prosiding/Sem

Identifikasi Iklim Mikro pada Single-Span Greenhouse Daerah Tropis menggunakan Artificial Neural Network (30)

Type: Indeks Artikel prosiding/Sem

Maturity Model untuk Enterprise Architecture Planning (29)

Type: Indeks Artikel prosiding/Sem

Reasoning about the Cascading Failure of Financial Network Using Prolog (489-496)

Type: Indeks Artikel prosiding/Sem

Prototipe Program Kesiapsiagaan Tsunami : Bangunan Berbasis GIS (29)

Type: Indeks Artikel prosiding/Sem

Pembangunan Program Pembangkit ITWM Berbasiskan SVG: Pengolahan Kartografi (28)

Type: Indeks Artikel prosiding/Sem

The Development Of A Malacca Straits Oil Spill Response Information System (28)

Type: Indeks Artikel prosiding/Sem

Incremental Inductive Learning of Answer Set Programs for Maps Generation Problems (483-488)

Type: Indeks Artikel prosiding/Sem

Vehicle Fuel Monitoring and Management using RFID authentication and Telematics Notification (477-482)

Type: Indeks Artikel prosiding/Sem

Secure Remote From Field Fillin Dalam Dokumen Word Melalui XML Web Service (27)

Type: Indeks Artikel prosiding/Sem

Favorite