Your search for 23918 returns 514 document(s) |
Mathematical theory of program correctness/ Jaco de Bakker |
Author: Baker, Jaco de; | Call Number: 005.3 Bak m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
In-Depth understanding/ Michael George Dyer |
Author: Dyer, Michael George; | Call Number: 006.3 Dye i | 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
|
Probabilistic systems analysis : an itroduction to probabilistic models, deciions, and applications of random processes/ Arthur M. Breipohl |
Author: Breipohl, Arthur M.; | Call Number: 519.2 Bre p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Applicaitons, basics, and computing of exploratory data analysis/ Paul F. Velleman |
Author: Velleman, Paul F.; | Call Number: 519.2 Vel a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An algorithmic approach to nonlinear analysis and optimization |
Author: Beltrami, Edward J.; | Call Number: 519.3 Bel a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Iteractive methods for nonlinear optimization problems/ Samuel L.S. Jacoby |
Author: Jacoby, Samuel L.S.; | Call Number: 519.3 Jac i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Optimal control by mathematical programming/ Daniel Tabak |
Author: Tabak, Daniel; | Call Number: 519.3 Tab o | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Notes on optimization by P.P. Varaiya |
Author: Varaiya, PP; | Call Number: 519.3 Var n | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Applied statistics and the SAS programming language 2nd ed. |
Author: Cody, Ronald P.; | Call Number: 519.5 Cod a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|