Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=J. ACM AND Volume=7
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Input-output buffering and Fortran
David E. Ferguson
Journal of the ACM
7
, 1960, pp. 1-9
Changing from analog to digital programming by digital techniques
Marvin L. Stein
,
Jack Rose
Journal of the ACM
7
, 1960, pp. 10-23
Sequential machines, ambiguity, and dynamic programming
Richard Bellman
Journal of the ACM
7
, 1960, pp. 24-28
On the increase of convergence rates of relaxation procedures for elliptic partial difference equations
M.L. Juncosa
,
T.W. Mullikin
Journal of the ACM
7
, 1960, pp. 29-36
Boundary contraction solution of Laplace's differential equation II
Tse-Sun Chow
,
Harold Willis Milnes
Journal of the ACM
7
, 1960, pp. 37-45
Stability of a numerical solution of differential equations - Part II
W.E. Milne
,
R.R. Reynolds
Journal of the ACM
7
, 1960, pp. 46-56
A generalization of a theorem of Carr on error bounds for Runge-Kutta procedures
B.A. Galler
,
D.P. Rozenberg
Journal of the ACM
7
, 1960, pp. 57-60
A numerical method for solving control differential equations on digital computers
W.H. Anderson
,
R.B. Ball
,
J.R. Voss
Journal of the ACM
7
, 1960, pp. 61-68
Truncation error in the Graeffe root-squaring method
Gerard P. Weeg
Journal of the ACM
7
, 1960, pp. 69-71
Serial correlation in the generation of pseudo-random numbers
R.R. Coveyou
Journal of the ACM
7
, 1960, pp. 72-74
A new pseudo-random number generator
A. Rotenberg
Journal of the ACM
7
, 1960, pp. 75-77
A fortran-compiled list-processing language
H. Gelernter
,
J.R. Hansen
,
C.L. Gerberich
Journal of the ACM
7
, 1960, pp. 87-101
A mechanical proof procedure and its realization in an electronic computer
Dag Prawitz
,
HÃ¥kan Prawitz
,
Neri Voghera
Journal of the ACM
7
, 1960, pp. 102-128
Floating-point arithmetics
W.G. Wadey
Journal of the ACM
7
, 1960, pp. 129-139
A new method for the payment of bills and the transfer of credit
Gerard Salton
Journal of the ACM
7
, 1960, pp. 140-149
Methods for fitting rational approximations, Part I: Telescoping procedures for continued fractions
Hans J. Maehly
Journal of the ACM
7
, 1960, pp. 150-162
A necessary and sufficient condition for stability of partial difference equation problems
Robin E. Esch
Journal of the ACM
7
, 1960, pp. 163-175
A starting method for the three-point Adams predictor-corrector method
R. Alonso
Journal of the ACM
7
, 1960, pp. 176-180
A modification of Filon's method of numerical integration
E.A. Flinn
Journal of the ACM
7
, 1960, pp. 181-184
Remarks on the unitary triangularization of a nonsymmetric matrix
David D. Morrison
Journal of the ACM
7
, 1960, pp. 185-186
A computing procedure for quantification theory
Martin Davis
,
Hilary Putnam
Journal of the ACM
7
, 1960, pp. 201-215
On relevance, probabilistic indexing and information retrieval
M.E. Maron
,
J.L. Kuhns
Journal of the ACM
7
, 1960, pp. 216-244
Computation of the frequency function of a quadratic form in random normal variables
Walter F. Freiberger
,
Richard H. Jones
Journal of the ACM
7
, 1960, pp. 245-250
Analysis of nets by numerical methods
Arthur Gill
Journal of the ACM
7
, 1960, pp. 251-254
On the consistency of precedence matrices
Frank Harary
Journal of the ACM
7
, 1960, pp. 255-259
Seiten 1
2
>