| Your search for 51791 returns 1985 document(s) |
| A staging calculus and its applications to the verification of translator,Hal 389-396 |
|
Author: Robert Muller; | Call Number: SEM-198 | 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
|
| Neural network:A Comprehensive Foundation |
|
Author: Haykin, Simon; | Call Number: 006.32 Hay n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analog VLSI and neural systems |
|
Author: Mead, Carver A.; | Call Number: 621.395 Mea a | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Neural computing: an introduction/R. Beale |
|
Author: Beale, R.; | Call Number: 006.3 Bea n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result