2. IFIP Congress 1962: Munich, Germany
Chapter 1: Opening Session
Chapter 2: Survey Session
E. Stiefel:
Some Examples of Numerical Methods and the Philosophy behind them. IFIP Congress 1962: 17-20
Heinz Gumin:
Digital Computers, Mathematical Logic and Principal Limitations of Computability. IFIP Congress 1962: 29-32
Chapter 3: Business Information Systems
Business Data Processing 1

D. W. Hopper:
Integrated Information Processing for Management of Nationalized Industries. IFIP Congress 1962: 40-44

Business Data Processing 2
John A. Gosden, Roger L. Sisson:
Standardized Comparisons of Computer Performance. IFIP Congress 1962: 57-61
J. P. Jeanniot, P. J. Sandiford:
Some Airlinge Applications of Monte-Carlo System Simulations. IFIP Congress 1962: 67-72

Panel
Chapter 4: Scientific Information Processing
Algebra
Heinz Rutishauser:
On a Modification of the QD-Algorithm with Graeffe-Type Convergence. IFIP Congress 1962: 93-96
N. Gastinel:
Sur certains procédés itératifs non linéaires de résolution de systèmes d'équations du premier degré. IFIP Congress 1962: 97-101
A. Korganoff:
Les polynômes d'interpolation de matrices carrées à coefficients matriciels et les méthodes itératives de résolution numérique des équations de matrices carrées de forme quelconque. IFIP Congress 1962: 102-106
P. H. Blundell:
A Method for Solving Simultaneous Polynominal Equations. IFIP Congress 1962: 107-111
Eugene L. Wachspress:
Strategy for Multidimensional Neutron Group Diffusion Computations. IFIP Congress 1962: 112-115
Partial Differential Equations
A. A. Dorodnicyn:
Partial Differential Equations of the Mixed Type and Methods of Their Solution. IFIP Congress 1962: 122-125
Max E. Engeli, Peter Läuchli:
Automatic Calculation and Programming of Difference Equations for Elliptic Boundary Value Problems. IFIP Congress 1962: 126-131
David J. Evans:
Numerical Studies of Implicit Iterative Methods for Solving Elliptic Difference Equations. IFIP Congress 1962: 132-140
Bella Kotkin:
A Mathematical Model of Drug Distribution and the Solution of Differential-Difference Equations. IFIP Congress 1962: 145-148
Differential and Integral Equations
Peter Wynn:
Acceleration Techniques in Numerical Analysis, with Particular Reference to Problems in One Independent Variable. IFIP Congress 1962: 149-156
J. Kuntzmann:
Nouvelle méthode pour l'integration approchée des équations differentielles. IFIP Congress 1962: 157-162
Jacques J. Arsac:
Recherche des solutions d'une équation de convolution. IFIP Congress 1962: 163-168
R. Albrecht, W. Urich:
A Difference Method for the Approximate Solution of the Initial Value Problem for Systems of Quasi-Linear Partial Differential Equations of the First Order. IFIP Congress 1962: 169-172
Optimization Programming

V. S. Michalevitch:
The Method of Sequential Analysis of Variants for Determination of Optimal Solutions. IFIP Congress 1962: 177-179
Tomasz Pietrzykowski:
Application of the Steepest Ascent Method to Concave Programming. IFIP Congress 1962: 185-189
Françoise Gallouedec Genuys:
Application de la programmation linéaire en nombres entiers à un problème de découpe. IFIP Congress 1962: 195-197
Symposiums
Chapter 5: Real-Time Information Processing
Real-Time Information Processing
F. H. Raymond:
Vue d'ensemble des problèmes fondamentaux du traitement des informations en temps réel. IFIP Congress 1962: 225-230
L. Casciato:
The Control of Traffic Signals with an Electronic Computer - A New Application of Real-Time Data Processing. IFIP Congress 1962: 231-235
Clement Green, André Debroux, G. P. Del Bigio, A. Gazzano, Hervé D'Hoop, A. Riotte, A. van Wauwe:
Utilisation of an Analogue-to-Digital Linkage System in a Big Scientific Computing Centre. IFIP Congress 1962: 236-241
R. B. Stauffer, T. H. Lewis:
Met-Watch: A Technique for Processing and Scanning Meteorological Data with a Digital Computer. IFIP Congress 1962: 242-246
J. Carpentier:
Nouvelle méthode de calcul du Dispatching Economique d'un réseau de transport d'enérgie. IFIP Congress 1962: 247-251
Symposium
Panel
Chapter 6: Information Retrieval
Information Retrieval

Noah S. Prywes, Harry J. Gray:
The Multi-List System for Real-Time Storage and Retrieval. IFIP Congress 1962: 273-278
Roger M. Needham:
A Method for Using Computers in Information Classification. IFIP Congress 1962: 284-287
Symposium
J. Garcia Santesmases:
Symposium on Advanced Methods in Information Storage and Retrieval. IFIP Congress 1962: 294-298
Chapter 7: Language Translation
Linguistic Analysis and Mechanical Translation of Languages
Olga F. Koulagina:
The Use of Computers in Research on Machine Translation. IFIP Congress 1962: 301-305
Karel Culík:
On Some Axiomatic Systems for Formal Grammars and Languages. IFIP Congress 1962: 313-317
Martin Kay:
Rules of Interpretation - An Approach to the Problem of Computation in the Semantics of Natural Language. IFIP Congress 1962: 318-322
Symposium
Panel
Chapter 8: Digital Communication
Digital Communication

