Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Browse and Search the Library
Home : Math Topics : Applications/Connections : Sciences : Computer Science

_____________________________________
Library Home || Search || Full Table of Contents || Suggest a Link || Library Help
_____________________________________


  All Sites - 254 items found, showing 251 to 254

  1. 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 ...more>>

  2. 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, ...more>>

  3. 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. ...more>>

  4. 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 ...more>>


 
Page: [<prev]  1  2  3  4  5  6


Search for these keywords:
               

Click only once for faster results:

all keywords, in any order at least one, that exact phrase
parts of words whole words


Power Search

[Privacy Policy] [Terms of Use]

_____________________________________
Home || The Math Library || Quick Reference || Search || Help
_____________________________________

© 1994-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.