Browse and Search the Library
: Math Topics
: Computer Science
Library Home ||
Full Table of Contents ||
Suggest a Link ||
- 255 items
found, showing 251 to 255
- Welcome to the World of Petri Nets - CPN Group, University of Aarhus, Denmark
Petri Nets is a formal and graphical language which is appropriate for modeling complex systems with concurrency. It has nothing to do with network communication but has proven useful for describing, analysing, and verifying protocols typically used in
- Women of NASA - Tish Krieg, National Aeronautics and Space Administration
The Women of NASA resource was developed to encourage more young women to pursue careers in math, science, and technology. The project showcases outstanding women who are enjoying successful careers, and demonstrates how these women balance personal and
- Women's Adventures in Science - National Academy of Sciences
This project of the National Academy of Sciences showcases contemporary women in science, and highlights for young people the varied careers of some of today's most prominent scientists. The site draws from and accompanies Women's Adventures in Science,
- The Working Group on Automated Timetabling (WATT)
A professional association dedicated to the research of automated timetabling issues and methods. List of members, history of the organization, upcoming events, recent digests, membership information, and a bibliography of timetabling books and articles.
- Yarrow Home Page - Jan Zwanenburg
A proof-assistant for Pure Type Systems (PTSs). In Yarrow you can experiment with various pure type systems, representing different logics and programming languages. A basic knowledge of Pure Type Systems and the Curry-Howard-de Bruijn isomorphism is
The Math Library ||
Quick Reference ||
© 1994-2014 Drexel University. All rights reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.