Your search for 28931 returns 5219 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
|
Computational complexity of sequential and parallel algorithms |
Author: Kronsjo, Lydia; | Call Number: 005.1 Kro c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Numerical methods in practice using the NAG library/Tim Hopkins |
Author: Hopkins, Tim; | Call Number: 519.4 Hop n | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Structured concurrent programming with operating systems applications |
Author: Holt, R.C.; | Call Number: 005.43 Hol s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Solving PDEs in C++: numerical methods in a unified object-oriented approach/ Yair Shapira |
Author: Shapira, Yair; | Call Number: 518.64 Sha s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Applied numerical methods/Brice Carnahah; H.A. Luther; James O, Wilkes |
Author: Carnahan, Brice; | Call Number: 519.5 Car a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Inside corba: distributed object standards and applications |
Author: Mowbray, Thomas J.; | Call Number: 005.276 Mow i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Numerical methods with fortran IV case studies/ William S. Dorn and Daniel D. McCracken |
Author: Dorn, William S.; | Call Number: 005.133 Dor n | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Genetic algorithms + data structures=evolution programs/Zbigniew M. |
Author: Michalewics, Zbigniew; | Call Number: 005.1 Mic g | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Distributed algorithms/Nancy A. Lynch |
Author: Lych, Nancy A.; | Call Number: 005.276 Lyn d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|