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 9203 returns 2520 document(s)
Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set ...
Author: Cori, Rene; |
Call Number: 511.3 Cor m | Type: Buku
Find Similar Add to Favorite Open in New Tab
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
Mathematical logic for computer science
Author: Ben-Ari, M.; |
Call Number: 511.3 Ben m | Type: Buku
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
Mathematical logic for computer science 3rd ed.
Author: Ben-Ari Mordechai; |
Call Number: 511.3 Ben m | Type: Buku
Find Similar Add to Favorite Open in New Tab
Mathematical logic for computer science second edition
Author: Ben-Ari, Mordechai; |
Call Number: 511.3 Ben m | Type: Buku
Find Similar Add to Favorite Open in New Tab
Mathematical theory of program correctness/ Jaco de Bakker
Author: Baker, Jaco de; |
Call Number: 005.3 Bak m | Type: Buku
Find Similar Add to Favorite Open in New Tab
An introduction to mathematical reasoning/ Boris Iglewicz
Author: Iglewicz, Boris; |
Call Number: 511.3 Igl i | Type: Buku
Find Similar Add to Favorite Open in New Tab
Elements of the theory of computation
Author: Lewis, Harry R.; |
Call Number: 511 Lew e | Type: Buku
Find Similar Add to Favorite Open in New Tab
Logic based decision support: mixed integer model formulation
Author: Jeroslow, Robert G.; |
Call Number: 658.403 Jer 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 Internship di Katadata Perancangan Dashboard Katadata Green, Revamp data series, dan pembuatan one-page website untuk d-insights
Type: Kerja Praktek (KP)
Analisis Faktor yang Memengaruhi Continuance Intention pada Platform Peer-to-Peer Accommodation Berdasarkan Elaboration Likelihood Model: Studi Kasus Airbnb
Type: Skripsi
Evaluasi Aksesibilitas dan Perbaikan Desain Antarmuka Web Kampus DesigMerdeka Kemendikbudristek bagi Penyandang Disabilitas Penglihatan, Buta Warna, dan Attention Deficit Hyperactivity Disorder (ADHD) dengan Pendekatan User-centered n
Type: Skripsi
Analisis dan Penerapan PRICES-IDE pada Antarmuka Pengguna Supply Chain Management Software Product Line
Type: Skripsi
SATASIUN BUMI ITB UNTUK SATELIT ORBIT RENDAH
Type: Indeks Artikel prosiding/Sem
CAKAR JAYA DUA (Catur Karsa Jala dan Urusan Anda)
Type: Indeks Artikel prosiding/Sem
SATU DASA WARSA JASIPAKTA
Type: Indeks Artikel prosiding/Sem
RANCANGBANGUN SISTEM REPEATER RADIO GENERASI I SEBAGAI UJI COBA KOMUNIKASI DATA LAPAN
Type: Indeks Artikel prosiding/Sem
SUSTAINABLE DEVELOPMENT NETWORKING PROGRAMME (SDNP) IN INDONESIA : STATUS AND PROSPECT
Type: Indeks Artikel prosiding/Sem
PERKEMBANGAN INFORMATION INFRASTRUCTURE DALAM MENSUKSESKAN PJP II
Type: Indeks Artikel prosiding/Sem
Favorite
Login
Advanced Search