Sites vergelijkbaar Cs.Uml.Edu

E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.

Handmade contracts available on claf (parchment) or acid free paper with any desired text.

The CCA Network provides some useful information for researchers working in the field of computability and complexity in analysis.

Stanford University is one of the world's leading research and teaching institutions. It is located in Stanford, California.

Free, secure and fast downloads from the largest Open Source applications and software directory - SourceForge.net

MIT is devoted to the advancement of knowledge and education of students in areas that contribute to or prosper in an environment of science and technology.

Elsevier is a world-leading provider of scientific, technical and medical information products and services.

Latest news and features on science issues that matter including earth, environment, and space. Get your science news from the most trusted source!