636 search results - page 15 / 128 » Computational Engineering and Science Program at the Univers... |
SC
2004
ACM
14 years 1 months ago
2004
ACM
: Legend says that Archimedes remarked, on the discovery of the lever, “Give me a place to stand, and I can move the world.” Today, computing pervades all aspects of science an...
ICSE
2007
IEEE-ACM
14 years 1 months ago
2007
IEEE-ACM
Recent publications indicate the importance of software engineering in the computer science curriculum. In this paper, we present the final part of software engineering education ...
Book
"These notes were prepared for use in the graduate course Computer Science 15–
814: Type Systems for Programming Languages at Carnegie Mellon University.
Their purpose is ...
DBPL
1993
Springer
13 years 12 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
EL
2010
13 years 6 months ago
2010
We live in a computer-centric information age. The number of computers in-use including in libraries is growing rapidly. Computer literacy, which is the ability to operate a compu...