Search Result
Save to File
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