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 38332 returns 3431 document(s)
The MYDDAS project: using a deductive database for traffic characterization, ((LNCS-Lectur...
Author: Michel Ferreira; |
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
Combining constraint solving and symbolic model checking for a class of systems with non-l...
Author: William Chan; Richard Anderson; Paul Beame; David Notkin; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Utilizing symmetry when model checking under fairness assumptions: an automata-theoretic a...
Author: E. A. Emerson; A. P. Sistla; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Combining constraint solving and symbolic model checking for a class of sysems with non-li...
Author: William Chan; Richard Anderson; Paul Beanne; David Notkin; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Module checking revisited, (LNCS-Lecture Notes in Computer Science 1254) Hal 36-47
Author: Orna Kupferman; Moshe Y. Vardi; |
Call Number: 004 Int c | 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
The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture...
Author: Hassen Saidi; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture...
Author: Hassen Saidi; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Model checking
Author: Clarke, Edmund M.; |
Call Number: 004.21 Cla m | Type: Buku
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
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]
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]
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]
Penyembunyian informasi pada media audio berbasis singular value decoposition (SVD)
Author: Andi Yusuf, Danang Jaya; Sigit Setiono; | Publisher: NACSIT 2007 : Proceedings National Conference on Computer Science
[Remove]
Build program techniques/ John G. Rice
Author: Rice, John Gordon; | Publisher:
[Remove]
Solaris 1.1
Author: | Publisher:
[Remove]
Kamus besar bahasa Indonesia/Pusat Pembinaan dan Pengembangan Bahasa
Author: | Publisher: Jakarta Balai Pustaka .... cm.
[Remove]
Login
Advanced Search