Search Result
Save to File
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