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 38831 returns 3625 document(s)
A Compression technique to materialize transitive closure, page 558
Author: H.V. Jagadish |
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
HYTECH: a model checker for hybrid systems, (LNCS-Lecture Notes in Computer Science 1254) ...
Author: Thomas A. Henzinger; Pei-Hsin Ho; Howard Wong-Toi; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
SMC: a symmetry based model checker for verification of liveness properties, (LNCS-Lecture...
Author: A. P. Sistla; L. Miliades; V. Gyuris; |
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
Transitive closure algorithms based on graph traversal, page 512
Author: Loannidis, Yannis |
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
Constructing transitive closure on multigraph with adjacency hypredges matrix (hal 111-119...
Author: Soetrisno, Nora Hariadi, Heru Suhartanto; |
Call Number: SEM- 372 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Probabilistic neighbourhood logic, (LNCS-Lecture Notes in Computer Science 1926) Hal 264-2...
Author: Dimitar P. Guelev; |
Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Encoding w: a logic z in 2obj, (LNCS-Lecture Notes in Computer Science 670) Hal 462-481
Author: Andrew Martin; |
Call Number: 004 Woo f | 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
A format-independent architecture for run-time integrity checking of executable code, (LNC...
Author: Luigi Catuogno; Ivan Visconti; |
Call Number: 005.8 Sec | 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
Adopsi Sistem Informasi Desa: Ekosistem Faktor Model dan Strategi
Type: Disertasi
Pembelajaran Daring Adaptif untuk Mendukung Keterampilan Berpikir Kritis Berdasarkan Kerangka Kerja Komunitas Inkuiri di Perguruan Tinggi
Type: Disertasi
Pengembangan dan Evaluasi Desain Visualisasi Informasi Bencana Alam Berdasarkan Data Media Dengan Pendekatan User-Centered Design
Type: Skripsi
Kombinasi Linguistik dengan Indobert untuk Klasifikasi Gejala Psikosis
Type: Tesis
Analisis Faktor-faktor yang Memengaruhi niat Perpindahan Pembelian Tiket Bioskop dari Konvensional ke Mobile Applications Berdasarkan Teori Push-pull-Morning
Type: Skripsi
Implementation of Shao's Proxy Signature Scheme on Pdf Files
Type: Skripsi
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
Favorite
Panduan bagi orang sibuk: word perfect 6.1 for windows/Sonny Walla
Author: Walla, Sonny; | Publisher:
[Remove]
Sistem informasi langganan pengawasan piutang rekening listrik
Author: Agung Kuswanto; | Publisher: Depok : Fakultas Ilmu Komputer Unversitas Indonesia, 1994
[Remove]
Rancangan Peningkatan Cybersecurity pada Critical Infrastructure Studi Kasus PT XYZ
Author: Adi Gunawan; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2024
[Remove]
An access control model supporting periodicity contraints and temporal reasoning
Author: | Publisher: New York: The Association for Computing Machinery
[Remove]
Oracle 8i enterprise edition for windows NT
Author: | Publisher: Oralcle Corporation,
[Remove]
Dynamically reconfigurable cores, (LNCS-Lecture Notes in Computer Science 2147) Hal 462-472
Author: John Macbeth; Patrick Lysaght; | Publisher: Springer, 2001
[Remove]
Login
Advanced Search