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 Buku
Title Computer aided verification: 9th international conf. Cav'97 Haifa, Israel, June 22-25, 1997 Proceedings/edited Orna Grunberg
Author International Conference, CAV'97;
Publisher Berlin Springer 1997
Subject Computer science
Location FASILKOM-UI;
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
004 Int c 99/8299 TERSEDIA
Tidak ada review pada koleksi ini: 2403
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
Analisis kualitas kayanan SI/TI berbasis persepsi kepuasan penguna : studi kasus badan koordinasi survei dan pemetaan nasional
Author: Yenny Elfrida Hutasoit; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2012
[Remove]
Smart cameras as embedded systems, page 48
Author: | Publisher: 0018-9162
[Remove]
Tinjauan terhadap pemenuhan faktor-faktor daya tarik pada aplikasi sarana komunikasi citizen-to-government berbasis media sosial: studi kasus Qlue Jakarta smart city
Author: Akhmad Rizal Dzikrillah; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2017
[Remove]
Design on temperature control simulator burner stove of wood, 227-232
Author: Saputro, Rahman Ardiansyah, Suvanri Sianturi, Yohannes Dewanto; | Publisher:
[Remove]
Solstice backup 4.2 : installation and product notes
Author: | Publisher: Sun Microsystems Inc, 1996
[Remove]
Excel for dummies 2nd edition/ by Greg Harvey
Author: Harvey, Greg; | Publisher:
[Remove]
An effective appaoach for topic-specific opinion summarization, Hal. 398-410
Author: Binyang Li; Lanjum Zhou; Wei Gao; Kam-Fai Wong; Zhongyu Wei; | Publisher: Springer, 2011
[Remove]
Solaris: user's guide solaris 2.5
Author: | Publisher:
[Remove]
Intelligent information retrieval: part IV, testing the timing of two information retrieval devices in a naturallistic setting, page 163
Author: | Publisher: Pergamon Press, 1963
[Remove]
Studi perbandingan sistem ekstraksi informasi berbahasa Indonesia/ Yuliana Kenyo Sejati
Author: Yuliana Kenyo Sejati; | Publisher:
[Remove]
Login
Advanced Search