Search Result
Save to File
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