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 38915 returns 2663 document(s)
CAVEAT: technique and tool for computer aided verification and transformation, (LNCS-Lectu...
Author: E. Pascal Gribomont; Didier Rossetto; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
The verus tool: a quantitative approach to the formal verification of real-time systems, (...
Author: Sergio Campos; Edmund Clarke; Marius Minea; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Multipliers and deviders: insights on arithmetic circuit verification (extended abstract),...
Author: Randal E. Bryant; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Hardware verification using monadic second-order logic, (LNCS-Lecture Notes in Computer Sc...
Author: David A. Basin; Nils Klarlund; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Safety property verification of esterel programs and applications to telecommunications so...
Author: Lalita Jategaonkar Jagadeesan; Carlos Puchol; James E. Von Olnhausen; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
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
Verification of real-time systems by successive over and under approximation, (LNCS-Lectur...
Author: David L. Dill; Howard Wong-Toi; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Verification of real-time systems by successive over and under approximation, (LNCS-Lectur...
Author: David L. Dill; Howard Wong-Toi; |
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
The PEP tool, LNCS-Lecture Notes in Computer Science 1254) Hal 442-443
Author: Bernd Grahlmann; |
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
Perancangan Pengembangan Keamanan Identity and Access Management Terpusat pada Arsitektur Microservice: Studi Kasus PUSILKOM UI
Type: Karya Akhir (KA)
Perancangan Antarmuka dan Fitur Training Management System (TMS): Studi Kasus Divisi Corporate University PT XYZ
Type: Karya Akhir (KA)
Essentials of Statistics for the Behavioral Sciences (MindTap Course List) 10th Edition (INSTRUCTOR'S MANUAL)
Type: Instructor's Manual (Khusus Do
Kerja Praktik Proses Pengembangan Produk Biller di PT Alto Network
Type: Kerja Praktek (KP)
Analisis Dark Pattern dan Rekomendasi Desain pada Aplikasi Mobile Ride-Hailing di Indonesia: Gojek, Grab, Maxim
Type: Skripsi
Analisis Peforma Algoritma Bubble Sort dan Perkalian Matriks dalam Java, Python, PHP. dan Rust
Type: Skripsi
Optisign: Motion-aware end to endFramework Model for Blur Resistant Sign Language Recognition and Interpretation
Type: Tesis
Penggunaan Diagram Voronoi pada Metode Low-Rank Sparse Dark Channel Prior untuk Penghapus Awan
Type: Tesis
Perancangan Kerangka Kerja Kesiapan Customer Knowledge Management pada Usaha Mikro Kecil dan Menengah
Type: Tesis
Pengukuran Terintegrasi User Interface Usability dan User Experience: Sebuah Model Konseptual
Type: Tesis
Favorite
Login
Advanced Search