Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Author
Nivat, Maurice
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
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
Showing
1
-
14
of
14
Search:
'Nivat, Maurice'
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings
by
Nivat
,
Maurice
Published 1996
Springer
Read Now
2
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
Read Now
3
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
...
”
Read Now
4
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
...
”
Read Now
5
Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Other Authors:
“
...
Nivat
,
Maurice
...
”
Read Now
6
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
...
”
Read Now
7
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
...
”
Read Now
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
...
”
Read Now
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
...
”
Read Now
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
...
”
Read Now
11
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
...
”
Read Now
12
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
...
”
Read Now
13
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
...
”
Read Now
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
...
”
Related Subjects
Computation by Abstract Devices
Computer Science
Computer science
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
Software engineering
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Author/Home?author=%22Nivat%2C+Maurice%22&type=Author
Send by Email
×
Loading...