MPG.eBooks - Search Results - "Berlin"

Cover Image

1

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

2

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

Published 1998

Springer Berlin Heidelberg

Cover Image

3

Methods of Programming : Selected Papers on the CIP-Project

Published 1991

Springer Berlin Heidelberg

Cover Image

4

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

by Broy, Manfred
Published 1994

Springer Berlin Heidelberg

Cover Image

5

Projektorganisation und Management im Software Engineering

by Broy, Manfred, Kuhrmann, Marco
Published 2013

Springer Berlin Heidelberg

Cover Image

6

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

by Broy, Manfred
Published 1993

Springer Berlin Heidelberg

Cover Image

7

Informatik und Mathematik

Published 1991

Springer Berlin Heidelberg

Cover Image

8

50 Jahre Universitäts-Informatik in München

Published 2017

Springer Berlin Heidelberg

Cover Image

9

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

Published 1995

Springer Berlin Heidelberg

Cover Image

10

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

by Broy, Manfred
Published 1995

Springer Berlin Heidelberg

Cover Image

11

Einführung in die Softwaretechnik

by Broy, Manfred, Kuhrmann, Marco
Published 2021

Springer Berlin Heidelberg

Cover Image

12

Programming and Mathematical Method : International Summer School

Published 1992

Springer Berlin Heidelberg

Cover Image

13

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

14

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

Published 1986

Springer Berlin Heidelberg

Cover Image

15

Model-Based Testing of Reactive Systems : Advanced Lectures

Published 2005

Springer Berlin Heidelberg

Cover Image

16

Model-Based Engineering of Embedded Systems : The SPES 2020 Methodology

Published 2012

Springer Berlin Heidelberg

Cover Image

17

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

by Broy, Manfred
Published 1992

Springer Berlin Heidelberg

Cover Image

18

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

19

Software Pioneers : Contributions to Software Engineering

Published 2002

Springer Berlin Heidelberg

Cover Image

20

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