Søkt på: Søkeresultat
totalt 31 treff
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. …
Cyber-Physical Systems
Cyber-Physical Systems adressieren das Zusammenwachsen softwareintensiver eingebetteter Systeme mit den globalen digitalen Netzen. Sie ermöglichen neuartige industrielle …
Control Flow and Data Flow: Concepts of Distributed Programming
In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are among the central …
Mathematical Methods in Program Development
Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, …
Informatik Eine grundlegende Einführung
Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen …
50 Jahre Universitäts-Informatik in München
50 Jahre Lehre in Informatik an den drei Münchner Universitäten (Ludwig-Maximilians-Universität, Technische Universität München und Universität der Bundeswehr Neubiberg) sind der …
Model-Driven Development of Reliable Automotive Services
Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso?eredtothecustomer. Ninety percentofallinnovations …
Logische und Methodische Grundlagen der Entwicklung verteilter Systeme
Softwareentwicklung erfordert – ausgehend von informellen Problemstellungen – Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die …
Informatik
Dieser abschließende vierte Band der Einführung in die Informatik behandelt die theoretische Informatik und ausgewählte fundamentale Algorithmen, Datenstrukturen, Beschreibungs- …
Software Pioneers
A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the design of system programs by Gouthier and Pont [1, l Cfl0. 23], which we quote …
Übungen zur Einführung in die Informatik
Der vorliegende Übungsband enthält Aufgaben zu einer viersemestrigen Vorlesung "Einführung in die Informatik". Er ist eng abgestimmt auf die vier Teile der in der Neuauflage …