Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	005 Pro
Collection Type	Buku
Title	Proses verifikasi prinati lunak basis data dengan lingu dan theorem prover hol
Author
Publisher	Jakarta: Universitas Indonesia, 2007
Subject	Software
Location	FASILKOM-UI;

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
005 Pro	13/12289 (Asli)	TERSEDIA

Tidak ada review pada koleksi ini: 40117

Tidak ada abstrak pada koleksi ini

Latest Collection

Pembuatan Website Personal Branding dan Chat Widget CV.Lumintu Logic

Type: Kerja Praktek (KP)

Analisis dan Redesain Aplikasi Flashcard Anki dengan Metode User-Centered Design

Type: Skripsi

Perancangan dan Evaluasi Antarmuka Aplikasi Mobile Health untuk Berhenti Merokok Bebas Rokok

Type: Skripsi

Analisis Sentimen Berbasis Aspek Pada Social Commerce Menggunakan Data Twitter

Type: Karya Akhir (KA)

DDB: An Object Oriented Design Data Manager for VLSI CAD (467-470)

Type: Indeks Artikel prosiding/Sem

Architecture of the Encina Distributed Transaction Processing Family (460-466)

Type: Indeks Artikel prosiding/Sem

Concurrency Control and Recovery of Multidatabase Work Flows in Telecommunication Applications (456-459)

Type: Indeks Artikel prosiding/Sem

Paraller Database Processing on the KSR1 Computer (453-455)

Type: Indeks Artikel prosiding/Sem

IBM's Relational DBMS Products: Features and Technologies (445-452)

Type: Indeks Artikel prosiding/Sem

Single Logical View over Enterprise-Wide Distributed Databases (441-444)

Type: Indeks Artikel prosiding/Sem

Favorite