A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
A collection including searching, sorting, tracking, mathematics and cellular automata. In English and Italian.
Links to courses in algorithms maintained at various university computer science departments.
A dictionary of algorithms, algorithmic techniques, data structures, and archetypical problems, with related definitions. Many entries have links to implementations, tutorials, and bibliographical references.
Algorithms lecture notes, courses, tutorials, references, guides and online books.
A collection of links for and to researchers in the subject.