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 YEAR=1963
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A semi-decision procedure for the functional calculus
Joyce Friedman
Journal of the ACM
10
, 1963, pp. 1-24
The number of classes of invertible Boolean functions
Michael A. Harrison
Journal of the ACM
10
, 1963, pp. 25-28
Some recursively unsolvable problems in ALGOL-like languages
Seymour Ginsburg
,
Gene F. Rose
Journal of the ACM
10
, 1963, pp. 29-47
On a computer program for obtaining irreducible representations for two-level multiple input-output logical systems
R.W. House
,
T. Rado
Journal of the ACM
10
, 1963, pp. 48-77
Further results on the structure of sequential machines
J. Hartmanis
Journal of the ACM
10
, 1963, pp. 78-88
A method for obtaining suboptimal group-testing policies using dynamic programming and information theory
Brian Gluss
Journal of the ACM
10
, 1963, pp. 89-96
On the numerical solution of Fredholm integral equations of the first kind by the inversion of the linear system produced by quadrature
S. Twomey
Journal of the ACM
10
, 1963, pp. 97-101
On the Danilewski method
Eldon R. Hansen
Journal of the ACM
10
, 1963, pp. 102-109
On a weight distribution problem, with application to the design of stochastic generators
Arthur Gill
Journal of the ACM
10
, 1963, pp. 110-121
On the coding of Jacobi's method for computing Eigenvalues and Eigenvectors of real symmetric matrices
F.J. Corbató
Journal of the ACM
10
, 1963, pp. 123-125
Formulas for computing incomplete elliptic integrals of the first and second kinds
G.E. Lee-Whiting
Journal of the ACM
10
, 1963, pp. 126-130
Mixed congruential random number generators for decimal machines
J.L. Allard
,
A.R. Dobell
,
T.E. Hull
Journal of the ACM
10
, 1963, pp. 131-141
A simple sorting algorithm
Thomas N. Hibbard
Journal of the ACM
10
, 1963, pp. 142-150
Automatic document classification
Harold Borko
,
Myrna Bernick
Journal of the ACM
10
, 1963, pp. 151-162
Theorem-proving on the computer
J.A. Robinson
Journal of the ACM
10
, 1963, pp. 163-174
Operations which preserve definability in languages
Seymour Ginsburg
,
G.F. Rose
Journal of the ACM
10
, 1963, pp. 175-195
Detection of generative ambiguities in context-free mechanical languages
Saul Gorn
Journal of the ACM
10
, 1963, pp. 196-208
A state variable assignment method for asynchronous sequential switching circuits
C.N. Liu
Journal of the ACM
10
, 1963, pp. 209-216
Computability of recursive functions
J.C. Shepherdson
,
H.E. Sturgis
Journal of the ACM
10
, 1963, pp. 217-255
Methods for fitting rational approximations, Parts II and III
Hans J. Maehly
Journal of the ACM
10
, 1963, pp. 257-277
On economization of rational functions
Anthony Ralston
Journal of the ACM
10
, 1963, pp. 278-282
An algorithm for minimax polynomial curve-fitting of discrete data
Charles W. Valentine
,
C. Peter van Dine
Journal of the ACM
10
, 1963, pp. 283-290
Efficiency of predictor-corrector procedures
T.E. Hull
,
A.L. Creemer
Journal of the ACM
10
, 1963, pp. 291-301
Monte Carlo computations in normal correlation problems
H.O. Hartley
,
D.L. Harris
Journal of the ACM
10
, 1963, pp. 302-306
Addressing for random-access storage with multiple bucket capacities
M. Tainiter
Journal of the ACM
10
, 1963, pp. 307-315
Seiten 1
2
>