| Your search for 24124 returns 926 document(s) |
| Groping in the dark: the first decade of global modelling |
|
Author: Meadows, Donella; | Call Number: 330.9 Mea g | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Numerical optimization of computer models |
|
Author: Schwefel, Hans-Paul; | Call Number: 575.007 2 Sch n | 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
|
| Optimization for machine learning/ edited Suvrit Sra |
|
Call Number: 006.31 Opt | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applied regression analysis |
|
Author: Draper, Norman R.; | Call Number: 519.536 Dra a | Type: Buku
|
|
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
|
| Pyramid Algorithms: A dynamic programming approach to curves and surfaces for geometric modelling |
|
Author: Goldman, Ron; | Call Number: 511.8 Gol p | 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
|
Search Result