Decision Procedures [2nd ed.] [Perpetual] : an algorithmic point of view
By: Kroening, Daniel.
Contributor(s): Strichman, Ofer.
Series: Texts in theoretical computer science. An EATCS series. / edited by Monika Henzinger.Publisher: Berlin Springer-Verlag 2016Edition: 2nd ed.Description: xxi, 356p.ISBN: 9783662504963 .Subject(s): Decision making -- Mathematical models | Logic, Symbolic and mathematical | Software engineering | Computer scienceDDC classification: 519.542 | K913d2 Online resources: Click here to access onlineItem type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
E books | PK Kelkar Library, IIT Kanpur | Electronic Resources | 519.542 K913d2 (Browse shelf) | Available | EBK10661 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: Electronic Resources Close shelf browser
519.502462 P94s9 Probability & statistics for engineers & scientists [9th ed.] [Perpetual access till 2027] | 519.502855133 Sr3s Statistical programming in R [Perpetual access till February 2028] | 519.50285554 L578s8 Statistics for managers using Microsoft excel [8th ed.] [Perpetual access till 2027] | 519.542 K913d2 Decision Procedures [2nd ed.] [Perpetual] | 519.55 B783i Introduction to time series and forecasting [Perpetual] | 519.55 B783t Time series [Perpetual] | 519.602462 B411o3 Optimization concepts and applications in engineering [3rd ed.] [Access till September 2023] |
with 64 illustrations, (5 illustrations in color)
There are no comments for this item.