| Your search for 2485 returns 622 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
|
| Logic for problem solving |
|
Author: Kowalski, Robert; | Call Number: 519.7 Kow i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
|
|
Author: "Kuester, James L."; | Call Number: 519.7 Kow l | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Statistical software : a comparative review / Ivor Francis. |
|
Author: Francis, Ivor; | Call Number: 004.015 1 Fra s | 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
|
| 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
|
| 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
|
| 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
|
Search Result