Your search for 54300 returns 1827 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
|
Research design: qualitative quantitative and mixed methods approaches 4th ed. |
Author: Creswell, John W.; | Call Number: 300.72 Cre s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Understanding formal methods |
Author: Monin, Jean-Francois; | Call Number: 005.131 Mon u | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Research Design Qualitative, quantitative, and mixed methods aprroaches 2nd ed. |
Author: Creswell, John W.; | Call Number: 300.72 Cre r | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Desain instruksional/Atwi Suparman |
Author: Suparman, Atwi; | Call Number: 378.17 Sup d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Foundations of statistical natural language processing/ Christopher D. Manning |
Author: Manning, Christopher D.; | Call Number: 410.285 Man f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Monte Carlo methods/ J.M. Hammersley |
Author: Hammersley, J.M; | Call Number: 519.282 Ham m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Statistical modeling and analysis for database marketing effective techniques for mining big data/ Bruce Ratner |
Author: Ratner, Bruce; | Call Number: 658.8 Rat s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The visual display of quantitative information |
Author: Turfe, Edward R.; | Call Number: 001.4226 Tuf v | 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
|