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 ...
Special Interest Group on Algorithms and Computation Theory, the ACM special interest group for The...
A dictionary of algorithms, algorithmic techniques, data structures, and archetypical problems, wit...
A collection of links for and to researchers in the subject.
Course material, syllabus and notes for a course by Roger Whitney at SDSU.
Links to courses in algorithms maintained at various university computer science departments.
Information on algorithms such as Bubble Sort and Random Number Generation, using HTML, Java and Pe...
Lecture notes and links for a course by Godfried Toussaint.
Algorithms lecture notes, courses, tutorials, references, guides and online books.
Electronic bibliography on priority queues (heaps). Links to downloadable reports, researchers' hom...
Lecture notes; applets and code in C, C++, and Java; links regarding books, journals, computability...