Your search for 2485 returns 624 document(s) |
Introducton to Non-linear optimization / L.E. Scales |
Author: Scales, L.E.; | Call Number: 515 Sca i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Elementary decision theory/ Herman Chernoff |
Author: Chernoff, Herman; | Call Number: 519.5 Che e | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Statistical methods in research/ Palmer O. Johnson |
Author: Johnson, Palmer D.; | Call Number: 519.5 Joh s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using computers in mathematics |
Author: Elgarten, Gerald H.; | Call Number: 004.015 1 Elg u | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic logic and mechanical theorem proving |
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Optimization over time dynamic programming and stochastic control vol. II |
Author: Whitte, Peter; | Call Number: 519.703 Whi o | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic for computer computer scientist |
Author: Schoning, Uwe; | Call Number: 511.3 Sch l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Natural deduction: a proof-theoretical study/ Da Prawitz |
Author: Prawitz, Dag; | Call Number: 162 Pra n | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mtahematical logic:a course with exercises part I: propositional calculus, boolean, algebras, predicate calculus |
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Probability and statistical inference 5th ed. |
Author: Hogg, Robert V.; | Call Number: 519.2 Hog p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|