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