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 38328 returns 5141 document(s)
Computer aided for list implementation in data structure ( hal 108 - 111)
Author: Ng Melissa Angga, Susana Limanto; |
Call Number: SEM - 362 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
PS-LTL for constraint-based security protocol analysis, (LNCS-Lecture Notes in Computer Sc...
Author: Ricardo Corin; Ari Saptawijaya; Sandro Etalle; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Concurrent methodologies for global optimization, (LNCS-Lecture Notes in Computer Science ...
Author: Luca Bortolussi; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A temporal programming language for heterogenous information systems, (LNCS-Lecture Notes ...
Author: Vitor Noguiera; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Nonmonotonic logic programs for the semantic web, (LNCS-Lecture Notes in Computer Science ...
Author: Roman Schindlauer; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
ICLP 2005 doctoral consortium silcc is linear concurrent constraint programming, (LNCS-Lec...
Author: Remy Haemmerle; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Analysis and optimization of CHR programs, (LNCS-Lecture Notes in Computer Science 3668) H...
Author: Jon Sneyers; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
OWL: a description logic based ontology language (extended abstract), (LNCS-Lecture Notes ...
Author: Ian Horrocks; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
On the relation between answer set and sat procedures (or, between cmodels and smodels),(L...
Author: Enrico Giunchiglia; Marco Maratea; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
The need for ancestor resolution when answering queries in horn clause logic, ((LNCS-Lectu...
Author: Oliver Ray; |
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
Analisis Model Bisnis dan Fitur Platform Startup Decluttering Barang Second Hand Menggunakan Metode Lean StartUp
Type: Karya Akhir (KA)
Model Pengelolaan Technical Debt Dengan Metode Lean Dan Agile: Studi Kasus Perusahaan Sekuritas PT XYZ
Type: Karya Akhir (KA)
Identifikasi Faktor Penting Untuk Meningkatkan Kualitas TeamWork Menggunakan Kerangka ATWQ: Studi Kasus StartUp Di Indonesia
Type: Karya Akhir (KA)
Tingkat Kematangan Dan Rekomendasi Perbaikan Tata Kelola Teknologi Informasi Berdasarkan Kerangka Kerja COBIT 2019: Studi Kasus Mahkamah Agung Republik Indonesia
Type: Karya Akhir (KA)
Creating Value with Social Media Analytics, Third Edition
Type: Buku
Evaluasi Pelaksanaan Manajemen Proyek Pengembangan Perangkat Lunak Untuk Tim Kecil Dengan Pendekatan CMMI 3.0 Dan Persyaratan Standar ISO 9001:2015
Type: Karya Akhir (KA)
Monetisasi Perangkat Lunak Pengelolaan Event Berbasis Internet: Studi Kasus Natacara
Type: Karya Akhir (KA)
Perancangan Aplikasi Securities Crowdfunding (SCF) untuk Bisnis Makanan dan Minuman : Studi Kasus PT Matajari Mitra Solusi
Type: Skripsi
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)
Favorite
E-goverment based on cloud environment in Indonesia ( hal.D-1 - D-6 )
Author: Mubarik Ahmad , Zainal A. Hasibuan | Publisher: null
[Remove]
Login
Advanced Search