Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Tipe Koleksi	Indeks Artikel Jurnal
Nama Jurnal	ACM TRANS. ON SOFTWARE ENGINEERING AND METHODOLOGY
Volume	[9(2000): 4]
Judul Artikel	Proof Linking: Modular Verification of Mobile Programs in the Presence of Lazy, Dynamic Linking, page 379-409
Penulis
Penerbit Jurnal	New York: The Association for Computing Machinery

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
		TERSEDIA

Tidak ada review pada koleksi ini: 13420

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