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 37428 returns 217 document(s)
Hierarchical gate-level verification of speed-independent circuits, Hal. 128-137
Author: Oriol Roig; Jordi Cortadella and Enric Pastor; |
Call Number: SEm-234 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Trace theoretic verification of asynchronous circuits using unfoldings, (LNCS-Lecture Note...
Author: K. L. McMillan; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Hierarchical z-buffer visibility,Hal 231-238
Author: Ned Greene; Michael Kas; Gavin Miller; |
Call Number: SEM-199 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Hierarchical document categorisation
Author: Wahyu Catur Wibowo; |
Call Number: Dis-005 | Type: Disertasi
Find Similar Add to Favorite Open in New Tab
Hierarchical discriminant regression, page 1277
Author: W.S. Hwang |
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
Software engineering : analysis and verification
Author: Lewis, T.G.; |
Call Number: 005.1 Lew s | Type: Buku
Find Similar Add to Favorite Open in New Tab
Verification in component software, Hal. 411-420
Author: Rakhmad Azhari; |
Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
The complexity of verification,Hal 365-371
Author: R.P.Kurshan; |
Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Program construction and verification
Author: Backhouse, Roland; |
Call Number: 005 Bac p | Type: Buku
Find Similar Add to Favorite Open in New Tab
Software engineering: analysis and verification
Author: Lewis, T.G.; |
Call Number: 004 Lew s | 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
Sistem Temu-balik Pengetahuan untuk Helpdesk PDDikti dengan Reranking dan Ekspansi Dokumen
Type: Skripsi
Perbaikan Library Auth dan Multi-Product Line untuk Auth pada Framework WinVMJ
Type: Skripsi
Pengembangan Desain Antarmuka dan Pengalaman Pengguna untuk Sistem Pencarian Generatif Dokumen Hukum
Type: Skripsi
Performance Comparison Between Namespace Based and Virtual Cluster Strategies in Kubernetes Multi-Tenancy for E-Commerce Application
Type: Skripsi
Big Java 4 th Edition
Type: Buku
Pengenalan Teknologi Komputer dan Informasi
Type: Buku
Biografi samik ibrahim : jejak langkah saudagar, perintis muhammadiyah dan angkatan laut
Type: Buku
Business driven information system
Type: Buku
Bitcoin Mining dan Cryptocurrency lainnya... bitcoin, etherum, monero, NXT, NEM & HShare
Type: Buku
Blockchain dari bitcoin untuk dunia
Type: Buku
Favorite
Login
Advanced Search