Search Result Save to File Save as CSV
Your search for 10763 returns 2043 document(s)
Discrete computational structures 2nd ed.
Author: Korfhage, Robert R.; | Call Number: 004.61 Kor d | Type: Buku Pusat
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 
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 
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 
Optimization under constraints: thoery and applications of nonliear programming
Author: Whittle, Peter; | Call Number: 519.3 Whi o | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Discrete optimization: integer programming and network analsyis for management decisions
Author: Plane, Donald R.; | Call Number: 519.7 Pla d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   3 4 5 6 7 8 9 10 11 12  Next