| Your search for 50968 returns 2559 document(s) |
| Formal methods of program verification and specification |
|
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming for artificial intelligence: methods and applications |
|
Author: Kreutzer, Wolfgang; | Call Number: 006.3 Kre p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Practical methods of optimization/Roger Fletcher |
|
Author: Fletcher, Roger; | Call Number: 515 Fle f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Methods of mathematical physics Vol. II |
|
Author: Courant, R.; | Call Number: 515.35 Cou m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational methods in ordinary differential equations |
|
Author: Lambert, J.D.; | Call Number: 515.352 Lam c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Numerical methods in FORTRAN/ John M. McCormick |
|
Author: McCormick, John M.; | Call Number: 517.7 McC n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational methods in optimal control problems |
|
Author: Mufti, I.H.; | Call Number: 519.3 Muf c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational methods in optimization : a unified approach |
|
Author: Polak, E.; | Call Number: 519.3 Pol c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Variotional methods in optimization/ Donald R. Smith |
|
Author: Smith, Donald R.; | Call Number: 519.3 Smi v | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Numerical methods for engineers and computer scientist |
|
Author: Hultquist, Paul F.; | Call Number: 519.4 Hul n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result