Logical Organization of the PACT I Compiler.
Some Proofs of Independence in Axiomatic Set Theory.
Optimale Lagerhaltung bei bekanntem Jahresgang des Bedarfes.
Identity, Variables, and Impredicative Definitions.
On the Generation of Errors in the Digital Evaluation of Continued Fractions.
On the Definition of 'Formal Deduction'.
Anwendungsmöglichkeiten neuzeitlicher Rechenautomaten bei Aufgaben der Betriebswirtschaft und Fertigungsplanung.
Some Inverse Characteristic Value Problems.
The High-Speed Electronic Calculating Machine of the Academy of Sciences of the U.S.S.R..
The PACT I Coding System for the IBM Type 701.
"Unternehmensforschung - Operations Research" anläßlich der 27. Jahreshauptversammlung der Deutschen Statistischen Gesellschaft in Essen, 30. November 1956.
This ontology contains information detailing publications from dblp
DBLP : dblp-publications-1956.rdf
On Completely Recursively Enumerable Classes and Their Key Arrays.
A Kutta Third-Order Procedure for Solving Differential Equations Requiring Minimum Storage.
An Integrated Computation System for the ERA-1103.
Erratum: ``Some Experiments in Ideal Factorization on the MIDAC''.
Computers - their operation and applications.
Internationales Biometrisches Seminar über Planungsforschung und Symposium über Wachstums- und Ertragsgesetze, Beurteilung der Wirkung von Heilmitteln bei chronischen Erkrankungen, die Gültigkeit des t-Testes. Linz a. d. Donau, 24. September bis 3. Oktober 1956.
On the Convergence of Matrix Iterations.
Simulation of Digital Filters on an Electronic Analog Computer.
en_US
website
Turning Shoe Information to Knowledge of Technology and Deals
Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
Aktors
On omega-Consistency and Related Properties.
On the Relative Consistency of Set Theory.
Electronic analog computers - D-c analog computers (2. ed.).
Risiko und Sicherheit in der Personalauswahl.
Eine Anwendung der Methode der kleinsten Quadrate in der Marktforschung.
Gedanken zur Automation und zum Problem der technischen Keimzelle.
On the Interpretation of Aristotelian Syllogistic.
Report on Experiments in Approximating the Solution of a Differential Equation.
Lineare Verteilungsmodelle in der Betriebswirtschaft - Beispiele für den praktischen Einsatz der Linearplanung in Unternehmungen.
Große oder kleine programmgesteuerte Rechengeräte?
Prevention of Propagation of Machine Errors in Long Problems.
Bemerkungen zur Rationalisierung betriebswirtschaftlicher Entscheidungen mit Hilfe elektronischer Datenverarbeitungsmaschinen.
Formal Systems of Constructive Mathematics.
Producing Computer Instructions for the PACT I Compiler.
Twentieth Meeting of the Association for Symbolic Logic.
Ein Rechenverfahren für Investitionsprobleme.
Alternative Postulate Sets for Lewis's S5.
Aufbau von Schichtwechselplänen für Betriebe mit kontinuierlicher Arbeit.
A General System for Handling Alphameric Information on the IBM 701 Computer.
Arithmetical Analysis of Digital Computing Nets.
Allgemeine Programmierung von Abläufen des industriellen, administrativen und kaufmännischen Rechnungswesens.
Wind Tunnel Data Reduction Using Paper-Tape Storage Media.
Automatic Computations with Power Series.
The Independence of a Weak Axiom of Choice.
Conclusions After Using the PACT I Advanced Coding Technique.
A Subroutine for Computations with Rational Numbers.
An Iterative Procedure for the Calculation of the Eigenvalues and Eigenvectors of a Real Symmetric Matrix.
Hauptprobleme der Unternehmensforschung.
Arithmetical Representation of Recursively Enumerable Sets.
A Note on the Midpoint Method of Integration.
On Simplifying Truth-Functional Formulas.
Analogrechner und ihre Anwendung auf ein volkswirtschaftliches Modell.
An Extension of Milne's Three-Point Method.
Transfer Function Simulation by Means of Amplifiers and Potentiometers.
A Description of a Cooperative Venture in the Production of an Automatic Coding System.
Semi-Automatic Allocation of Data Storage for PACT I.
Nineteenth Meeting of the Association for Symbolic Logic.
Rates of Convergence in Numerical Solution of the Diffusion Equation.
Kommerzielle Einsatzmöglichkeiten von elektronischen Großanlagen.
Die Anwendung der Korrelationsrechnung im Arbeits- und Zeitstudienwesen.
Higher Order Differences in the Analogue Solution of Partial Differential Equations.