| Your search for 5325 returns 1494 document(s) |
| Intermediate statistical methods and applications: a computer package approach |
|
Author: Berenson, Mark L.; | Call Number: 519.502 8 Ber i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical basis for computer programming vol. 2: deductive systems |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The deductive foundation of computer programming |
|
Author: Manna, Zohar; | Call Number: 519.7 Man d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical basis for computer programming vol.2 deductive system |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer optimization techniques/ William Conley |
|
Author: Conley, William; | Call Number: 519.77 Con c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Integer and combinatorial optimization/George L. Nemhauser |
|
Author: Nemhauser, George L.; | Call Number: 519.77 Nem i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Optimization of electronic measurements module 4 |
|
Author: Malmstadt, Howard V.; | Call Number: 621.391 9 Mal O | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier |
|
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Selected problems of minization of variable-valued logic formulas |
|
Author: Cuneo, Roland Phillipe; | Call Number: 511.3 Cun s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| First-order logic and automated proving |
|
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result