| Your search for 10763 returns 2047 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
|
| Aplikasi Penjadwalan Mata Kuliah Jurusan Teknik Informatika Dengan Metode Constraint Programming |
|
Author: Ahmad Rofiq Hakim, Kusno Harinto, Andri Haris Tirtana; | Call Number: SEM-219 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
Search Result