| Your search for 2190 returns 5615 document(s) |
| 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
|
| Software engineering : analysis and verification |
|
Author: Lewis, T.G.; | Call Number: 005.1 Lew s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The temporal logic of reactive and concurrent systems specification |
|
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software engineering: analysis and verfication |
|
Author: Lewis, T.G.; | Call Number: 005.1 Lew s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallel algorithms:Design and analysis/Pranay Chaudhuri |
|
Author: Chaudhuri, Pranay; | Call Number: 004.35 Cha p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Interconnection networks for multiprocessors and multicomputers: theory and practice manuscript for IEEE tutorial text/Amijam Varma, C.S. Rogerhavendra |
|
Author: Varma, Amyan; | Call Number: 004.61 Var i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to parallel computing: design and analysis of parallel algorithms/Vipin Kumar ...[et.al] |
|
Call Number: 005.3 Int | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| High performance compilers for parallel computing/Michael Wolfe |
|
Author: Wolfe, Michael Joseph; | Call Number: 005.453 Wol h | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Highly parallel computing 2nd ed./George S. Almasi; Allan Gottlieb |
|
Author: Almasi, George S.; | Call Number: 004.35 Alm h | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Empirical of load distribution strategies on multicomputer/Bobby Achirul Awal Nazief |
|
Author: Nazief, Bobby Achirul Awal; | Call Number: T-0023 | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result