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	Some connections between iterative programs, recursive programs, and first-order logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 150-166
Author	A.J. Kfoury;
Publisher	Springer, 1981
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
004 Lec		TERSEDIA

Tidak ada review pada koleksi ini: 39708

Tidak ada abstrak pada koleksi ini

Latest Collection

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

Modularity and Tuning Mechanisms in the O2 System (440)

Type: Indeks Artikel prosiding/Sem

The Miro DBMS (439)

Type: Indeks Artikel prosiding/Sem

Spontaneous Polarization Of Pyroelectric PbTiO3 (221-225)

Type: Indeks Artikel prosiding/Sem

A Deductive and Object Database System: Why and How? (438-439)

Type: Indeks Artikel prosiding/Sem

Favorite