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 29055 returns 2995 document(s)
Mtahematical logic:a course with exercises part I: propositional calculus, boolean, algebr...
Author: Cori, Rene; |
Call Number: 511.3 Cor m | Type: Buku
Find Similar Add to Favorite Open in New Tab
The logic of computer aritmetic
Author: Fores, Ivan; |
Call Number: 510.78 Flo l | Type: Buku
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
An Introduction to non-classical logic/ Graham Priest
Author: Priest, Graham; |
Call Number: 511.3 Pri i | Type: Buku
Find Similar Add to Favorite Open in New Tab
Structured programming/ Welland Ray
Author: Welland, Ray; |
Call Number: 005.113 Wel s | Type: Buku
Find Similar Add to Favorite Open in New Tab
Computational complexity of sequential and parallel algorithms
Author: Kronsjo, Lydia; |
Call Number: 005.1 Kro c | Type: Buku
Find Similar Add to Favorite Open in New Tab
First-order logic and automated proving
Author: Fitting, Melvin; |
Call Number: 511.3 Fit f | Type: Buku
Find Similar Add to Favorite Open in New Tab
Logic programming prolog and its applications/ Bob Kowalski
Author: Kowaslki, Bob; |
Call Number: R. 006.3 Kow l | Type: Buku
Find Similar Add to Favorite Open in New Tab
Why prolog?: justifying logic programming for practical applications
Author: Lazarev, Gregory L.; |
Call Number: 006.3 Laz w | Type: Buku
Find Similar Add to Favorite Open in New Tab
Embedded Real-Time Systems/ Jean Paul Calvez
Author: Calvez, Jean Paul; |
Call Number: 004.33 Cal e | Type: Buku
Find Similar Add to Favorite Open in New Tab
Prev   9 10 11 12 13 14 15 16 17 18  Next
Latest Collection
Analisis Peringkat Faktor Penentu Kesuksesan Proyek Pembaruan Aplikasi SOA Menggunakan Analytic Hierarchy Process (AHP) dan Rekomendasi Perbaikan: Studi Kasus PT Bank XYZ
Type: Karya Akhir (KA)
Kerangka Kerja Transisi dan Adopsi Agile: Studi Kasus Aplikasi Perizinan Online Kementrian ESDM
Type: Karya Akhir (KA)
Analisis Faktor-Faktor Perilaku Pengguna Dalam Menghindari Ancaman Keamanan pada Mobile Banking
Type: Karya Akhir (KA)
Perancangan Strategi Tata Kelola Data: Studi Kasus Pemerintah Kabupaten Sumenep
Type: Karya Akhir (KA)
Analisis Faktor-Faktor yang Memengaruhi Niat Pengguna dalam Menggunakan Fitur Ulasan Produk pada Aplikasi Tokopedia
Type: Karya Akhir (KA)
Perancangan Strategi Sistem Informasi Pada Software Development Company: Studi Kasus PT XYZ
Type: Karya Akhir (KA)
Perancangan Manajemen Keamanan Informasi Sistem Pemerintahan Berbasis Elektronik Menggunakan Peraturan Badan Siber dan Sandi Negara Nomor 4 Tahun 2021 dan ISO/IEC 27001:2022: Studi Kasus Pusat Penelitian, Data dan Informasi Badan Narkotika Nasional
Type: Karya Akhir (KA)
Asesmen Maturitas Kualitas Data: Studi Kasus PT.DEF
Type: Karya Akhir (KA)
Analisis Faktor-Faktor Yang Memengaruhi Perpindahan Niat Berbelanja Ke Fitur E-Fulfillment: Studi Kasus Dilayani Tokopedia
Type: Karya Akhir (KA)
Analisis Pengaruh Personalisasi Produk dan Service Quality Pada Niat Keberlanjutan Pengguna Online Grocery: Studi Kasus Tokopedia NOW!
Type: Karya Akhir (KA)
Favorite
Kecerdasan buatan (buku/monograph)/ Deborah Lukman
Author: Lukman, Deborah | Publisher: Jakarta
[Remove]
Login
Advanced Search