Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	005.015 Hut l
Collection Type	Buku
Title	Logic in computer science:Modelling and reasoning about systems 2nd ed.
Author	Huth, Michael;
Publisher	New York: Cambridge,2004
Subject	Computer Logic
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
005.015 Hut l	05/10671 (Asli)	TERSEDIA
005.015 Hut l	05/10671 A fotokopi	TERSEDIA
005.015 Hut l	05/10761(Asli)	TERSEDIA
005.015 Hut l	06/11140 (Asli)	TERSEDIA

Tidak ada review pada koleksi ini: 7348

Tidak ada abstrak pada koleksi ini

Latest Collection

Deteksi Perubahan Penutup Lahan Berdasarkan Algoritma Wavelet A Troust Dengan Menggunakan Citra SAR (151-157)

Type: Indeks Artikel prosiding/Sem

Evaluation of the Ergonomics Instrumentation As A Cognitive Measuring Instrument In The lighting Prevalence on Workers Response Time (164-168)

Type: Indeks Artikel prosiding/Sem

Bergonomics Improvement of Inside the Tractor Cab: Climatization, Vibration-Proff, Driving Position and Instrumentation Control (161-163)

Type: Indeks Artikel prosiding/Sem

Design and Siulation Neural Network-Based Control Type Regulator fot Antilock Braking System (156-160)

Type: Indeks Artikel prosiding/Sem

Design and simulation of Adaptive Neural Network Fuzzy Inference System (ANFIS) for Continuous Casting Mold Level Control (151-155)

Type: Indeks Artikel prosiding/Sem

Ekstraksi Karakteristik Sidik Jari : Penentuan Posisi Core Dan Delta (147-150)

Type: Indeks Artikel prosiding/Sem

Implementation of Fuzzy Logic Controller for Solar Array Maximum Power Point Tracker Using Inexpensive 8-bit Microcontroller (144-150)

Type: Indeks Artikel prosiding/Sem

Kontrol Gerakan Kamera Mengikuti Gerakan Suatu Obyek (143-146)

Type: Indeks Artikel prosiding/Sem

Rancangan Sistem Pengendalian Debit Dan Suhu Air Pada Budidaya Ikan Patin (139-142)

Type: Indeks Artikel prosiding/Sem

Real-time Vessel Automatic Docking Using Adaptive Fuzzy System-based Controller (139-143)

Type: Indeks Artikel prosiding/Sem

Favorite