MPG.eBooks - Search Results - "Heidelberg"

Cover Image

1

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

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Cover Image

2

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

by Broy, Manfred
Published 2003

Springer Berlin Heidelberg

Cover Image

3

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

by Bjørner, Dines
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

4

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

by Bjøner, Dines
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

5

VDI-Lexikon Informatik und Kommunikationstechnik

Published 1999

Springer Berlin Heidelberg

Cover Image

6

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

Published 1998

Springer Berlin Heidelberg

Cover Image

7

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

8

Program Design Calculi

Published 1993

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

Methods of Programming : Selected Papers on the CIP-Project

Published 1991

Springer Berlin Heidelberg

Cover Image

11

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

by Broy, Manfred
Published 1994

Springer Berlin Heidelberg

Cover Image

12

Cyber-Physical Systems : Innovation durch softwareintensive eingebettete Systeme

Published 2010

Springer Berlin Heidelberg

Cover Image

13

Projektorganisation und Management im Software Engineering

by Broy, Manfred, Kuhrmann, Marco
Published 2013

Springer Berlin Heidelberg

Cover Image

14

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

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Cover Image

15

Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Published 2008

Springer Berlin Heidelberg

Cover Image

16

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

Published 1995

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 II. Rechnerstrukturen und maschinennahe Programmierung

by Broy, Manfred
Published 1993

Springer Berlin Heidelberg

Cover Image

20

50 Jahre Universitäts-Informatik in München

Published 2017

Springer Berlin Heidelberg

1
2