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	Design and synthesis of synchronization skeletons using brancing time temporal logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 52-71
Author	Edmund M. Clarke;
Publisher	Springer, 1981
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
004 Lec		TERSEDIA

Tidak ada review pada koleksi ini: 39703

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