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	A metalanguage for the formal requirement specification of reactive systems, (LNCS-Lecture Notes in Computer Science 670) Hal 110-128
Author	Egidio Astesiano; Gainna Reggio;
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: 38956

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