Filters
- Springer
- 17 Books Ltd
- 17 Books Publishing
- 1423 Interests LLC
- 3ichael 7ambert
- A K Peters
- A K PETERS
- AB Publisher LLC
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ablex Publishing Corporation
- Academic Press
- Academiques
- ACM
- ACM Books
- Addison-Wesley Professional
- Adesh Silva
- Agencia Brasileira Do ISBN
- ALA Editions
- ALA Neal-Schuman
- Alan Grid
- Alaric Hemingway
- Algorithms
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Mathematical Society
- Anchor Academic Publishing
- Andrews UK Limited
- Anson Street Press
- Apress
- Archer Paul
- Arcler Press
- Arcturus Editions
- Artech House Publishers
- Arthur M. Doweyko
- Association for Computing Machinery
- Athabasca University Press
- Atlantic Publishers & Distributors (P) Ltd
- Auerbach Publications
- Authorhouse
- Azhar Sario Dubai
- Basic Books
- Bellwether Media Inc.
- Bentham Science Publishers
- Biblioscholar
- Birkhauser
- Bloom Books
- Bloomsbury Academic
- Bloomsbury Education
- Bob Mather
- Bod - Books on Demand
- Bookbaby
- BookLife Publishing
- Books on Demand
- Booksurge Publishing
- Bosko Books
- Bpb Publications
- BPB Publications
- Bradford Book
- Broquard eBooks
- Business Science Reference
- Butterworth-Heinemann
- C Hurst & Co Publishers Ltd
- C. Press/F. Watts Trade
- CABI
- Cambridge University Press
- Cambridge UP
- Canongate Books
- Capstone
- Careercup
- Carl Keyness
- Cayenne Canyon Press
- CBS Publishers & Distributors Pvt. Ltd.
- Cengage Learning
- Cengage Learning India
- Cengage Learning, Inc
- Center for the Study of Language and Informat
- Charles M Dominquez
- Christian Colossus
- Clanrye International
- Code Energy
- Codemonkey Do
- Cody Koala
- Cognella Academic Publishing
- Coherent Press
- College Publications
- Columbia University Press
- Coronat Services, LLC
- Course Technology
- Crabtree Classics
- CRC Press
- Createspace
- Createspace Independent Publishing Platform
- Data Science
- Datetree Press
- David Belbeze
- Debate
- Derf Press
- Deutscher Universitatsverlag
- DK Publishing (Dorling Kindersley)
- Springer
- 17 Books Ltd
- 17 Books Publishing
- 1423 Interests LLC
- 3ichael 7ambert
- A K PETERS
- A K Peters/CRC Press
- AB Publisher LLC
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ablex Publishing Corporation
- Acad Pr
- Academic Press
- Academiques
- ACM
- ACM Books
- Addison-Wesley Professional
- AddisWesle
- Adesh Silva
- Agencia Brasileira Do ISBN
- ALA Editions
- ALA Neal-Schuman
- Alan Grid
- Alaric Hemingway
- Algorithms
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Mathematical Society
- Anchor Academic Publishing
- Andrews UK Limited
- Anson Street Press
- Apple Academic Press
- Apress
- Archer Paul
- Arcler Press
- Arcturus Editions
- Artech House Publishers
- Arthur M. Doweyko
- Association for Computing Machinery
- Athabasca University Press
- Atlantic
- Atlantis Press
- Auerbach P
- Auerbach Publications
- Authorhouse
- Azhar Sario Dubai
- Basic Books
- Bellwether Media Inc.
- Bentham Science Publishers
- Biblioscholar
- Birkhauser
- Birkhauser Basel
- Birkhauser Boston
- Bloom Books
- Bloomsbury Academic
- Bloomsbury Education
- Bob Mather
- Bod - Books on Demand
- Bookbaby
- BookLife Publishing
- Books on Demand
- Booksurge Publishing
- Bosko Books
- Bpb Publications
- BPB Publications
- Bradford Book
- Broquard eBooks
- Business Science Reference
- Butterworth-Heinemann
- C Hurst & Co Publishers Ltd
- C. Press/F. Watts Trade
- CABI
- Cambridge
- Cambridge University Press
- Cambridge UP
- Canongate Books
- Capstone
- Careercup
- Carl Keyness
- Cayenne Canyon Press
- CBS Publishers & Distributors Pvt. Ltd.
- Cengage Learning
- Cengage Learning India
- Cengage Learning, Inc
- Center for the Study of Language and Informat
- Chapman and Hall/CRC
- Chapman Hall
- Charles M Dominquez
- Christian Colossus
- Clanrye International
- Code Energy
- Codemonkey Do
- Cody Koala
- Cognella Academic Publishing
- Coherent Press
- College Publications
- Columbia University Press
- Coronat Services, LLC
- CRC Press
- CRC/CH
- Bio-Science and Agriculture
- Business Management
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Creative Writing, Fiction
- Earth-Science/Environment
- Economics
- Education & Psychology
- Engineering
- English Literature
- General Books
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Nutrition and Dietetics
- Physics and Astronomy
- Religion and Philosophy
- Tourism, Travel Guide & Hospitality
- ‪nathanaël Fijalkow
- A. A. Markov
- A. E. Eiben
- A. I. Malcev
- A. Ismael F. Vaz
- A. Kaveh
- A. Migdalas
- A. N. Tikhonov
- A. R. Conn
- A. Sima Uyar
- A. Udaya Shankar
- A. Van Wijngaarden
- Aaron Armstrong
- Abd-El-Barr
- Abdo Abou Jaoude
- Abdul Hanif Abdul Halim
- Abhijit Das
- Abhijit Ghatak
- Abhishek Bhattacharya
- Abhishek Gupta
- Abhishek Kumar
- Aboul-Ella Hassanien
- Abraham Kandel
- Adam Dodson
- Adam Slowik
- Adele Kuzmiakova
- Adesh Silva
- Aditya Khamparia
- Adrian Barbu
- Adrian Thomas
- Afra J. Zomorodian
- Agassi Melikov
- Agnieszka Dardzinska
- Ahmed a. Shabana
- Ahmed Al-Muraeb
- Ahmed M. Anter
- Ajith Abraham
- Akhilesh Kumar Srivastava
- Akshay B R
- Alain Darte
- Alain Petrowski
- Alan Grid
- Alan J. Lockett
- Alan Parker
- Alan Parkin
- Alberto Ochoa Ortiz-Zezzatti
- Alberto Pettorossi
- Aleksandra Drożdż
- Alexander J. Zaslavski
- Alexander Konyukhov
- Alexander Lazarev
- Alexander Meduna
- Alexander Schrijver
- Alexander Shen
- Alexander Stanoyevitch
- AVI Ostfeld
- Benjamin Doerr
- Carlos A. S. Oliveira
- Celso C. Ribeiro
- Ding-Zhu Du
- Donald Davendra
- El-Ghazali Talbi
- Enrique Alba
- Erik Cuevas
- Fiona Hobbs
- Flemming Nielson
- Gagniuc
- Gerhard Paulin
- Hans Petter Langtangen
- Information Reso Management Association
- Irfan Ali
- Joe Oswald
- Joel S. Cohen
- John Wood
- Lane A. Hemaspaandra
- Lucien Sina
- Mark Weiss
- Mokhtar S. Bazaraa
- Oscar Castillo
- Pandian Vasant
- Panos M. Pardalos
- Richard Jones
- Robert J. Vanderbei
- Robert Sedgewick
- Ryuhei Uehara
- Sachi Nandan Mohanty
- Shengxiang Yang
- Siddhartha Bhattacharyya
- Stefka Fidanova
- Steven Halim
- Svein Linge
- Thom Frühwirth
- Uma N. Dulhare
- Utpal Banerjee
- Vangelis Th Paschos
- Vijayalakshmi P
- William H. Press
- Xin-She Yang
- Yaochu Jin
- Zbigniew Michalewicz
Products
Decision Procedures: An Algorithmic Point of View
Daniel Kroening
Hardcover
Current price
₹5,458
Original price
₹8,396
Original price
₹8,396
Original price
₹8,396
(-35%)
₹5,458
Current price
₹5,458
| /
• Author(s): Daniel Kroening • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverA decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the a...
View full details
