Your search for 5515 returns 297 document(s) |
Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori |
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mtahematical logic:a course with exercises part I: propositional calculus, boolean, algebras, predicate calculus |
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Optimization/ edited by R. Fletcher |
Call Number: 519.3 Sym o | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic-based methods for optimization: combining optimization and constraint satisfaction/ John Hooker |
Author: Hooker, John; | Call Number: 519.72 Hoo l | 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
|
Multiobjective making: theory and methodology vol. 1/ Vira Chankong |
Author: Chankong, Vira; | Call Number: 003.56 Cha m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Komputabilitas/Heru Suhartanto |
Author: Suhartanto, Heru; | Call Number: 005.131 Suh k | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Introducing real analysis/ D.H. Fowler |
Author: Fowler, D.H.; | Call Number: 511.33 Fow i | Edition: 1996 | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The traveling salesman problem/ E.L. Lawler |
Author: Lawler, E.L.; | Call Number: 511.6 Tra | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Inequalities |
Author: Beckenbach, Edwin F.; | Call Number: 515 Bec i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|