I thought readers of comp.lang.lisp might be interested in this book.
For more information please visit http://mitpress.mit.edu/0262032937
Best,
Jud
Introduction to Algorithms
second edition
Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford
Stein
There are books on algorithms that are rigorous but incomplete and
others that cover masses of material but lack rigor. Introduction to
Algorithms combines rigor and comprehensiveness.
The book covers a broad range of algorithms in depth, yet makes their
design and analysis accessible to all levels of readers. Each chapter is
relatively self-contained and can be used as a unit of study. The
algorithms are described in English and in a pseudocode designed to be
readable by anyone who has done a little programming. The explanations
have been kept elementary without sacrificing depth of coverage or
mathematical rigor.
The first edition became the standard reference for professionals and a
widely used text in universities worldwide. The second edition features
new chapters on the role of algorithms, probabilistic analysis and
randomized algorithms, and linear programming, as well as extensive
revisions to virtually every section of the book. In a subtle but
important change, loop invariants are introduced early and used
throughout the text to prove algorithm correctness. Without changing the
mathematical and analytic focus, the authors have moved much of the
mathematical foundations material from Part I to an appendix and have
included additional motivational material at the beginning.
Thomas H. Cormen is Associate Professor of Computer Science at Dartmouth
College. Clifford Stein is Associate Professor of Industrial Engineering
and Operations Research at Columbia University. Charles E. Leiserson is
Professor of Computer Science and Electrical Engineering at the
Massachusetts Institute of Technology. Ronald L. Rivest is Andrew and
Erna Viterbi Professor of Computer Science at the Massachusetts
Institute of Technology.
8 x 9, 1184 pp.
260 illus.
paper ISBN 0-262-53196-8
Paper edition is an International Student Edition, not available in the
USA or Canada.
cloth ISBN 0-262-03293-7