close
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
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
4.

図書
図書
4. Algebraic methodology and software technology : (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 (: us ; : gw)
M. Nivat ... [et al.] (eds.)
出版情報: London : Springer, published in collaboration with the British Computer Society, c1992
シリーズ名: Workshops in computing
所蔵情報: loading…
5.

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

図書
図書
6. Rewriting techniques
edited by Hassan Aït-Kaci, Maurice Nivat
出版情報: Boston ; Tokyo : Academic Press, c1989
シリーズ名: Resolution of equations in algebraic structures ; v. 2
所蔵情報: loading…
7.

図書
図書
7. 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
所蔵情報: loading…
8.

図書
図書
8. Algebraic methods in semantics
edited by Maurice Nivat, John C. Reynolds
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985
所蔵情報: loading…
9.

図書
図書
9. Automata, languages and programming : proceedings of a symposium organized by IRIA, Institut de recherche d'informatique et d'automatique, 78-Rocquencourt, France, July 3-7, 1972 (us ; ne)
edited by M. Nivat
出版情報: Amsterdam : North-Holland Pub. Co , New York : American Elsevier, 1973
所蔵情報: loading…