著者典拠情報

著者標目形：
Nivat, Maurice
属性：
Personal
から見よ参照形：
Nivat, M
注記：
France. Mission "Informatique fondamentale et programmation". Savoir et savoir-faire en informatique, c1983: t.p. (Maurice Nivat, professeur à l'Univ. de Paris VII)
LC data base 5-2-84 (hdg.: Nivat, M.; usage: M. Nivat)
EDSRC:Algebraic methodology and software technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V. S. Alagar, Maurice Nivat, (eds.)(Springer-Verlag, c1995)
著者典拠ID：
DA0104972X


1.

図書
図書
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 Software, ETAPS ʾ98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings
Maurice Nivat (ed.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1378
所蔵情報: 図書館
2.

図書
図書
2. Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
Martin Wirsing, Maurice Nivat (eds.)
出版情報: Berlin : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1101
所蔵情報: 図書館
3.

図書
図書
3. Algebraic methodology and software technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings (: gw)
V.S. Alagar, Maurice Nivat, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 936
所蔵情報: 図書館
4.

図書
図書
4. Tree automata and languages
edited by Maurice Nivat, Andreas Podelski
出版情報: Amsterdam : North-Holland, 1992
シリーズ名: Studies in computer science and artificial intelligence ; 10
所蔵情報: 図書館, 研究室
5.

図書
図書
5. CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings (: gw ; : us)
M. Dauchet, M. Nivat (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 299
所蔵情報: 図書館
6.

図書
図書
6. Automata on infinite words (: gw ; : us)
Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 192
所蔵情報: 図書館