Home Profile Contact Us
Quick Link
Universitas Indonesia Perpustakaan Universitas Indonesia Fakultas Ilmu Komputer Universitas Indonesia Remote Library Universitas Indonesia
Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Advanced Search
Informasi Umum Stock File Digital Member Review Table of Content Abstract

Find Similar Add to Favorite

Call Number 004 Int c
Collection Type Indeks Artikel LNCS
Title Efficient model checking using tabled resolution,(LNCS-Lecture Notes in Computer Science 1254) Hal 143-154
Author Y.S. Ramakrishna; C.R. Ramakhrisnan; I.V. Ramakrishnan; Scott A. Smolka; Terrance Swift; David S. Warren;
Publisher Springer, 1997
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
004 Int c TERSEDIA
Tidak ada review pada koleksi ini: 38818
Tidak ada abstrak pada koleksi ini
Latest Collection
Evaluasi Usability dan Perbaikan Desain Antarmuka M.TIX Sebagai Platform Pembelian Tiket Secara Daring
Type: Skripsi
UI/UX Designer at PT Impactbyte Teknologi Edukasi
Type: Kerja Praktek (KP)
A First course in differential equations with modeling applications 12 ed.
Type: Buku
Analisis dan Perancangan Aplikasi PendukungPembelian Produk Sustainable Fashion
Type: Skripsi
Integrasi Sistem Pengecekan Plagiarisme Elang dengan Sistem Informasi Sidang(Sisidang) Fakultas Ilmu Komputer Universitas Indonesia
Type: Skripsi
Analisis dan Perancangan Aplikasi Manajemen Keuangan Pribadi untuk Penggunaan Berkelanjutan : Suatu Penelitian Design Science
Type: Skripsi
Analisis Sentimen Dan Pemodelan Topik Pada Ulasan Aplikasi Digital KORLANTAS
Type: Karya Akhir (KA)
Analisis Perbaikan Bisnis Proses Dan Perancangan Prototipe Sistem Pelatihan Daring Berbasis MOOC: Studi Kasus SEAMOLEC
Type: Karya Akhir (KA)
Faktor-Faktor Yang memengaruhi Penggunaan Knowledge Portal: Studi Kasus Divisi Telkom Regional 2 PT Telkom Indonesia
Type: Karya Akhir (KA)
Analisis Faktor-Faktor yang Memengaruhi Penerimaan Pengguna Core Banking System: Studi Kasus Institusi Finansial
Type: Karya Akhir (KA)
Favorite
Medical dictionery health manual
Author: Rothenberrg,Robert E.; | Publisher: Sam Francisoo 7-13-75
[Remove]
Collaborative filtering implementation with autoencoder on loyalty platfrom data
Author: Tanya Nabila; | Publisher:
[Remove]
Research and implementation on dynamic plug-in framework for service-oriented architecture, 325-328
Author: Da Wei, Yang Hebiao, Hang Zhengbo; | Publisher:
[Remove]
Pengenalan objek 3 dimensi dengan menggunakan jaringan syaraf tiruan hemisphere structure of hidden layer/ Galuh Dian Maulana
Author: Galuh Dian Maulana; | Publisher: Depok: Fasilkom UI, 2001
[Remove]
Intelligent knowledge based systems: an introduction
Author: Black, W.J.; | Publisher: Van Nostrand Reinhold 1986
[Remove]
Perencanaan tata kelola infrastruktur teknologi informasi dengan pendekatan best practices: studi kasus sebuah Institusi Keuangan Pemerintah
Author: Puspita Kencana Sari; | Publisher: Jakarta: Pascasarjana MTI, FASILKOM-UI, 2009
[Remove]
Theory and practice of error control codes/ Richard E. Blahut
Author: Blahut, Richard E.; | Publisher: Reading,Mass: Addison-Wesley, 1983
[Remove]
A Distributed load balancing scheme for parallel logic programming, Hal. II.66-II.73
Author: Zheng Lin; Jack Minker; | Publisher: Proceedings of the 1992 international conference on parallel processing August, 17-21, 1992 vol.2: software
[Remove]
ATE: Automatic Test Equipment/ Allan C. Stover
Author: Stover, Allan C.; | Publisher:
[Remove]
Konperensi komputer nasional III: kumpulan makalah Jakarta, 8-11 Oktober 1985
Author: | Publisher:
[Remove]
Login
Advanced Search