MPG.eBooks - Author Search Results

Maurice Nivat

Maurice Paul Nivat (21 December 1937 – 21 September 2017) was a French computer scientist. His research in computer science spanned the areas of formal languages, programming language semantics, and discrete geometry. A 2006 citation for an honorary doctorate (Ph.D.) called Nivat one of the fathers of theoretical computer science. He was a professor at the University Paris Diderot until 2001. Provided by Wikipedia

Cover Image

1

Foundations of Software Science and Computation Structures : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of So...

by Nivat, Maurice
Published 1998

Springer Berlin Heidelberg

Cover Image

2

Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings

by Nivat, Maurice
Published 1996

Springer

Cover Image

3

Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings

by Alagar, V.
Published 1995

Springer

Other Authors: “...Nivat, Maurice...”

Cover Image

4

Foundations of Software Science and Computation Structures : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of So...

Published 1998

Springer Berlin Heidelberg

Other Authors: “...Nivat, Maurice...”

Cover Image

5

Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Other Authors: “...Nivat, Maurice...”

Cover Image

6

Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Nivat, Maurice...”

Cover Image

7

CAAP '88 : 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings

Published 1988

Springer Berlin Heidelberg

Other Authors: “...Nivat, Maurice...”

Cover Image

8

Mathematical Foundations of Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1...

by Ehrig, Hartmut
Published 1985

Springer

Other Authors: “...Nivat, Maurice...”

Cover Image

9

Formal Methods and Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985

by Ehrig, Hartmut
Published 1985

Springer

Other Authors: “...Nivat, Maurice...”

Cover Image

10

Parallel Image Analysis : Second International Conference, ICPIA '92 Ube, Japan, December 21–23, 1992 Proceedings

by Inoue, Katsushi
Published 1992

Springer

Other Authors: “...Nivat, Maurice...”

Cover Image

11

Algebraic Methodology and Software Technology (AMAST’93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente,...

Published 1994

Springer London

Other Authors: “...Nivat, Maurice...”

Cover Image

12

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1...

Published 1985

Springer Berlin Heidelberg

Other Authors: “...Nivat, Maurice...”

Cover Image

13

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Vol...

Published 1985

Springer Berlin Heidelberg

Other Authors: “...Nivat, Maurice...”

Cover Image

14

Parallel Image Analysis : Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992. Proceedings

Published 1992

Springer Berlin Heidelberg

Other Authors: “...Nivat, Maurice...”