Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-32 of 32 results for author "Nivat, M."
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.
- Text
- Amsterdam, North-Holland Pub. Co.; New York, American Elsevier, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSD 73-1552 Offsite Automata on infinite words / Ecole de printemps d'informatique théorique, Le Mont Dore, 14-18 May 1984 ; edited by M. Nivat and D. Perrin.
- Text
- Berlin ; New York : Springer-Verlag, c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSE 85-1566 Offsite Resolution of equations in algebraic structures / edited by Hassan Aït-Kaci, Maurice Nivat.
- Text
- Boston : Academic Press, c1989.
- 1989
- 2 Items
Item details Format Call Number Item Location Text JSK 91-10 v. 2 Offsite Item details Format Call Number Item Location Text JSK 91-10 v. 1 Offsite Tree automata and languages / edited by Maurice Nivat, Andreas Podelski.
- Text
- Amsterdam ; New York : North-Hollandi, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSE 93-802 Offsite Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V.S. Alagar, Maurice Nivat (Eds.)
- Text
- Berlin ; New York : Springer, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-1646 Offsite Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing, Maurice Nivat, eds.
- Text
- New York : Springer-Verlag, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 96-1121 Offsite Foundations of software science and computation structures : First International Conference, FoSSaCS ʼ98 held as part of the joint European Conferences on Theory and Practics of Software, ETAPS ʼ98, Lisbon, Portugal, March/April 1998 : proceedings / Maurice Nivat (ed.).
- Text
- Berlin ; New York : Springer, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 98-677 Offsite 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.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 88-740 Offsite Algebraic methods in semantics / edited by Maurice Nivat, John C. Reynolds.
- Text
- Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSE 86-330 Offsite Tree automata and languages / edited by Maurice Nivat, Andreas Podelski.
- Text
- Amsterdam ; New York : North-Hollandi, [1992], ©1992.
- 1992-1992
- 1 Item
Item details Format Call Number Item Location Text QA267.5.S4 T74 1992 Off-site Parallel image processing / edited by A. Saoudi, M. Nivat, P.S.P. Wang.
- Text
- Singapore ; New Jersey : World Scientific, [1992], ©1992.
- 1992-1992
- 1 Item
Item details Format Call Number Item Location Text TA1632 .P377 1992g Off-site 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 [and others]. (eds.).
- Text
- London ; New York : Springer-Verlag, [1992], ©1992.
- 1992-1992
- 1 Item
Item details Format Call Number Item Location Text QA76.758 .I5713 1992 Off-site 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 [and others] (eds.).
- Text
- London ; New York : Springer-Verlag, [1994], ©1994.
- 1994-1994
- 1 Item
Item details Format Call Number Item Location Text QA76.758 .I5713 1993 Off-site Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V.S. Alagar, Maurice Nivat (Eds.)
- Text
- Berlin ; New York : Springer, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text QA76.758 .I5713 1995 Off-site Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing, Maurice Nivat, eds.
- Text
- New York : Springer-Verlag, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA76.758 .I5713 1996 Off-site Foundations of software science and computation structures : First International Conference, FoSSaCS ʼ98 held as part of the joint European Conferences on Theory and Practics of Software, ETAPS ʼ98, Lisbon, Portugal, March/April 1998 : proceedings / Maurice Nivat (ed.).
- Text
- Berlin ; New York : Springer, [1998], ©1998.
- 1998-1998
- 1 Item
Item details Format Call Number Item Location Text QA76.751 .F67 1998 Off-site Automata on infinite words / Ecole de printemps d'informatique théorique, Le Mont Dore, 14-18 May 1984 ; edited by M. Nivat and D. Perrin.
- Text
- Berlin ; New York : Springer-Verlag, c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text QA267 .E26 1984 Off-site Algebraic methods in semantics / edited by Maurice Nivat, John C. Reynolds.
- Text
- Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .A43 1985 Off-site CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings / M. Dauchet, M. Nivat (Eds.)
- Text
- Berlin ; New York : Springer-Verlag, [1988], ©1988.
- 1988-1988
- 1 Item
Item details Format Call Number Item Location Text QA166.2 .C65 1988 Off-site 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.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .F7227 1986 Off-site Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing, Maurice Nivat, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA76.758 .I5713 1996 Off-site 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.
- Text
- Amsterdam, North-Holland Pub. Co.; New York, American Elsevier, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text QA267.5.S4 .A78 Off-site 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.
- Text
- Berlin ; New York : Springer-Verlag, 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text QA267 .E26 1984 Off-site Algebraic methods in semantics / edited by Maurice Nivat, John C. Reynolds.
- Text
- Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .A43 1985 Off-site CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings / M. Dauchet, M. Nivat (Eds.)
- Text
- Berlin ; New York : Springer-Verlag, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA166.2 .C65 1988 Off-site Resolution of equations in algebraic structures / edited by Hassan Ait-Kaci, Maurice Nivat.
- Text
- Boston : Academic Press, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text QA162 .R47 1989 Off-site 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.
- Text
- Amsterdam, North-Holland Pub. Co.; New York, American Elsevier, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text QA267.5.S4 .A78 Off-site 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.
- Text
- Berlin ; New York : Springer-Verlag, 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text QA267 .E26 1984 Off-site Algebraic methods in semantics / edited by Maurice Nivat, John C. Reynolds.
- Text
- Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .A43 1985 Off-site Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V.S. Alagar, Maurice Nivat, eds.
- Text
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.758 .I5713 1995 Off-site Resolution of equations in algebraic structures / edited by Hassan Aït-Kaci, Maurice Nivat.
- Text
- Boston : Academic Press, ©1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text QA162 .R47 1989 Off-site Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V.S. Alagar, Maurice Nivat, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.758 .I5713 1995 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
