New Arrivals

Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Decision Procedures [2nd ed.] [Perpetual] : an algorithmic point of view

By:

Kroening, Daniel

Contributor(s):

Strichman, Ofer

Language: English Series: Texts in theoretical computer science. An EATCS series | / edited by Monika HenzingerPublication details: Springer-Verlag 2016 BerlinEdition: 2nd edDescription: xxi, 356pISBN:

9783662504963

Subject(s):

DDC classification:

519.542 K913d2

Online resources:

Click here to access online

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
E books	PK Kelkar Library, IIT Kanpur	Electronic Resources	519.542 K913d2 (Browse shelf(Opens below))	Available		EBK10661

Total holds: 0

Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: Electronic Resources Close shelf browser (Hides shelf browser)

Previous	No cover image available					No cover image available		Next
Previous	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]	Next

with 64 illustrations, (5 illustrations in color)

There are no comments on this title.

to post a comment.

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) RIS MARC (Unicode/UTF-8)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

P K Kelkar Library

Indian Institute of Technology, Kalyanpur, Kanpur, U P 208016 India| Web: https://pkklib.iitk.ac.in

Email : librarian@iitk.ac.in | Phone : +91 512 259-7233

Visitor Counter:

Powered by Koha