MPG.eBooks - Author Search Results

Cover Image

1

Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report

by Möller, Bernhard
Published 1993

Springer

Cover Image

2

Prospects for Hardware Foundations : ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

by Möller, Bernhard
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

3

Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings

by Möller, Bernhard
Published 1995

Springer

Cover Image

4

Mathematics of Program Construction : 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

by Boiten, Eerke A
Published 2002

Springer-Verlag Berlin Heidelberg

Other Authors: “...Möller, Bernhard...”

Cover Image

5

Mathematics of Program Construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Other Authors: “...Möller, Bernhard...”

Cover Image

6

Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of...

by Berghammer, R
Published 2004

Springer Berlin Heidelberg

Other Authors: “...Möller, Bernhard...”

Cover Image

7

Mathematics of Program Construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

Published 2002

Springer Berlin Heidelberg

Other Authors: “...Möller, Bernhard...”

Cover Image

8

Prospects for Hardware Foundations : ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

Published 1998

Springer Berlin Heidelberg

Other Authors: “...Möller, Bernhard...”

Cover Image

9

Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

by Dowek, Gilles
Published 1996

Springer

Other Authors: “...Möller, Bernhard...”

Cover Image

10

Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report

Published 1993

Springer Berlin Heidelberg

Other Authors: “...Möller, Bernhard...”

Cover Image

11

Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of...

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Möller, Bernhard...”

Cover Image

12

Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

by Heering, Jan
Published 1994

Springer

Other Authors: “...Möller, Bernhard...”

Cover Image

13

Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Klee...

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Möller, Bernhard...”

Cover Image

14

Relations and Kleene Algebra in Computer Science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applic...

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Möller, Bernhard...”

Cover Image

15

Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

Published 1994

Springer Berlin Heidelberg

Other Authors: “...Möller, Bernhard...”

Cover Image

16

Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Möller, Bernhard...”