A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
A course by Paul Dunne at the University of Liverpool. Slides and notes in HTML and PS.
Lecture notes by Steven Skiena.
Introduction to data structures, with Java code, by Peter M. Williams.
Section on Algorithms and Data Structures. A compilation of links.
A dictionary of algorithms, algorithmic techniques, data structures, and archetypical problems, with related definitions. Many entries have links to implementations, tutorials, and bibliographical references.
A collection of links for and to researchers in the subject.
Algorithms lecture notes, courses, tutorials, references, guides and online books.
Database of algorithms. May be scanned through or can be questioned through a knowledge based assistant. Links to originating web sites.
Electronic bibliography on priority queues (heaps). Links to downloadable reports, researchers' home pages, and software.