-
2
-
-
0039713931
-
Semantic construction of intuitionistic logic
-
Beth, K.W. Semantic construction of intuitionistic logic. Kon. Ned. Ak. Wet. 19 (1956), 257-388.
-
(1956)
Kon. Ned. Ak. Wet.
, vol.19
, pp. 257-388
-
-
Beth, K.W.1
-
4
-
-
0003781308
-
-
Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, England
-
Chaitin, G.J. Algorithmic Information Theory. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, England, 1987.
-
(1987)
Algorithmic Information Theory
-
-
Chaitin, G.J.1
-
7
-
-
2742583598
-
-
National Science Foundation, Computer and Information Science and Engineering Directorate, Washington, D.C., May be obtained via email through pubs@note.nsf.gov
-
Federal Coordinating Council for Science, Engineering and Technology. Grand Challenges 1993: High Performance Computing and Communications. National Science Foundation, Computer and Information Science and Engineering Directorate, Washington, D.C., 1993. May be obtained via email through pubs@note.nsf.gov.
-
(1993)
Grand Challenges 1993: High Performance Computing and Communications
-
-
-
8
-
-
1542688803
-
Future research directions in problem solving environments for computational science
-
Tech. Rep., Center for Supercomputing Research and Development, University of Illinois
-
Gallopoulos, E., Houstis, E., and Rice, J.R. Future research directions in problem solving environments for computational science. Tech. Rep., Center for Supercomputing Research and Development, University of Illinois, 1991.
-
(1991)
-
-
Gallopoulos, E.1
Houstis, E.2
Rice, J.R.3
-
9
-
-
84976657618
-
-
McGraw-Hill, New York
-
Gettys, W.E., Keller, F.J., and Skove, M.J. Classical and Modern Physics. McGraw-Hill, New York, 1988.
-
(1988)
Classical and Modern Physics
-
-
Gettys, W.E.1
Keller, F.J.2
Skove, M.J.3
-
13
-
-
84976771182
-
-
Princeton University Press, Princeton, N.J.
-
Krommes, J. FWEB User's Guide. Princeton University Press, Princeton, N.J., 1991.
-
(1991)
FWEB User's Guide
-
-
Krommes, J.1
-
14
-
-
0004401969
-
Software support for parallel computing: Where are we headed?
-
(Nov.)
-
Pancake, C.M. Software support for parallel computing: Where are we headed? Commun. ACM 34, 11 (Nov. 1991), 53-64.
-
(1991)
Commun. ACM
, vol.34
, Issue.11
, pp. 53-64
-
-
Pancake, C.M.1
-
18
-
-
0003706460
-
-
May
-
Society for Industrial and Applied Mathematics. LAPACK Users' Guide, May 1992.
-
(1992)
LAPACK Users' Guide
-
-
-
19
-
-
0342834695
-
An annotated bibliography of literate programming
-
(Jan.)
-
Smith, L.M.C., and Samadzadeh, M.H. An annotated bibliography of literate programming. ACM SIGPLAN Not. 26, 1 (Jan. 1991).
-
(1991)
ACM SIGPLAN Not
, vol.26
, pp. 1
-
-
Smith, L.M.C.1
Samadzadeh, M.H.2
-
20
-
-
0025535873
-
Experiences in building the Clemson computational science program
-
ACM, New York
-
Stevenson, D.E., and Panoff, R.M. Experiences in building the Clemson computational science program. In Proceedings of Supercomputing '90. ACM, New York, 1990.
-
(1990)
Proceedings of Supercomputing '90
-
-
Stevenson, D.E.1
Panoff, R.M.2
-
21
-
-
0004220675
-
-
Academic Press, New York
-
Traub, J.F., Wasilkowski, G.W., and Wozniakowski, H. Information Based Complexity. Academic Press, New York, 1988.
-
(1988)
Information Based Complexity
-
-
Traub, J.F.1
Wasilkowski, G.W.2
Wozniakowski, H.3
|