| Your search for 20519 returns 5714 document(s) |
| 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
|
| Software verification and validation |
|
Author: Deutsch, Michael S.; | Call Number: 005.3 Deu s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to formal program verification |
|
Author: Mili, Ali; | Call Number: 005.3 Mil i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On performance of kernel based and embedded real-time operating systems: benchmarking and analysis, Hal. 401-406 |
|
Author: Mastura D. Marieska, Paul G. Hariyanto, M. Firda Fauzan, Achmad Imam Kistijantoro; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The art of computer systems performance analysis: techniques for experimental design, measurement, simulation and modelling/Raj Jain |
|
Author: Jain, Raj; | Call Number: 004.24 Jai a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fingerprint authentication system using a low-priced webcam, HAL. 689-698 |
|
Author: Md. Rajibhul Islam; Md. Shohel Sayeed and Andrews Samraj; | Call Number: SEM-291A | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| User Acceptance of Fingerprint-based Smart Kiosk: A Conceptual Framework |
|
Author: H.F.Neo, Uchenna C. Eze; | Call Number: SEM-354 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result