| Your search for 13420 returns 4327 document(s) |
| 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
|
| Breaking public key cryptosystems on tamper resistant devices in the presence of transient faults, (LNCS-Lecture Notes in Computer Science 1361) Hal 115-124 |
|
Author: F. Bao; R.H. Deng; Y. Hang; A. Jeng; A. D. Narasimhalu; T. Ngair; | Call Number: 004.62 Chr s | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Project promises accessible technology for the disabled* two efforts aim to upgrade mobile memory* Prime breakthorgh may improve encryption, page 26 |
|
Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Design and Evaluation of Auto-ID Enabled Shopping Assistance Artifacts in Customers’ Mobile Phones: Two Retail Store Laboratory Experiments, Page 83-113 |
|
Author: Viswanath Venkatesh, John A. Aloysius, Hartmut Hoehle, and Scot Burton | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Integrating a dynamic lexicon with a dynamic full-text retrieval system, Hal. 136-145 |
|
Author: Peter G. Anick; Rex A. Flynn; | Call Number: SEM-255 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result