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.
The Algorithm Base
Database of algorithms. May be scanned through or can be questioned through a knowledge based assistant. Links to originating web sites.
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.
A brief discussion and implementation of circular queues in C.
Lecture notes of a course at San Diego State University.
Course material, syllabus and notes for a course by Roger Whitney at SDSU.
Computer Programming Algorithms Directory
Resources that describe computer programming algorithms.
Introduction to data structures, with Java code, by Peter M. Williams.
Lecture Notes by Steven Skiena.
Data Structures and Algorithms
Course Notes, University of Western Australia
Data Structures And Number Systems
Web text by Brian Brown.
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.
The Grail Project
A symbolic computation environment for finite-state machines, regular expressions, and finite languages.
Results: 1 2 3 4 5 6 7 8 Next