MPG.eBooks - Search Results

Cover Image

1

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers

Published 2001

Springer Berlin Heidelberg

Cover Image

2

Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings

Published 2000

Springer Berlin Heidelberg

Cover Image

3

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

4

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

Published 1995

Springer Berlin Heidelberg

Cover Image

5

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

6

Methods of Programming : Selected Papers on the CIP-Project

Published 1991

Springer Berlin Heidelberg

Cover Image

7

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

by Broy, Manfred
Published 1992

Springer Berlin Heidelberg

Cover Image

8

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

by Broy, Manfred
Published 1994

Springer Berlin Heidelberg

Cover Image

9

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

10

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

Published 1998

Springer Berlin Heidelberg

Cover Image

11

Formal Systems Specification : The RPC-Memory Specification Case Study

Published 1996

Springer Berlin Heidelberg

Cover Image

12

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

13

Modellbildung in der Informatik

by Broy, Manfred, Steinbrüggen, Ralf
Published 2004

Springer Berlin Heidelberg

Cover Image

14

Informatik und Mathematik

Published 1991

Springer Berlin Heidelberg

Cover Image

15

VDI-Lexikon Informatik und Kommunikationstechnik

Published 1999

Springer Berlin Heidelberg

Cover Image

16

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

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Cover Image

17

Software Pioneers : Contributions to Software Engineering

Published 2002

Springer Berlin Heidelberg

Cover Image

18

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

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Cover Image

19

Mathematical Methods in Program Development

Published 1997

Springer Berlin Heidelberg

Cover Image

20

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

1
2