Search Result Save to File Save as CSV
Your search for 24148 returns 984 document(s)
Mathematical modelling
Call Number: 511-8 Mat | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Decision making through operation research/ Robert J. Thierauf
Author: Thierauf, Robert J.; | Call Number: 003 Thi d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The temporal logic of reactive and concurrent systems specification
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Logic programming/ edited by K.L. Clark and S. A. Tarnlund
Call Number: 005.1 Log | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
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 
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 
Differential dynamic programming/ David E. Jacobson
Author: Jacobson, David H.; | Call Number: 519.5 Jac d | 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 
Prev   15 16 17 18 19 20 21 22 23 24  Next