| Your search for 43934 returns 1989 document(s) |
| Understanding formal methods |
|
Author: Monin, Jean-Francois; | Call Number: 005.131 Mon u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The methods of averaging functional corrections |
|
Author: Luchka, Anton Yur'syevich; | Call Number: 515.74 Luc m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Effective methods for software testing |
|
Author: Perry, William E.; | Call Number: 005.14 Per e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Approximation theory and methods |
|
Author: Powell, M.J.D; | Call Number: 511.4 Pow a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal Methods in Artificial Intelligence |
|
Author: Ramsay, Allan; | Call Number: 006.3 Ram f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Kernel methods for pattern analysis |
|
Author: Shawe-Taylor, John; | Call Number: 006.31 Sha k | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Operations research: methods and problems |
|
Author: Sasieni, Maurice; | Call Number: 515.25 Sas c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Operational methods in applied mathematics |
|
Author: Carslaw, H.S.; | Call Number: 515.3 Car o | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Methods of mathematical physics |
|
Author: Courant, R.; | Call Number: 515.35 Cou m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to methods of optimoization |
|
Author: Cooper, Leon; | Call Number: 519.3 Coo i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result