|
PR: 7
| Abstract State Machines A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area. - Read more http://www.eecs.umich.edu |
|
PR: 8
| ACM SIGACT 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. - Read more http://sigact.acm.org |
|
PR: 3
| The Algorithm Base Database of algorithms. May be scanned through or can be questioned through a knowledge based assistant. Links to originating web sites. - Read more http://www.intelligenceunited.com |
|
PR: 6
| Algorithm Design Paradigms A course by Paul Dunne at the University of Liverpool. Slides and notes in HTML and PS. - Read more http://www.csc.liv.ac.uk |
|
PR: 4
| Algorithms Archive A collection including searching, sorting, tracking, mathematics and cellular automata. In English and Italian. - Read more http://editor.altervista.org |
|
PR: 6
| Algorithms Courses Links to courses in algorithms maintained at various university computer science departments. - Read more http://www.cs.pitt.edu |
|
PR: 7
| Algorithms in the Real World Notes for a course at Carnegie Mellon University. - Read more http://www.cs.cmu.edu |
|
PR: 6
| 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. - Read more http://algo.inria.fr |
|
N/A
| Combinatorial Algorithms Lecture notes of a course at San Diego State University. - Read more http://www.eli.sdsu.edu |
|
PR: 3
| Computer Programming Algorithms Directory Resources that describe computer programming algorithms. - Read more http://www.algosort.com |