Search Result
Save to File
Your search for
24160
returns
735
document(s)
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
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
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
The logical basis for computer programming vol. 2: deductive systems
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
The deductive foundation of computer programming
Author: Manna, Zohar; | Call Number: 519.7 Man d | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
The logical basis for computer programming vol.2 deductive system
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
15
16
17
18
19
20
21
22
23
24
Next