MPG.eBooks - Search Results

Cover Image

1

Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

Published 2003

Springer Berlin Heidelberg

Cover Image

2

Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

Cover Image

3

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

4

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

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Cover Image

5

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

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Cover Image

6

Software Pioneers : Contributions to Software Engineering

Published 2002

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

VDI-Lexikon Informatik und Kommunikationstechnik

Published 1999

Springer Berlin Heidelberg

Cover Image

9

Pioneers and Their Contributions to Software Engineering : sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

Published 2001

Springer Berlin Heidelberg

Cover Image

10

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

by Broy, Manfred
Published 1994

Springer Berlin Heidelberg

Cover Image

11

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

Published 1986

Springer Berlin Heidelberg

Cover Image

12

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

13

Programming and Mathematical Method : International Summer School

Published 1992

Springer Berlin Heidelberg

Cover Image

14

Mathematical Methods in Program Development

Published 1997

Springer Berlin Heidelberg

Cover Image

15

KORSO: Methods, Languages, and Tools for the Construction of Correct Software : Final Report

Published 1995

Springer Berlin Heidelberg

Cover Image

16

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

Published 1998

Springer Berlin Heidelberg

Cover Image

17

Formal Systems Specification : The RPC-Memory Specification Case Study

Published 1996

Springer Berlin Heidelberg

Cover Image

18

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

Published 1996

Springer Berlin Heidelberg

Cover Image

19

Informatik : Eine grundlegende Einführung Teil II. Rechnerstrukturen und maschinennahe Programmierung

by Broy, Manfred
Published 1993

Springer Berlin Heidelberg

Cover Image

20

Program Design Calculi

Published 1993

Springer Berlin Heidelberg

1
2