Вы здесь

Главная

Nivat M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П On Semantics of Non Deterministic Recursive Program Schemes 1983 Arnold A., Naudin P., Nivat M. LITP 28.09.1999
СТ New Challenges for Theoretical Computer Science 1997 Nivat M. Lecture Notes in Computer Science 16.05.1997
СТ Ultimately Periodic Words of Rational -Languages 1994 Calbrix H., Nivat M., Podelski A. Lecture Notes in Computer Science 28.06.1994

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Foundations of Software Science and Computation Structures: Proc./First Intern. Conf., FoSSaCS 98, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 98. Lisbon, Portugal, March-April 1998 1998 Lecture Notes in Computer Science
  1. Nivat M.
 LAN 18.04.1998
СБ Algebraic Methodology and Software Technology: Proc./5th International Conference, AMAST 96. Munich,Germany, July 1996 1996 Lecture Notes in Computer Science
  1. Wirsing M.
  2. Nivat M.
 04.10.1996
СБ Algebraic Methodology and Software Technology: Proc./4th International Conference, AMAST 95 Montreal,Canada,July 1995 1995 Lecture Notes in Computer Science
  1. Alagar V. S.
  2. Nivat M.
 12.09.1995
М Parallel Image Analysis: Proc./Second Intern. Conf., ICPIA 92, Ube, Japan, December 1992 1992 Lecture Notes in Computer Science
  1. Nakamura A.
  2. Nivat M.
  3. Saoudi A.
  4. Wang P.S. P.
 23.12.1992
СБ Séminaires IRIA: Théorie des algorithmes, des langages et de la programmation 1974
  1. Nivat M.
 25.11.1975
СБ Automata, Languages and Programming: Proc./Symposium IRIA, France, July 1972 1973
  1. Nivat M.
 18.07.1974