Dieses Buch beruht auf 40 lahren intensiven Studiums der Differentialglei chungen, sowohl yom theoretischen als auch yom praktischen Gesichtspunkt aus, eines Studiums, das mit meiner Tatigkeit im Rechen-Institut M. Picones in Rom begann, sodann fortgesetzt wurde in der Gruppe flir Industriemathema tik der Luftfahrt-Forschungsanstalt in Braunschweig, und endlich mit meinen Vorlesungen, hauptsachlich an der Universitat Innsbruck, abgeschlossen wurde. Die Zeit der Weltraumfliige stellte hier neue Aufgaben der Bahnberechnung von Satelliten, deren Bearbeitung theoretisch eine geschlossene Formel zur Losung des n-Korper-Problems, praktisch eine neue Methode zur Berechnung von reguJaren Differentialgleichungssystemen zeitigte, die mit den besten bekannten Losungsmethoden erfolgreich in Konkurrenz treten konnte, was vor aHem meinen Mitarbeitern H. Knapp und G. Wanner zu danken war. Die Vorlesung iiber Differentialgleichungen habe ich seit 1947 in regelmaBi gen Abstanden an der Universitat Innsbruck gehalten, bei jeder Wiederholung neu bearbeitet und durch Seminararbeiten vervollstandigt; auch in meiner flir Physik-Studenten besonders gehaltenen Vorlesung iiber {raquo}Die mathemati schen Methoden der Physik{laquo} habe ich in gekiirzter Form immer die {raquo}Differen tialgleichungen{laquo} eingeschlossen. In der vorliegenden Fassung wurde vor allem das zweite Kapitel iiber Diffe rentialgleichungen mit analytischen Koeffizienten, also speziell der hypergeome trischen, Besselschen und Kummerschen Differentialgleichungen' neu gefaBt und einem neuen Ordnungsprinzip, der {raquo}Invariante{laquo}, unterworfen. Damit ge lingt es, jede vorgelegte Differentialgleichung rasch einzuordnen und auf eine dieser Standardformen zu transformieren. Diese Transformationsformeln wur den neu entwickelt und werden hier zum ersten Mal veroffentlicht. Fiir alle Satze und Entwicklungen werden strenge Beweise geboten; z. B.

History of Programming Languages presents information pertinent to the technical aspects of the language design and creation. This book provides an understanding of the processes of language design as related to the environment in which languages are developed and the knowledge base available to the originators. Organized into 14 sections encompassing 77 chapters, this book begins with an overview of the programming techniques to use to help the system produce efficient programs. This text then discusses how to use parentheses to help the system identify identical subexpressions within an expression and thereby eliminate their duplicate calculation. Other chapters consider FORTRAN programming techniques needed to produce optimum object programs. This book discusses as well the developments leading to ALGOL 60. The final chapter presents the biography of Adin D. Falkoff. This book is a valuable resource for graduate students, practitioners, historians, statisticians, mathematicians, programmers, as well as computer scientists and specialists.

Software Engineer's Reference Book provides the fundamental principles and general approaches, contemporary information, and applications for developing the software of computer systems. The book is comprised of three main parts, an epilogue, and a comprehensive index. The first part covers the theory of computer science and relevant mathematics. Topics under this section include logic, set theory, Turing machines, theory of computation, and computational complexity. Part II is a discussion of software development methods, techniques and technology primarily based around a conventional view of the software life cycle. Topics discussed include methods such as CORE, SSADM, and SREM, and formal methods including VDM and Z. Attention is also given to other technical activities in the life cycle including testing and prototyping. The final part describes the techniques and standards which are relevant in producing particular classes of application. The text will be of great use to software engineers, software project managers, and students of computer science.