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 37623 returns 3747 document(s)
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
Fast recursive computation of local axial moments by using primitive kernel functions, (LN...
Author: Roman M. Palenichka; |
Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Using an object-oriented methodology to bring a hybrid system from initial concept to form...
Author: David Sinclair; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Efficient checking of behavioural relations and modal assertions using fixed-point inversi...
Author: Henrik Reif Andersen; Bart Vergauwen; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Using formal verification/analysis methods on the critical path in system design: a case s...
Author: Asgeir Th. Eiriksson; Ken L. McMillan; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Planning complex updates to satisfy constraint rules using a constraint logic search engin...
Author: Suzanne M. Embury, Peter M.D. Gray; |
Call Number: 004 Rul | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Vector-based semantic analysis using random indexing for cross-lingual query expansion, (L...
Author: Magnus Sahigren; Jussi Karigren; |
Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Demonstrating real-time JPEG image compression-decompression using standard component IP c...
Author: Albert Simpson; Jill Hunter; Moira Wylie; Yi Hu; David Mann; |
Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Speech-driven text retrieval: using target ir collections for statistical language model a...
Author: Atsushi Fujii; Katunobu Itou; Tetsuya Ishikawa; |
Call Number: 006.4 Cod i | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Model checking for infinite state systems using data abstraction, assumption-commitment st...
Author: Jurgen Dingel; Thomas Filkorn; |
Call Number: 004 Int c | 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
Practical Algorithms for Image Analysis: Description, Examples, and Code 1Cd
Author: Seul, Michael; | Publisher: USA; Cambridge University Press;2000
[Remove]
Pengukuran tingkat kematangan tata kelola teknologi informasi dalam mendukung kegiatan operasional PT XYZ
Author: Dedy Hermanto; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2014
[Remove]
Servicing personal computer fourth edition/ Michael Tooley
Author: Tooley, Michael; | Publisher: Oxford; Butterworth-Heinemann Ltd; 1994
[Remove]
Image storage and retrieval systems: A new approach to records management/Marc R. D. Allegrad
Author: D'Alleyrand, Marc R.; | Publisher: New York McGraw-Hill 1989
[Remove]
Analisis Faktor yang Mempengaruhi Pemanfaatan Laman Direktorat Pembinaan Kursus dan Pelatihan Kementerian Pendidikan dan Kebudayaan
Author: Iwan Aries Setyawan; | Publisher:
[Remove]
Statistical software : a comparative review / Ivor Francis.
Author: Francis, Ivor; | Publisher: New York : North Holland, c1981.
[Remove]
Pembuatan Rancangan service level agreement layanan teknologi informasi berbasis standar ISO 20000 dan ITIL V3: studi kasus Badan pengawas obat dan makanan Republik Indonesia
Author: Ruby Cahyono; | Publisher:
[Remove]
Pemeringkatan Faktor Penentu Keberhasilan Requirements Engineering dengan Metode Analytic Hierarchy Process (AHP)
Author: Hardyin Alexander Hutapea; | Publisher:
[Remove]
Guessing morphology from terms and corpus, Hal. 156-166
Author: Christian Jacquemin; | Publisher: SIGIR'97: Proceedings of the 20th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Philadelphia, Pennsylvania, USA, July 27-July 31, 1997
[Remove]
Perancangan aplikasi SMS reminder guna membantu mempercepat penyelesaian waktu studi mahasiswa di Jurusan Teknik Informatika Fakultas Teknologi Industri, Universitas Indonesia, HAL. A.37-A.40
Author: Hendrik; | Publisher: Psosiding SNATI 2007 : Seminar Nasional Aplikasi Teknologi Informasi 2007
[Remove]
Login
Advanced Search