Search Result Save to File Save as CSV
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 
Prev   7 8 9 10 11 12 13 14 15 16  Next