Your search for 38076 returns 860 document(s) |
Performance evaluation of fingerprint verification systems, page 3 |
Author: R. Cappelli | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal verification of a java compiler in isabelle, Hal. 63-77 |
Author: Martin Strecker; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal verification of a combination decision procedure, Hal. 347-362 |
Author: Jonathan Ford and Natarajan Shankar; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal verification of robotic messions and tasks, Hal. 231-238 |
Author: Daniel Simon; Konstantinos Kapellos; Bernard Espliau; Muriel Jourdan; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
3D face verification from range data, 47-51 |
Author: Juan Zhou, Yongping Li, Xinyu Ao, JingyanWang; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Real-time systems: formal specification and automatic verification |
Author: Olderog, E.R; | Call Number: 004.33 Old r | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Communication protocol specification and verification/Richard Lai |
Author: Lai, Richard; | Call Number: 004.36 Lai c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Temporal verification of research reactive systems: safety |
Author: Manna, Zohar; | Call Number: 005.2 Man t | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Layout design and verification/ edited by Tatsuo Ohtsuki |
Call Number: 621.395 Lay | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Temporal Framework for Database Specification and Verification (91-99) |
Author: C.H. Kung; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|