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 38218 returns 4015 document(s)
Application of 2D barcode in hardcopy document verification system,(LNCS-Lecture Notes in ...
Author: Mazleena Salleh; Teoh Chin Yew; |
Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Random stimuli generation for functional hardware verification as a CP application, (LNCS-...
Author: Yehuda Naveh, Roy Emek; |
Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A generator of efficient abstract machine implementations and its application to emulator ...
Author: Jose F. Morales; Manuel Carro; German Puebla; Manuel V. Hermenegildo; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A Deployment value model for inrusion detection sensors, (LNCS-Lecture Notes in Computer S...
Author: Siraj A. Shaikh; Howard Chivers; Philip Nobles; John A. Clark; Hao Chen; |
Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Honeybee-based model to detect intrusion, (LNCS-Lecture Notes in Computer Science 5576) Ha...
Author: Ghassan Ahmed Ali; Aman Jantan; Abdulghani Ali; |
Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Implementing a hidden markov model speech recognition system in programmable logic, (LNCS-...
Author: Stephen J. Melnikoff; Steven F.Quigley; Martin J. Russell; |
Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Decidable model checking of probabilistic hybrid automata, (LNCS-Lecture Notes in Computer...
Author: Jeremy Sproston; |
Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A new algorithm for discrete timed symbolic model checking, (LNCS-Lecture Notes in Compute...
Author: Jurgen Ruf; Thomas Kropf; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Model checking in a microprocessor design project, (LNCS-Lecture Notes in Computer Science...
Author: Geoff Barret; Anthony McIsaac; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
On-the-fly model checking under fairness that exploits symmetry, (LNCS-Lecture Notes in Co...
Author: Viktor Gyuris; A. Prasad Sistla; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Prev   1 2 3 4 5 6 7 8 9 10  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
A practical guide to information systems strategic planning 2nd ed.
Author: Cassidy, Anita; | Publisher: New York : Auerbach Publications, 2006
[Remove]
Analisa faktor-faktor yang mempengaruhi penerimaan pengguna aplikasi laporan PP 39/2006 di Kementerian / Lembaga Republik Indonesia
Author: Sinta Paramita; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2013
[Remove]
Manajemen proyek pengembangan sistem pengelolaan data sekolah SMA Negeri 2 Ende
Author: Eldinta Yerusyah Taripar; | Publisher: Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2020
[Remove]
Duration calculus: a formal appproach to real-time systems
Author: Chaochen, Zhou; | Publisher: Berlin: Springer Verlag, 2004
[Remove]
Meningkatkan Pengalaman Pengguna Interior Designer dengan Automasi Pembaruan Versi plugin SketchUp di PT. Dekoruma Inovasi Lestari (Dekoruma)
Author: Ivana Irene Thomas; | Publisher: Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2020
[Remove]
Implementasi algoritma klasifikasi CMAR sebagai bagian dari data mining algorithm collection/ Ranni Kusumawardhani
Author: Ranni Kusumawardhani; | Publisher: Depok: Fak. Ilmu Komputer UI, 2007
[Remove]
Transkriptor dari huruf latin ke huruf Jawa/Joseph Victor
Author: Joseph Victor; | Publisher:
[Remove]
Ordering and parameterizing scattered 3D data for B-spline surface approximation, page 642
Author: | Publisher: Los Alamitos: IEEE Computer Society, 1979
[Remove]
Pengembangan prototipe provider otentikasi multi-faktor berbasis ASP.net dan microsoft office sharepoint server 2007 consumer website
Author: Adith Prasetya; Anggi Wijaya; Moehammad Radif; | Publisher: Depok: Fasilkom UI, 2010
[Remove]
Database systems: A Practical approach to design, implementation, and management 5 th ed.
Author: Connolly, Thomas M.; | Publisher: Boston : Pearson Addison-Wesley, 2010
[Remove]
Login
Advanced Search