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 38614 returns 2562 document(s)
Using cylindrical algebraic decomposition for the analysis of slope parametric hybrid auto...
Author: Michael Adlaide; Olivier Roux; |
Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Verifying universal properties of parameterized networks, (LNCS-Lecture Notes in Computer ...
Author: Kai Baukus; Yassine Lakhnech; Karsten Stahl; |
Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Teraflops computing: a challenge to parallel numerics? (LNCS-Lecture Notes in Computer Sci...
Author: Friedel Hossfeld; |
Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Towards a probabilistic model logic for semantic-based information retrieval, Hal. 140-151...
Author: Jian-Yun Nie; |
Call Number: SEM-254 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Scaling up uppaal automatic verification of real-time systems using compositionality and a...
Author: Henrik Ejersbo Jensen; Kim Guldstrand Larsen; Arne Skou; |
Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Linear logic in computer science
Call Number: 519.72 Lin | Type: Buku
Find Similar Add to Favorite Open in New Tab
Logic: a foundation for computer science
Author: Sperschneider, V.; |
Call Number: 004 Spe e | 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
Epistemic logic for AI and computer science
Author: Meyer, J.J. CH.; |
Call Number: 006.3 Mey e | Type: Buku
Find Similar Add to Favorite Open in New Tab
Update on seed seed-192/256, (LNCS-Lecture Notes in Computer Science 5576) Hal. 1-10
Author: Kitae Jeong; Joongeun Choi; Yoseop Lee; Changhoon Lee; Jacchul Sung; Haeryong Park; Yeonjung Kang; |
Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Prev   2 3 4 5 6 7 8 9 10 11  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
Production Planning and Inventory ControlInformation System (PPICIS)
Author: Amir Syafrudin; Aresto Yudo Sujono; Bagus Dewantara; Baya Untara Hartono; Saputro; Ratna Aditia; | Publisher:
[Remove]
Strategic Management Concepts and Cases
Author: Thomson,Stricklan; | Publisher: Mc Graw Hill
[Remove]
Pengembangan ellet management systems (FMS) PT. Harmonik Teknologi Peentar
Author: Asti Dwiyana; | Publisher:
[Remove]
Login
Advanced Search