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
Home
/
Search for:
Your search for 33797 returns 1304 document(s)
A new introduction to modal logic
Author: Hughes, G.E.; |
Call Number: 160 Hug n | Type: Buku
Find Similar Add to Favorite Open in New Tab
Modal logic/ Patrick Blackburn
Author: Blackburn, Patrick; |
Call Number: 511.3 Bla m | Type: Buku
Find Similar Add to Favorite Open in New Tab
Introduction to logic
Author: Pospesel, Howard; |
Call Number: 511.3 Pos i | Type: Buku
Find Similar Add to Favorite Open in New Tab
Introduction to logic programming
Author: John Hogger, Christopher; |
Call Number: 005.115 Joh i | Type: Buku
Find Similar Add to Favorite Open in New Tab
Formal logic: its scope and limits
Author: Jeffrey, Richard C.; |
Call Number: 160 Jef f | Type: Buku Pusat
Find Similar Add to Favorite Open in New Tab
A Mathematical introduction to logic/ Herbert B. Enderton
Author: Enderton, Herbert B.; |
Call Number: 511.3 End m | Type: Buku
Find Similar Add to Favorite Open in New Tab
Formal logic: its scope and limits/ Richard Jeffrey
Author: Jeffrey, Richard; |
Call Number: 160 Jef f | Type: Buku
Find Similar Add to Favorite Open in New Tab
Deductive logic and Description language/ Frank R. Harrison III
Author: Harrison, Frank R.; |
Call Number: 511.3 Har d | Type: Buku
Find Similar Add to Favorite Open in New Tab
Introduction to logic programming
Author: Hogger, Christopher John; |
Call Number: 004.61 Hog i | Type: Buku Pusat
Find Similar Add to Favorite Open in New Tab
An Introduction to probability and inductive logic/ Ian Hacking
Author: Hacking, Ian; |
Call Number: 160 Hac i | Type: Buku
Find Similar Add to Favorite Open in New Tab
Prev   1 2 3 4 5 6 7 8 9 10  Next
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
Design methodology for a data base environment
Author: Inmon, William H.; | Publisher: London: Prentice Hall, 1982
[Remove]
Author: | Publisher:
[Remove]
SunOS 5.3 administering NFS
Author: | Publisher:
[Remove]
Perancangan prosedur operasional standar requirement engineering pada pengembangan perangkat lunak: studi kasus subdirektorat integrasi pengolahan data badan pusat statistik
Author: Aulia Roza Albareta; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2017
[Remove]
Reviews in graph theory vol. 2/ William G. Brown
Author: Brown, William G.; | Publisher: American Mathematical Society, 1980
[Remove]
Sistem temu kembali citra dengan ukuran kemiripan warna dalam ruang RGB berbasis sistem inferensi fuzzy, Hal. 161-165
Author: Yeni Herdiyeni; M. Rahmat Widyanto; | Publisher: NACSIT 2007 : Proceedings National Conference on Computer Science
[Remove]
Implementasi prototype lingu pada studi kasus student entrance test, Hal. 281-284
Author: Carroline D. Puspa; Heru Suhartanto; Ade Azurat, Siti Aminah; | Publisher: Prosiding : Konferensi Nasional Sistem Informasi 2006, Bandung 18 Februari 2006
[Remove]
Analisis identitas manusia melalui pola iris mata menggunakan transformasi wa velet dan mahalanobis distance.
Author: Ronald Ommy Y, Achmad Rizal, M. Ary Muri; | Publisher: Proceedings konferensi nasional sistem
[Remove]
Design and Implementation of a WSN based Remote Monitoring System for Street Lighting (V1-277 -- V1-280)
Author: Jun ZhangHui WangGuifang QiaoYunshuai Zhu; | Publisher:
[Remove]
Faktor-faktor yang mempengaruhi kesuksesan penerapan sistem manajemen pengetahuan: studi kasus kementerian perindustrian
Author: Pristywati Endah Pratiwi; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2019
[Remove]
Login
Advanced Search