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

PEMANFAATAN PROTOKOL SMTP UNTUK PENGIRIMAN DATA MULTIMEDIA PADA SISTEM JARINGAN KOMPUTER PAKET DATA

Type: Indeks Artikel prosiding/Sem

THE IMPLEMENTATION OF PACKET RADIO WIDE AREA NETWORK IN INDONESIA

Type: Indeks Artikel prosiding/Sem

DEVELOPMENT OF BANDUNG PACKET RADIO NETWORK

Type: Indeks Artikel prosiding/Sem

JARINGAN KOMPUTER UNTUK KEPERLUAN LINGKUNGAN INDUSTRI

Type: Indeks Artikel prosiding/Sem

A Satellite Interconnect System for Internetworking of local and Regional Networks

Type: Indeks Artikel prosiding/Sem

The Ofiicial Guide to the GRE Revised General Test

Type: Buku

How to Prepare for the TOEFL Test of English as a Foreign Language 10 th edition

Type: Buku

UI/UX Designer Internship di Katadata Perancangan Dashboard Katadata Green, Revamp data series, dan pembuatan one-page website untuk d-insights

Type: Kerja Praktek (KP)

Analisis Faktor yang Memengaruhi Continuance Intention pada Platform Peer-to-Peer Accommodation Berdasarkan Elaboration Likelihood Model: Studi Kasus Airbnb

Type: Skripsi

Evaluasi Aksesibilitas dan Perbaikan Desain Antarmuka Web Kampus DesigMerdeka Kemendikbudristek bagi Penyandang Disabilitas Penglihatan, Buta Warna, dan Attention Deficit Hyperactivity Disorder (ADHD) dengan Pendekatan User-centered n

Type: Skripsi

Favorite