| Your search for 5593 returns 927 document(s) |
| Integer and combinatorial optimization |
|
Author: Nemhauser, Geoge L.; | Call Number: 519.77 Nem i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical modelling |
|
Call Number: 511-8 Mat | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Decision making through operation research/ Robert J. Thierauf |
|
Author: Thierauf, Robert J.; | Call Number: 003 Thi d | Type: Buku
|
|
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
|
| 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
|
| Formal Methods in Artificial Intelligence |
|
Author: Ramsay, Allan; | Call Number: 006.3 Ram f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Probabilistic systems analysis : an itroduction to probabilistic models, deciions, and applications of random processes/ Arthur M. Breipohl |
|
Author: Breipohl, Arthur M.; | Call Number: 519.2 Bre p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applicaitons, basics, and computing of exploratory data analysis/ Paul F. Velleman |
|
Author: Velleman, Paul F.; | Call Number: 519.2 Vel a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result