Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	005.1 Ner d
Collection Type	Buku
Title	Logic for applications second edition: graduate texts in computer science
Author	Nerode, Anil;
Publisher	New York: Springer-Verlag, 1997
Subject	Computer science-mathematics; Logic symbolic and mathematics
Location	FASILKOM-UI;

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
005.1 Ner d	03/10141	TERSEDIA

Tidak ada review pada koleksi ini: 3592

Tidak ada abstrak pada koleksi ini

Latest Collection

Membangun PC Cluster Berbasis Interkoneksi Statis menggunakan Topologi Ring dan Torus (131-138)

Type: Indeks Artikel prosiding/Sem

Pembuatan Program Processor Untuk DIstribusi Suhu Steady State Berdimensi Dua Berbasis Metode Elemen Hingga (124-130)

Type: Indeks Artikel prosiding/Sem

Dynamic Replica Allocation using Database Migration in Broadband Networks (376-384)

Type: Indeks Artikel prosiding/Sem

Dynamic Adaptive File Management in a Local Area Network (368-375)

Type: Indeks Artikel prosiding/Sem

Pengembangan Kode Komputer Solusi Persamaan Transport Neutron 1-D dengan Ekspansi Spherical Harmoniks P3 (120-123)

Type: Indeks Artikel prosiding/Sem

Layanan Discovery Untuk Grid Computing (114-119)

Type: Indeks Artikel prosiding/Sem

A Web Application Development With Open Source Solution (109-113)

Type: Indeks Artikel prosiding/Sem

A Client-Server Oriented Algorithm for Virtually Synchronous Group Membership in WANs (356-367)

Type: Indeks Artikel prosiding/Sem

Estimasi Emisi CO2 Dari Kebakaran Hutan (Sebuah Simulasi dan Aplikasi Dengan Menggunakan Visual FoxPro) (103-108)

Type: Indeks Artikel prosiding/Sem

Manajemen Linux Cluster menggunakan ROCKS 4.1 dan Integrasi Model Atmosfer WRF (99-102)

Type: Indeks Artikel prosiding/Sem

Favorite