MPG.eBooks - Search Results

Cover Image

1

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

Published 1998

Springer Berlin Heidelberg

Cover Image

2

Formal Systems Specification : The RPC-Memory Specification Case Study

Published 1996

Springer Berlin Heidelberg

Cover Image

3

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

4

Modellbildung in der Informatik

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

Springer Berlin Heidelberg

Cover Image

5

VDI-Lexikon Informatik und Kommunikationstechnik

Published 1999

Springer Berlin Heidelberg

Cover Image

6

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

7

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

8

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

Published 1995

Springer Berlin Heidelberg

Cover Image

9

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

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Cover Image

10

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

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Cover Image

11

Software Pioneers : Contributions to Software Engineering

Published 2002

Springer Berlin Heidelberg

Cover Image

12

Mathematical Methods in Program Development

Published 1997

Springer Berlin Heidelberg

Cover Image

13

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

by Broy, Manfred, Rumpe, Bernhard
Published 2002

Springer Berlin Heidelberg

Cover Image

14

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

15

Design Thinking for Software Engineering : Creating Human-oriented Software-intensive Products and Services

Published 2022

Springer International Publishing

Cover Image

16

Advanced Model-Based Engineering of Embedded Systems : Extensions of the SPES 2020 Methodology

Published 2016

Springer International Publishing

Cover Image

17

Einführung in die Softwaretechnik

by Broy, Manfred, Kuhrmann, Marco
Published 2021

Springer Berlin Heidelberg

Cover Image

18

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

Published 1986

Springer Berlin Heidelberg

Cover Image

19

Program Construction : International Summer School

by Bauer, Friedrich
Published 1979

Springer

Cover Image

20

Methods of Programming : Selected Papers on the CIP-Project

by Broy, Manfred
Published 1991

Springer

1
2
3