Decision procedures: An algorithmic point of view. 2nd. Edition.
By: Kroening, D.
Contributor(s): Strichman, O.
Material type:
BookPublisher: Berlin Springer 2016Description: xxi, 356p.ISBN: 9783662504963.Subject(s): Decision Theory | Mathematics
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| 519.542 KRO (Browse shelf) | Available | 513975 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
| 519.542 HOF A First course in bayesian statistical methods | 519.542 KOL Decision making and programming | 519.542 KOR Naive Decision Making: Mathematics applied to the social world | 519.542 KRO Decision procedures: An algorithmic point of view. 2nd. Edition. | 519.542 PED Granular computing and decision making: Interactive and iterative approaches | 519.542 PET An Introduction to Decision Theory | 519.542 POU Behavioral decision theory: A new approach |
There are no comments for this item.