|
Journals in DBLP
Commun. ACM 1973, volume: 16, number: 8
- Michael H. Smith
A Learning Program Which Plays Partnership Dominoes. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:462-467 [Journal]
- Bruce J. MacLennan
Fen-An Axiomatic Basis for Program Semantics. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:468-474 [Journal]
- David Misunas
Petri Nets and Speed Independent Design. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:474-481 [Journal]
- Marek Machura, Andrzej Mulawa
Rosenbrock Function Minimization [E4] (Algorithm 450). [Citation Graph (0, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:482-483 [Journal]
- Richard B. Goldstein
Chi-Square Quantiles [G1] (Algorithm 451). [Citation Graph (0, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:483-485 [Journal]
- C. N. Liu, D. T. Tang
Enumerating Combinations of m Out of n Objects [G6] (Algorithm 452). [Citation Graph (0, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:485- [Journal]
- Robert Piessens
Gaussian Quadrature Formulas for Bromwich's Integral [D1] (Algorithm 453). [Citation Graph (0, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:486-487 [Journal]
- Joel A. Richardson, J. L. Kuester
The Complex Method for Constrained Optimization [E4] (Algorithm 454). [Citation Graph (0, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:487-489 [Journal]
- G. Andrejkova, J. Vinar
Complex Gamma Function (Remark and Certification on Algorithm 404). [Citation Graph (0, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:489- [Journal]
- Richard P. Watkins
Graph Plotter (Remark on Algorithm 412). [Citation Graph (0, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:489-490 [Journal]
- Richara M. De Morgan
An Efficient Prime Number Generator (Remark on Algorithm 357). [Citation Graph (0, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:489- [Journal]
- Edward J. Williams
Localization of the Roots of a Polynomial (Remark on Algorithm 429). [Citation Graph (0, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:490- [Journal]
- Albert J. Good
Clenshaw-Curtis Quadrature (Remark on Algorithm 424). [Citation Graph (0, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:490- [Journal]
- J. G. Byrne
Hu-Tucker Minimum Redundancy Alphabetic Coding Method (Remark on Algorithm 428). [Citation Graph (0, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:490- [Journal]
- Zohar Manna, Stephen Nes, Jean Vuillemin
Inductive Methods for Proving Properties of Programs. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:491-502 [Journal]
- W. W. Peterson, Tadao Kasami, Nobuki Tokura
On the Capabilities of While, Repeat, and Exit Statements. [Citation Graph (1, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:503-512 [Journal]
- Caxton C. Foster
A Generalization of AVL Trees. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1973, v:16, n:8, pp:513-517 [Journal]
|