| Your search for 25753 returns 5602 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
|
| 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
|
| 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
|
| Handling behavioral components in multi-level concurrent fault simulation, Hal. 149-156 |
|
Author: Karen Panetta Lentz; Jonathan B. Homer; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ScaLAPACK: a scalable linear algebra library for distributed memory concurrent computers, Hal. 120-127 |
|
Author: Jaeyoung Choi, Jack Dongarra, Roldan Pozo, David W. Walker; | Call Number: SEM-173 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent Programming in Java Design Principles and Patterns Second Edition / Doug Lea |
|
Author: Lea, Doug; | Call Number: 005.2 Lea c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lecture notes in computer science: a concurrent pascal compiler for minicomputers/Alfred C. Hartmann |
|
Author: Hartmann, Alfred C.; | Call Number: 005.24 Har c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent programming: fundamental techniques for real-time and parallel software design |
|
Author: Axford, Tom; | Call Number: 005.35 Axf c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result