|Abstract State Machines|
A formal method for specifying and verifying algorithms. tools , meetings , researchers in the area.
Special interest group on algorithms and computation theory , the acm special interest group for theoretical computer science. site has membership information , meetings , reports and a newsletter for members.
|Algorithm Design Paradigms|
A course by paul dunne at the university of liverpool. slides and notes in html and ps.
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.
|Algorithms in the Real World|
Notes for a course at carnegie mellon university.
|Analysis Of Algorithms|
An initiative of attendees of the 1997 dagstuhl seminar , these pages provide research papers , a bulletin board , and links to researchers and other resources in the field. the focus is on average case and probabilistic analysis.
|CATS: Combinatorial Algorithms Test Sets|
Searchable index of problems , links and methodology.
Course material , syllabus and notes for a course by roger whitney at sdsu.
Lecture notes of a course at san diego state university.
|Computer Programming Algorithms Directory|
Resources that describe computer programming algorithms.
Lecture notes by steven skiena.
Introduction to data structures , with java code , by peter m. williams.
|Design and Analysis of Computer Algorithms|
Lecture notes; applets and code in c , c++ , and java; links regarding books , journals , computability , quantum computing , societies and organizations.
|Dictionary of Algorithms, Data Structures, and Problems|
A dictionary of algorithms , algorithmic techniques , data structures , and archetypical problems , with related definitions. many entries have links to implementations , tutorials , and bibliographical references.