MPG.eBooks - Search Results

Cover Image

1

Formal Systems Specification : The RPC-Memory Specification Case Study

by Broy, Manfred
Published 1996

Springer

Cover Image

2

Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

by Bjørner, Dines
Published 1996

Springer

Cover Image

3

Projektorganisation und Management im Software Engineering

by Broy, Manfred, Kuhrmann, Marco
Published 2013

Springer Berlin Heidelberg

Cover Image

4

agendaCPS : Integrierte Forschungsagenda Cyber-Physical Systems

Published 2012

Springer Berlin Heidelberg

Cover Image

5

Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement

by Broy, Manfred, Stølen, Ketil
Published 2001

Springer New York

Cover Image

6

Informatik. Eine grundlegende Einführung : Teil III: Systemstrukturen und systemnahe Programmierung

by Broy, Manfred
Published 1994

Springer Berlin Heidelberg

Cover Image

7

Übungen zur Einführung in die Informatik : Strukturierte Aufgabensammlung mit Musterlösungen

by Broy, Manfred, Rumpe, Bernhard
Published 2002

Springer Berlin Heidelberg

Cover Image

8

Informatik Eine grundlegende Einführung : Band 1: Programmierung und Rechnerstrukturen

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Cover Image

9

Mathematical Methods in Program Development

Published 1997

Springer Berlin Heidelberg

Cover Image

10

Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Published 1989

Springer Berlin Heidelberg

Cover Image

11

Informatik : Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Cover Image

12

Software Pioneers : Contributions to Software Engineering

Published 2002

Springer Berlin Heidelberg

Cover Image

13

Requirements Targeting Software and Systems Engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997

Published 1998

Springer Berlin Heidelberg

Cover Image

14

VDI-Lexikon Informatik und Kommunikationstechnik

Published 1999

Springer Berlin Heidelberg

Cover Image

15

Informatik : Eine grundlegende Einführung Teil I. Problemnahe Programmierung

by Broy, Manfred
Published 1992

Springer Berlin Heidelberg

Cover Image

16

Programming and Mathematical Method : International Summer School

Published 1992

Springer Berlin Heidelberg

Cover Image

17

Informatik und Mathematik

Published 1991

Springer Berlin Heidelberg

Cover Image

18

Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Published 1987

Springer Berlin Heidelberg

Cover Image

19

Informatik : Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

by Broy, Manfred
Published 1995

Springer Berlin Heidelberg

Cover Image

20

Control Flow and Data Flow: Concepts of Distributed Programming : International Summer School

Published 1986

Springer Berlin Heidelberg

1
2
3