CiNii Books Author - Nivat, Maurice

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.)

Springer c1998 Lecture notes in computer science 1378

Available at 45 libraries
2

Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings

Martin Wirsing, Maurice Nivat (eds.)

Springer c1996 Lecture notes in computer science 1101

Available at 55 libraries
3

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 Lecture notes in computer science 936

: gw

Available at 58 libraries
4

Algebraic methodology and software technology (AMAST'93) : proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June 1993

M. Nivat ... [et al.] (eds.)

Springer-Verlag c1994 Workshops in computing

: us : acid-free paper , : gw : acid-free paper

Available at 8 libraries
5

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

M. Nivat ... [et al.] (eds.)

Springer, published in collaboration with the British Computer Society c1992 Workshops in computing

: us , : gw

Available at 7 libraries
6

Parallel image processing

edited by A. Saoudi, M. Nivat, P.S.P. Wang

World Scientific c1992 Series in machine perception and artificial intelligence / editors, H. Bunke, P.S.P. Wang vol. 4

Available at 8 libraries
7

Tree automata and languages

edited by Maurice Nivat, Andreas Podelski

North-Holland 1992 Studies in computer science and artificial intelligence 10

Available at 25 libraries
8

Rewriting techniques

edited by Hassan Aït-Kaci, Maurice Nivat

Academic Press c1989 Resolution of equations in algebraic structures v. 2

Available at 30 libraries
9

Algebraic techniques

edited by Hassan Aït-Kaci, Maurice Nivat

Academic Press c1989 Resolution of equations in algebraic structures v. 1

Available at 26 libraries
10

Programming of future generation computers : proceedings of the First Franco-Japanese Symposium on Programming of Future Generation Computers, Tokyo, Japan, 6-8 October, 1986

edited by K. Fuchi, M. Nivat

North-Holland 1988

[1] , 2

Available at 22 libraries
11

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

M. Dauchet, M. Nivat (eds.)

Springer-Verlag c1988 Lecture notes in computer science 299

: gw , : us

Available at 59 libraries
12

Algebraic methods in semantics

edited by Maurice Nivat, John C. Reynolds

Cambridge University Press 1985

Available at 39 libraries
13

Automata on infinite words

Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin

Springer-Verlag c1985 Lecture notes in computer science 192

: gw , : us

Available at 56 libraries
14

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

edited by M. Nivat

North-Holland Pub. Co , American Elsevier 1973

us , ne

Available at 40 libraries
15

Sur l'interprétation des schémas de programmes monadiques

M. Nivat

Institut de Recherche d'Informatique et d'Automatique 1972 Laboratoire de recherche en informatique et automatique Rapport de Recherche no 1

Available at 1 libraries
16

Problèmes mathématiques de la théorie des automates : séminaire M.P. Schützenberger, A. Lentin et M. Nivat, année 1969/70

Secrétariat mathématique 1970

Available at 2 libraries

Nivat, Maurice

Search Results1-16 of 16

Search this author

Related Authors