Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	Mak T Jilid 016-035 (T-1210) (Mak T-020)
Collection Type	Makalah Tesis
Title	Formalization Of Arithmetic Algorithm In Vdhl Using Hol Theorem Prover
Author	Dwi Teguh Priyantini; Ade Azurat;
Publisher
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
Mak T Jilid 016-035 (T-1210) (Mak T-020)		TERSEDIA

Tidak ada review pada koleksi ini: 50578

Tidak ada abstrak pada koleksi ini

Latest Collection

Evaluation of Signature Files as Set Access Facilities in OODBs (247-256)

Type: Indeks Artikel prosiding/Sem

Kendali Adaptif pada Lampu Lalu Lintas Memakai Logika Fuzzy (107-111)

Type: Indeks Artikel prosiding/Sem

Efficient Processing of Spatial Joins Using R-trees (237-246)

Type: Indeks Artikel prosiding/Sem

Temporal Modules: An Approach Toward Federated Temporal Databases (227-236)

Type: Indeks Artikel prosiding/Sem

Pengatur Suhu CSDA (Compact Spray Drier Atomizer) memakai Logika Fuzzy (103-106)

Type: Indeks Artikel prosiding/Sem

Loading Data into Description Reasoners(217-226)

Type: Indeks Artikel prosiding/Sem

Pemilihan ATM (Asynchronous Tranfer Mode) Service Untuk Aplikasi-Aplikasi Di PT Caltex Pacific Indonesia. Suatu Studi Kasus (98-102)

Type: Indeks Artikel prosiding/Sem

Mining Asspciation Rules between Sets of Items in Large Databases (207-216)

Type: Indeks Artikel prosiding/Sem

Real-Time Transaction Scheduling: A COst Conscious Approach (197-206)

Type: Indeks Artikel prosiding/Sem

Analisa Kinerja Error Sistem Trellis Coded Modulation 8-PSK (93-97)

Type: Indeks Artikel prosiding/Sem

Favorite