Science6.com aims to guide user to resources about science, chemistry, biotechnology, ecology, laboratories, physics and astronomy, software, biochemistry, reliability engineering, morality, medical physics and useful information.
University of Tuebingen Computer Architecture Department research topics include computer architecture, computational intelligence, neural networks, evolutionary algorithms, robotics, mobile robots, artificial life, multi-agent systems.
WWW Virtual Library: Formal Methods points to sites containing information on formal methods, useful for mathematically describing and reasoning about computer-based systems.
