Enlaces a sitios |
|
|
| |
Abstract State Machines A simple yet powerful formal method for specifying and validating computing systems of all types.
| B-TREE-P B-tree source code for the Pick operating system.
|
comp.compression FAQ part 1/3 Frequently Asked Questions for the comp.compression Usenet newsgroup. Covers data compression algorithms.
| Dictionary of Algorithms and Data Structures A dictionary of algorithms, algorithmic techniques, data structures, and archetypal problems in computer science from NIST.
|
FEEC - UNICAMP - Faculdade de Engenharia Elétrica e de Computação The Faculty of Electrical and Computer Engineering at UNICAMP, the institutional home of the original memetic algorithms research.
|
| |
Finite Model Theory Academic lecture notes and literature focusing on finite model theory and structures.
|
Imperial College London - Theory and Algorithms Research Theme The official research group for theoretical computer science, including algorithm design and analysis, at Imperial College London.
|
Khoury College of Computer Sciences - Publications Repository of technical papers and publications from Northeastern University"s Khoury College.
|
LEDA - Library of Efficient Data types and Algorithms The official page for LEDA, a C++ class library of the foundations of combinatorial and geometric computing, developed at the Max-Planck-Institut für Informatik.
|
Prague Stringology Club Official website of the Prague Stringology Club, a research group at the Czech Technical University focusing on string algorithms and related topics.
| REDUCE Computer Algebra System The official open-source project page for REDUCE, a system for general algebraic computations of interest to mathematicians, scientists, and engineers.
|
Stockholm University - Department of Computer and Systems Sciences (DSV) The Department of Computer and Systems Sciences (DSV) is the largest IT department in Sweden and is part of Stockholm University.
| Stony Brook Algorithm Repository a comprehensive collection of algorithm implementations for fundamental problems in combinatorial algorithms.
|
Ultrafast Parallel Algorithms and Reconfigurable Meshes surveys some ultrafast parallel algorithms for PRAMs and reconfigurable meshes.
| VisuAlgo Data structure and algorithm visualization
|
|
Home 
Atrás 
Arriba
