AgendaCPS Integrierte Forschungsagenda Cyber Physical Systems acatech STUDIE German Edition

By

Informatik. Eine grundlegende Einfuhrung

By Manfred Broy

Mathematical Methods in Program Development

By Manfred Broy

Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods ar...

Ubungen zur Einfuhrung in die Informatik

By Bernhard Rumpe, Manfred Broy

Model Based Engineering of Embedded Systems

By Manfred Broy, Reinhold Achatz, Klaus Pohl, Harald Honninger

Control Flow and Data Flow Concepts of Distributed Programming

By Manfred Broy

Logic of Programming and Calculi of Discrete Design

By Manfred Broy

This volume contains the proceedings of the NATO-sponsored Advanced Research Study Institute on Logic of Programming and Calculi of Discrete Design, held in continuation of the series of well-known...

Ubungen zur Einfuhrung in die Informatik

By

Perspectives of System Informatics

By

Software Pioneers

By

"The four DVD-ROMs included are an important supplement to the book providing more then 12 hours of video documentation of the pioneers' lectures. Besides a representative overview drawing together...