Decision procedures : an algorithmic point of view
Material type: TextSeries: Texts in theoretical computer science an EATCSPublication details: Springer, Berlin : ©2016Edition: 2nd edDescription: xxi, 356 p. ; 24cmISBN:- 9783662504963
- 519.542 KRO-D
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | Course reserves |
---|---|---|---|---|---|---|---|---|
Reference | IIITD Reference | Mathematics | REF 519.542 KRO-D (Browse shelf(Opens below)) | Not for loan | 010161 |
Total holds: 0
Browsing IIITD shelves, Shelving location: Reference, Collection: Mathematics Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
REF 519.542 DAR-M Modeling and reasoning with Bayesian networks | REF 519.542 GEL-B Bayesian data analysis | REF 519.542 KOL-P Probabilistic graphical models : principles and techniques | REF 519.542 KRO-D Decision procedures : | REF 519.542 PUT-M Markov decision processes : | REF 519.542 SIL-S The signal and the noise : | REF 519.6 AND-I Introduction to continuous optimization |
Includes index
There are no comments on this title.