Search Result Save to File Save as CSV
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 
Prev   7 8 9 10 11 12 13 14 15 16  Next