N. Clark, A. C. Gannet:
Computer-to-Computer Communication at 2.5 Megabits.sec. IFIP Congress 1962: 347-353
E. Rothauser, F. Lenk:
Dependence of Speech Quality on Transmitted Information Rate in a Band Compression System. IFIP Congress 1962: 354-358
A. E. Miller, A. B. Shafritz, J. R. Smith:
Message Protection Features of the DATACOM Program. IFIP Congress 1962: 367-372
Symposium
Chapter 9: Artificial Perception
Automata Theory
Arthur W. Burks:
Toward a Theory of Automata Based on more Realistic Primitive Elements. IFIP Congress 1962: 379-385
Jirí Becvár:
Finite and Combinatorial Automata. Turing Automata with a Programming Tape. IFIP Congress 1962: 391-394
Edward A. Feigenbaum, Herbert A. Simon:
Generalization of an Elementary Perceiving and Memorizing Machine. IFIP Congress 1962: 401-406
Machine Learning

C. Vossler, Leonard Uhr:
Computer Simulations of a Perceptual Learning Model for Sensory Pattern Recognition, Concept Formation and Symbol Transformation. IFIP Congress 1962: 413-418
H. C. Ratz, G. H. M. Thomas:
The Development of a Conditional Probability Computer for Control Applications. IFIP Congress 1962: 423-427
Artificial Perception
M. G. Saunders:
Digital Computer Usage in Analysis of Electroencephalograph and Similar Quasi-Rhythmic Patterns. IFIP Congress 1962: 433-438


Morton Nadler:
Un système analogique-digital pour la reconnaissance de caractères. IFIP Congress 1962: 456-461
Symposiums

T. A. Kalin:
Symposium on Biological and Psychological Aspects of Pattern Recognition. IFIP Congress 1962: 471-477
Chapter 10: Advanced Techniques 1
Programming Languages and Their Processing


W. M. Keese Jr., Harry D. Huskey:
An Algorithm for the Translation of ALGOL Statements. IFIP Congress 1962: 498-502

Symposiums
Panel
Chapter 11: Advanced Techniques 2
Advanced Programming

Anatol W. Holt:
Program Organization and Record Keeping for Dynamic Storage Allocation. IFIP Congress 1962: 539-544
Robert Perkins, William C. McGee:
Programmed Control of Multi-Computer Systems. IFIP Congress 1962: 545-549
Ascher Opler, D. Farbman, M. Heit, W. King, E. O'Connor, Roy Goldfinger, H. Landow, J. Ogle, D. Slesinger:
Automatic Translation of Programs from one Computer to Another. IFIP Congress 1962: 550-555
Symposiums
Chapter 12: Advanced Techniques 3
Memory Techniques

J. Scharbert:
Nanosecond Speed in a Core Memory with Non-Destructive Read-Out. IFIP Congress 1962: 585-589
John D. R. McQuillan:
Some Problems in the Design of Magnetic Film Storage Systems Operating at Millimicroseconds. IFIP Congress 1962: 590-596
G. H. Perry, E. W. Shallow:
A Read-Out Circuit for High-Speed Non-Destructively Read Stores. IFIP Congress 1962: 597-602
S. Takahashi, Kisaburo Nakazawa, Kenro Murata, Osamu Ishii:
A Tunnel-Diode High-Speed Memory. IFIP Congress 1962: 603-607
Circuits and Components



M. Alique, J. L. Lloret, I. Santos, M. A. Eced:
New Components for Ferroresonant Circuits. IFIP Congress 1962: 625-631
Symposiums
Chapter 13: Advanced Techniques 4
System Design 1
Heinz Gumin, F. K. Kroos:
A Very Small Electronic Digital Computer with Stored Program Control. IFIP Congress 1962: 651-656
F. H. Sumner, G. Haley, E. C. Y. Chen:
The Central Control Unit of the "Atlas" Computer. IFIP Congress 1962: 657-663
Algirdas Avizienis:
On a Flexible Implementation of Digital Computer Arithmetic. IFIP Congress 1962: 664-670
M. M. Lehman:
A Comparative Study of Propagation Speedup Circuits in Binary Arithmetic Units. IFIP Congress 1962: 671-677
System Design 2
R. J. Preiss:
An Experimental System for Logic Design Data Accumulation and Retrieval. IFIP Congress 1962: 678-683
Hiroshi Hagiwara, Kohei Amo, S. Matsushita, H. Yamauchi:
The KT Pilot Computer - A Micro-Programmed Computer with a Phototransistor Fixed Memory. IFIP Congress 1962: 684-689
S. Takahashi, H. Nishino, K. Yoshihiro, Kazuhiro Fuchi:
System Design of the ETL Mk-6 Computer. IFIP Congress 1962: 690-693
R. H. Allmark, J. R. Lucking:
Design of an Arithmetic Unit Incorporating a Nesting Store. IFIP Congress 1962: 694-698
Immo O. Kerner:
Modern Programming Methods and Problems and their Influence on the Design of Computing Instruments. IFIP Congress 1962: 699-703
Panels
Symposium
Chapter 14: Switching Theory
Switching Theory
Edward J. McCluskey:
Fundamental Mode and Pulse Mode Operations of Sequential Circuits. IFIP Congress 1962: 725-730
Mark B. Wells:
Application of a Finite Set Covering Theorem to the Simplification of Boolean Function Expressions. IFIP Congress 1962: 731-735
Paolo Ercoli, L. Mercurio:
Threshold Logic with One or more than One Threshold. IFIP Congress 1962: 741-746
Eiichi Goto, H. Takahasi:
Some Theorems Useful in Threshold Logic for Enumerating Boolean Functions. IFIP Congress 1962: 747-752



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
