Algorithms subcat
- 1
- Abstract State Machines
- A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
- 5
- 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.
- 6
- On the Road to Algorithms
- Information on algorithms such as Bubble Sort and Random Number Generation, using HTML, Java and Perl. Collected by Lam Ka Chun (Raymond).
- 9
- Tree Automata Techniques and Applications
- An evolving web text in PostScript and PDF, with related software.
page #1