Search Result Save to File Save as CSV
Your search for 24067 returns 2216 document(s)
Formal methods: state of the art and new directions
Author: Boca, Paul P; | Call Number: 005.131 Boc f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Mathematical methods for scientist and engineers
Author: Kahn, Peter E.; | Call Number: 501.51 Kah m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
On Stopping criteria in verified nonlinear systems or optimization algorithms
Author: R.B. Kearfott | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Fundamentals methods of mathematical ecoomics 3rd ed/ Alpha C. Chiang
Author: Chiang, Alpha C.; | Call Number: 330.01 Chi f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Statistical methods for comparative studies: techniques for bias reduction/ Sharon Anderson
Author: Anderson, Sharon; | Call Number: 519.5 And s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
FME'93: Industrial-strength formal methods: First Internationl Symposium of formal methods Europe-Odense, Denmark ,April 1993
Author: Woodcock, J.C.P.; | Call Number: 004 Woo f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Operations research: methods and problems
Author: Sasieni, Maurice; | Call Number: 515.25 Sas c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Mathematical and computational methods in seismic exploration and reservoir modeling
Call Number: 004.015 1 Mat | Type: Buku
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 
Business intelligence: data mining and optimization for decision making
Author: Vercellis, Carlo; | Call Number: 658.403 8 Ver b | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   6 7 8 9 10 11 12 13 14 15  Next