Top
: Computers
: Algorithms
: Publications
Abstract State Machines
-
A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
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.
The Algorithm Base
-
Database of algorithms. May be scanned through or can be questioned through a knowledge based assistant. Links to originating web sites.
Copyright 2005 www.textlinksrus.com. Privacy Policy | Contact Us
