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 24809 returns 870 document(s)
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
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
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
Logic machines & diagrams/ Martin Gardner
Author: Gardner, Martin; |
Call Number: 621.395 Gar l | Type: Buku
Find Similar Add to Favorite Open in New Tab
Mathematical logic
Author: Kleene, Stephen Cole; |
Call Number: 511.3 Kle m | Type: Buku
Find Similar Add to Favorite Open in New Tab
Logic programming
Call Number: 005.115 Log | 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
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
Lectures on the logic of computer programming
Author: Manna, Zohar; |
Call Number: 005.1 Man l | 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
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)
Evaluasi Usability dan Rekomendasi Desain Virtual Community Pada Marketplace Produk Digital Itemku
Type: Karya Akhir (KA)
Favorite
Solaris 2.3 SunOs user's guide to system administration
Author: | Publisher: Sun Microsystems Inc, 1993
[Remove]
Implementation of prolog/ edited J.A. Campbell
Author: | Publisher: New York: Ellis Horwood, 1984
[Remove]
Tutorial: advanced computer architecture/Dharma P. Agrawal
Author: Agrawal, Dharma P.; | Publisher: Washington DC IEEE Computer Society 1986
[Remove]
Pembuatan aplikasi traffic prediction berbasiskan platform numenta
Author: Agung Putra Pasaribu; | Publisher:
[Remove]
Cable network, services, and management/ edited Mehmet Toy
Author: | Publisher: Hoboken: John Wiley
[Remove]
Sistem temu kembali informasi multimedia terpadu berbasis konsep
Author: Ridwan Andi Kambau; | Publisher:
[Remove]
Linux focus.org: limited vol.06 Oktober 2005
Author: | Publisher:
[Remove]
The Study of the relationship between and regional logistical network system and industry cluster, Hal. 3721-3724
Author: DXin Yan, Feng Hai; Xiao Shao; | Publisher: 2011 International Conference on information science and engineering (ICISE) Sept. 29th-Oct. 1st 2011 in Yangzou, China
[Remove]
UML in a nutshell: a destop quick reference/Siman Si Albitz
Author: Albir, Si Siman; | Publisher:
[Remove]
Pengembangan Sistem Tanya-Jawab yang Mengintegrasikan Generative Pre-trained Transformer (GPT) dengan Peraturan Perundang-undangan Indonesia Menggunakan Framework LlamaIndex dan LangChai
Author: Daniel F. P. SimangunsonThariq Razan; | Publisher:
[Remove]
Login
Advanced Search