Art of Computer Programming, Volume 4, Fascicle 6, The: Satisfiability

Knuth, Donald

ISBN 10: 0134397606 / ISBN 13: 9780134397603

Published by Addison-Wesley Professional, 2015

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_424437815

Synopsis:

This multivolume work on the analysis of algorithms has long been recognized as the definitive description of classical computer science. The four volumes published to date already comprise a unique and invaluable resource in programming theory and practice. Countless readers have spoken about the profound personal influence of Knuth’s writings. Scientists have marveled at the beauty and elegance of his analysis, while practicing programmers have successfully applied his “cookbook” solutions to their day-to-day problems. All have admired Knuth...

More

About the Author:

Donald E. Knuth is known throughout the world for his pioneering work on algorithms and programming techniques, for his invention of the TEX and METAFONT systems for computer typesetting, and for his prolific and influential writing. Professor Emeritus of The Art of Computer Programming at Stanford University, he currently devotes full time to the completion of these fascicles and the seven volumes to which they belong.

Bibliographic Details

Title: Art of Computer Programming, Volume 4, ...
Publisher: Addison-Wesley Professional
Publication Date: 2015
Binding: Paperback
Condition: Good