Sökt på: Sökresultat
totalt 29 träffar
Developing, Disseminating, and Assessing Command Narrative
In the contemporary era marked by informational competition, one of the most important activities of a strategic or operational command is the development, presentation, and …
The Computer - My Life
Konrad Zuse is one of the great pioneers of the computer age. He created thefirst fully automated, program controlled, freely programmable computer using binary floating-point …
Constructive Methods in Computing Science
Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. …
The Munich Project CIP
By the CIP Language Group
Programming and Mathematical Method
The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. …
The Munich Project CIP
This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University …
Logic, Algebra, and Computation
The Marktoberdorf Summer Schools on Informatics were started in 1970, with the intention to convene every second or third year a group of top researchers in computing, devoted to …
The Illinois Soil Experiment Fields
This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.This work is in the public domain in the …
Datentechnik im Wandel
Die IBM Deutschland, gr613te Tochter des internationalen Unternehmens IBM, beging am 30. November 1985 ihr 75jahriges Jubilaum. Dieses Ereignis gab Anla13 fUr einen Festakt in …
Program Transformation and Programming Environments
Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
Beiträge zur Technischen Mechanik und Technischen Physik
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit …
Informatik
Neben das theoretische Studium der Informatik muB praktische Obung treten, fUr den Anfanger eine Praxis des Programmierens, die an den Besuch der EinfUhrungs vorlesung anschlieBt. …