Search Result Save to File Save as CSV
Your search for 23918 returns 514 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 
Mathematical logic for computer science 3rd ed.
Author: Ben-Ari Mordechai; | Call Number: 511.3 Ben m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Mathematical logic for computer science second edition
Author: Ben-Ari, Mordechai; | Call Number: 511.3 Ben m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   3 4 5 6 7 8 9 10 11 12  Next