Home › Books › Hardcover › Decision Procedures: An Algorithmic Point of View (Texts in…
← PrevPreserving: Self-Sufficie...
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) Buy on Amazon

https://www.ebooknetworking.net/books_detail-3662504960.html

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

AuthorKroening, Daniel
PublisherSpringer
CategoryHardcover
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
70.05 USD
Buy New on Amazon 🇺🇸

Book Details

Author(s)Kroening, Daniel
PublisherSpringer
ISBN / ASIN3662504960
ISBN-139783662504963
CategoryHardcover
MarketplaceUnited States  🇺🇸

More Books in Hardcover

The Call of the Wild (Puffin Classics)
The Call of the Wild (Puffin Classics)
View
Tacit and Explicit Knowledge
Tacit and Explicit Knowledge
View
Performance, Ethics and Spectatorship in a Global Age (Studies in International Performance)
Performance, Ethics and Spectatorship in a Global Age …
View
Bad News - Volumes 1 and 2 (Routledge Revivals) (Routledge Revivals: Bad News)
Bad News - Volumes 1 and 2 (Routledge Revivals) (Routl…
View
Drug Transport in Antimicrobial and Anticancer Chemotherapy (Infectious Disease and Therapy)
Drug Transport in Antimicrobial and Anticancer Chemoth…
View
Out of Bounds: Anglo-Indian Literature and the Geography of Displacement (Writing Past Colonialism)
Out of Bounds: Anglo-Indian Literature and the Geograp…
View
The Voices of Romance: Studies in Dialogue and Character
The Voices of Romance: Studies in Dialogue and Charact…
View
Converging Streams: Art of the Hispanic and Native American Southwest (History of Art Art Design Styl)
Converging Streams: Art of the Hispanic and Native Ame…
View
What Handwriting Tells You About Yourself, Your Friends and Famous People
What Handwriting Tells You About Yourself, Your Friend…
View
History Of The Counties Of Argenteuil, Quebec And Prescott, Ontario: From The Earliest Settlement To The Present (1896)
History Of The Counties Of Argenteuil, Quebec And Pres…
View

More Books by Kroening, Daniel

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)
Computer Aided Verification: 27th International Confer…
View
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Decision Procedures: An Algorithmic Point of View (Tex…
View
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Decision Procedures: An Algorithmic Point of View (Tex…
View
Donate to EbookNetworking
Preserving: Self-Su...Prev
Next