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 38324 returns 2484 document(s)
Guard and continuation optimization for occurrence representations of CHR, (LNCS-Lecture N...
Author: Jon Sneyers; Tom Schrijvers; Bart Demoen; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Parallelizing union-find in constraint handling rules using confluence analysis, (LNCS-Lec...
Author: Thom Fruhwirth; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
An optimised semantic web query language implementation in prolog, (LNCS-Lecture Notes in ...
Author: Jan Wielemaker; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A distributed and probabilistic concurrent constraint programming language, (LNCS-Lecture ...
Author: Luca Bortolussi; Herbert Wiklicky; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Towards implementations for advanced equivalence checking in answer-set programming, (LNCS...
Author: Hans Tompits; Stefan Woltran; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Hybrid probabilistic logic programs with non-monotonic negation, (LNCS-Lecture Notes in Co...
Author: Emad Saad; Enrico Pontelli; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Reducing inductive definitions to propositional satisfiability, (LNCS-Lecture Notes in Com...
Author: Nikolay Pelov; Eugenia Ternovska; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Dynamic mixed-strategy evaluation of tabled logic programs, (LNCS-Lecture Notes in Compute...
Author: Ricardo Rocha; Fernando Silva; Vitor Santos Costa; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Nondeterminism analysis of functional logic programs, (LNCS-Lecture Notes in Computer Scie...
Author: Bernd Brarel; Michael Hanus; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Techniques for scalling up analyses based on pre-interpretations, (LNCS-Lecture Notes in C...
Author: John P. Gallagher; Kim S. Henriksen; Gourinath Banda; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Prev   4 5 6 7 8 9 10 11 12 13  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
Programming PHP/ Rasmus Lerdorf
Author: Lerdorf, Rasmus; | Publisher: Beijing: O'Reilly, 2002
[Remove]
Rancangan standar kompetensi jabatan divisi teknologi informasi : Studi Kasus PT.Asuransi Umum Bumiputera Muda 1967
Author: Rangga Cipta Pratama; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2013
[Remove]
Sistem perolehan informasi geografis untuk dokumen berbahasa Indonesia
Author: Monica Lestari Paramita; | Publisher:
[Remove]
Reserve engineering aplikasi monitoring dan dispatch PT Taksi Situ
Author: Monica Marianes; | Publisher: Depok: Fakultas Ilmu Komputer UI, 2016
[Remove]
Beginning access 97 VBA programming/Robert Smith
Author: Smith, Robert; | Publisher: Wrox Press 1997
[Remove]
Pola Tata Kelola TI di beberapa Perusahaan Indonesia
Author: Hendri Irawan; | Publisher: Jakarta: Pascasarjana MTI UI, 2008
[Remove]
Desain dan implementasi basis data multidimensi untuk pengembangan aplikasi pemantauan biaya (studi kasus di PT ARCO)
Author: Teja Sukmana; | Publisher:
[Remove]
Cryptography and Network security: principles and practice 4th ed.
Author: Stallings, William; | Publisher: Upper saddle River : Prentice Hall, 2006
[Remove]
Aspects of swedish morphology and semantic from the perspective of mono-and cross language information retrieval, page 147
Author: | Publisher: Pergamon Press, 1963
[Remove]
Analisa TI Proyek dan Unit Bisnis untuk PT Agrinas
Author: Clarisa Mirah Sekarsari; | Publisher: Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2021
[Remove]
Login
Advanced Search