Search Result Save to File Save as CSV
Your search for 37428 returns 215 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 Favorites |  Detail in New Window 
Trace theoretic verification of asynchronous circuits using unfoldings, (LNCS-Lecture Notes in Computer Science 939) Hal 180-195
Author: K. L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
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 Favorites |  Detail in New Window 
Hierarchical document categorisation
Author: Wahyu Catur Wibowo; | Call Number: Dis-005 | Type: Disertasi
Find Similar |  Add To Favorites |  Detail in New Window 
Hierarchical discriminant regression, page 1277
Author: W.S. Hwang | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Software engineering : analysis and verification
Author: Lewis, T.G.; | Call Number: 005.1 Lew s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Verification in component software, Hal. 411-420
Author: Rakhmad Azhari; | Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
The complexity of verification,Hal 365-371
Author: R.P.Kurshan; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Program construction and verification
Author: Backhouse, Roland; | Call Number: 005 Bac p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Software engineering: analysis and verification
Author: Lewis, T.G.; | Call Number: 004 Lew s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next