Author Search Results

1

Informatik und Mathematik [electronic resource] / Informatik und Mathematik [electronic resource] /

by Broy, Manfred. editor., SpringerLink (Online service)
Published 1991

Texto biblioteca

COLPOS

2

Programming and Mathematical Method [electronic resource] : International Summer School / Programming and Mathematical Method [electronic resource] : International Summer School /

by Broy, Manfred. editor., SpringerLink (Online service)
Published 1992

Texto biblioteca

COLPOS

3

Programming and Mathematical Method [electronic resource] : International Summer School / Programming and Mathematical Method [electronic resource] : International Summer School /

by Broy, Manfred. editor., SpringerLink (Online service)
Published 1992

Texto biblioteca

COLPOS

4

Informatik und Mathematik [electronic resource] / Informatik und Mathematik [electronic resource] /

by Broy, Manfred. editor., SpringerLink (Online service)
Published 1991

Texto biblioteca

COLPOS

5

Program Design Calculi [electronic resource] / Program Design Calculi [electronic resource] /

by Broy, Manfred. editor., SpringerLink (Online service)
Published 1993

Texto biblioteca

COLPOS

6

Program Design Calculi [electronic resource] / Program Design Calculi [electronic resource] /

by Broy, Manfred. editor., SpringerLink (Online service)
Published 1993

Texto biblioteca

COLPOS

7

Software Pioneers [electronic resource] : Contributions to Software Engineering / Software Pioneers [electronic resource] : Contributions to Software Engineering /

by Broy, Manfred. editor., Denert, Ernst. editor., SpringerLink (Online service)
Published 2002

Texto biblioteca

COLPOS

8

Software Pioneers [electronic resource] : Contributions to Software Engineering / Software Pioneers [electronic resource] : Contributions to Software Engineering /

by Broy, Manfred. editor., Denert, Ernst. editor., SpringerLink (Online service)
Published 2002

Texto biblioteca

COLPOS

9

Methods of Programming [electronic resource] : Selected Papers on the CIP-Project / Methods of Programming [electronic resource] : Selected Papers on the CIP-Project /

by Broy, Manfred. editor., Wirsing, Martin. editor., SpringerLink (Online service)
Published 1991

Texto biblioteca

COLPOS

10

Methods of Programming [electronic resource] : Selected Papers on the CIP-Project / Methods of Programming [electronic resource] : Selected Papers on the CIP-Project /

by Broy, Manfred. editor., Wirsing, Martin. editor., SpringerLink (Online service)
Published 1991

Texto biblioteca

COLPOS

11

KORSO: Methods, Languages, and Tools for the Construction of Correct Software [electronic resource] : Final Report / KORSO: Methods, Languages, and Tools for the Construction of Correct Software [electronic resource] : Final Report /

by Broy, Manfred. editor., Jähnichen, Stefan. editor., SpringerLink (Online service)
Published 1995

Texto biblioteca

COLPOS

12

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

by Broy, Manfred. editor., Denert, Ernst. editor., SpringerLink (Online service)
Published 2001

Texto biblioteca

COLPOS

13

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

by Broy, Manfred. editor., Denert, Ernst. editor., SpringerLink (Online service)
Published 2001

Texto biblioteca

COLPOS

14

KORSO: Methods, Languages, and Tools for the Construction of Correct Software [electronic resource] : Final Report / KORSO: Methods, Languages, and Tools for the Construction of Correct Software [electronic resource] : Final Report /

by Broy, Manfred. editor., Jähnichen, Stefan. editor., SpringerLink (Online service)
Published 1995

Texto biblioteca

COLPOS

15

Mathematical Methods in Program Development [electronic resource] / Mathematical Methods in Program Development [electronic resource] /

by Broy, Manfred. editor., Schieder, Birgit. editor., SpringerLink (Online service)
Published 1997

Texto biblioteca

COLPOS

16

Mathematical Methods in Program Development [electronic resource] / Mathematical Methods in Program Development [electronic resource] /

by Broy, Manfred. editor., Schieder, Birgit. editor., SpringerLink (Online service)
Published 1997

Texto biblioteca

COLPOS

17

Perspectives of System Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revis... Perspectives of System Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revis...

by Broy, Manfred. editor., Zamulin, Alexandre V. editor., SpringerLink (Online service)
Published 2003

Texto biblioteca

COLPOS

18

Perspectives of System Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revis... Perspectives of System Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revis...

by Broy, Manfred. editor., Zamulin, Alexandre V. editor., SpringerLink (Online service)
Published 2003

Texto biblioteca

COLPOS

19

Formal Systems Specification [electronic resource] : The RPC-Memory Specification Case Study / Formal Systems Specification [electronic resource] : The RPC-Memory Specification Case Study /

by Broy, Manfred. editor., Merz, Stephan. editor., Spies, Katharina. editor., SpringerLink (Online service)
Published 1996

Texto biblioteca

COLPOS

20

Formal Systems Specification [electronic resource] : The RPC-Memory Specification Case Study / Formal Systems Specification [electronic resource] : The RPC-Memory Specification Case Study /

by Broy, Manfred. editor., Merz, Stephan. editor., Spies, Katharina. editor., SpringerLink (Online service)
Published 1996

Texto biblioteca

COLPOS

Related Subjects

Resource Map