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