- Table View
- List View
Interval Mathematics: Proceedings of the International Symposium Karlsruhe, West Germany, May 20-24, 1975 (Lecture Notes in Computer Science #29)
by K. Nickel
Methoden der Informatik in der Medizin: Bericht der 3. hannoverschen Tagung über Medizinische Informatik vom 28.–30. März 1974
by P. L. Reichertz G. Holthoff
Nonlinear and Dynamic Programming: An Introduction
by S. DanoThis book is intended to provide an introductory text of Nonlinear and Dynamic Programming for students of managerial economics and operations research. The author also hopes that engineers, business executives, managers, and others responsible for planning of industrial operations may find it useful as a guide to the problems and methods treated, with a view to practical applications. The book may be considered as a sequel to the author's Linear Programming in Industry (1960, 4th revised and enlarged edition 1974), but it can be used independently by readers familiar with the elements of linear programming models and techniques. The two volumes con stitute an introduction to the methods of mathematical programming and their application to industrial optimization problems. The author feels that the vast and ever-increasing literature on mathematical programming has not rendered an introductory exposition super fluous. The general student often tends to feel somewhat lost if he goes straight to the special literature; he will be better equipped for tackling real problems and using computer systems if he has acquired some previous training in constructing small-scale programming models and applying standard algorithms for solving them by hand. The book is intended to provide this kind of training, keeping the mathematics at the necessary minimum. The text contains numerous exercises. The reader should work out these problems for himself and check with the answers given at the end of the book. The text is based on lectures given at the University of Copenhagen.
Optimierung kinematischer Eigenschaften von ebenen Kurbelgetrieben unter Einsatz eines Digigraphic-Bildschirm-Systems (Forschungsberichte des Landes Nordrhein-Westfalen #2438)
by Günter Dittrich
Optimization Techniques IFIP Technical Conference: Novosibirsk, July 1–7, 1974 (Lecture Notes in Control and Information Sciences)
by Conference on Optimization Techniques 8th Conference on Optimization Techniques 1977 International Federation for Information Processing
PASCAL User Manual and Report (Lecture Notes in Computer Science #18)
by Kathleen Jensen Niklaus Wirth
Programmsystem MAVAMM zur maschinellen Vorbereitung und Auswertung von Multimoment-Aufnahmen: Programmbeschreibung und Benutzer-Anleitung (Forschungsberichte des Landes Nordrhein-Westfalen)
by Otto F. Dall
Rechnerdirektsteuerung von Fertigungseinrichtungen: Beitrag zur Systematik und Auslegung (ISW Forschung und Praxis #12)
by E. Bauer
A Short Course on Error Correcting Codes (CISM International Centre for Mechanical Sciences #188)
by N.J.A. Sloane
Smoothings of Piecewise Linear Manifolds. (AM-80), Volume 80
by Morris W. Hirsch Barry MazurThe intention of the authors is to examine the relationship between piecewise linear structure and differential structure: a relationship, they assert, that can be understood as a homotopy obstruction theory, and, hence, can be studied by using the traditional techniques of algebraic topology. Thus the book attacks the problem of existence and classification (up to isotopy) of differential structures compatible with a given combinatorial structure on a manifold. The problem is completely "solved" in the sense that it is reduced to standard problems of algebraic topology. The first part of the book is purely geometrical; it proves that every smoothing of the product of a manifold M and an interval is derived from an essentially unique smoothing of M. In the second part this result is used to translate the classification of smoothings into the problem of putting a linear structure on the tangent microbundle of M. This in turn is converted to the homotopy problem of classifying maps from M into a certain space PL/O. The set of equivalence classes of smoothings on M is given a natural abelian group structure.
Topics in Combinatorial Optimization (CISM International Centre for Mechanical Sciences #175)
by S. Rinaldi
Algorithmen und rekursive Funktionen (Logik und Grundlagen der Mathematik)
by Anatolij I. MalʹcevNoch in den 30er Jahren unseres Jahrhunderts erweckten die mathematische Logik und die damals entstehende Algorithmentheorie den Anschein besonders abstrakter und von praktischen Anwendungen besonders weit entfernter mathe matischer Disziplinen. Heute hat sich die Situation radikal verändert. Es ist jetzt allgemein anerkannt, daß die beiden genannten Disziplinen eine theoretische Grundlage für Aufbau und Anwendungen schnell arbeitender Rechen-und Steu erungssysteme schaffen. Das relative Gewicht der mathematischen Logik und der Algorithmentheorie wuchs auch in der Mathematik selbst stark an. Darüber hinaus dringen gegenwärtig in beträchtlichem Maße durch die Algorithmentheorie und die mathematische Logik mathematische Methoden in die Biologie, die Lin guistik, die Wirtschaftswissenschaften und sogar Philosophie der Naturwissen schaften ein. All dies hat dazu geführt, daß die mathematische Logik und die Algorithmentheorie angefangen haben, in die Lehrpläne unserer Universitäten und pädagogischen Hochschulen als für das Studium der Mathematikstudenten aller Fachrichtungen obligatorische Disziplin einzudringen. Das vorliegende Buch ist aus der Bearbeitung von Nachschriften von Vorlesun gen über mathematische Logik, Algorithmentheorie und deren Anwendungen ent standen, die der Verfasser in den Jahren 1956-1959 an der pädagogischen Hoch schule von lvanovsk und seit dem Jahr 1960 an der Universität Novosibirsk gehalten hat. In ihm wird nur die allgemeine Theorie der Algorithmen und der rekursiven Funktionen entwickelt. Ganz außerhalb des Rahmens des Buches blieben die Komplexe Auto· matentheorie, Anwendungen der Algorithmentheorie auf formale Theorien und Theorie der Unlösbarkeitsgrade. Eine irgendwie ausführliche Darstellung dieser Disziplinen zum gegenwärtigen Zeitpunkt bedarf besonderer Einzeldar stellungen.
Annual Review in Automatic Programming: International Tracts in Computer Science and Technology and Their Application, Volume 7
by Mark I. Halpern William C. Mcgee Louis BollietComputer Science and Technology and their Application is an eight-chapter book that first presents a tutorial on database organization. Subsequent chapters describe the general concepts of Simula 67 programming language; incremental compilation and conversational interpretation; dynamic syntax; the ALGOL 68. Other chapters discuss the general purpose conversational system for graphical programming and automatic theorem proving based on resolution. A survey of extensible programming language is also shown.
