1
Material Type:
Livro
Theorie des algorithmes, des langages et de la programmation
Seminaire IRIA (1972-1973) Maurice Nivat 1937-
S.L S. N. 1973
Localização:
IME - Inst. Matemática e Estatística
(QA750.C N734t 1972-73 ) (Acessar)
This feature requires javascript
2
Material Type:
Livro
Automata, languages and programming
Maurice Nivat 1937-; Institut de recherche d'informatique et d'automatique
Amsterdam North-Holland Pub. Co. New York American Elsevier 1973
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68Q15.01 A939 1972 e.1 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Tese de Doutorado
Sur les ensembles algébriques d'arbres et les langages déterministes quelques applications à la théorie des schémas de programme
Bruno Courcelie Maurice Nivat 1937-
1976
Localização:
IME - Inst. Matemática e Estatística
(QA806.T C859s ) (Acessar)
This feature requires javascript
4
Material Type:
Tese de Doutorado
Équations avec constantes et algorithme de Makanin
Jean-Pierre Pécuchet Maurice Nivat 1937-
1981
Localização:
IME - Inst. Matemática e Estatística
IMRE SIMON
(CIS QA173.T P369e ) (Acessar)
This feature requires javascript
5
Material Type:
Livro
Automata on infinite words
Ecole de printemps d'informatique théorique (1984 Le Mont-Dore, France) Maurice Nivat 1937-; Dominique Perrin
Berlin New York Springer-Verlag c1985
Localização:
EPBC - Esc. Politécnica-Bib Central
(004 Ec73a ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
Programming of future generation computers proceedings
Franco-Japanese Symposium on Programming of Future General Computers, 1, Tokyo, 1986 Kazuhiro Fuchi; Maurice Nivat 1937-
Amsterdam North-Holland 1988
Localização:
IME - Inst. Matemática e Estatística
(QA754.C F949p ) (Acessar)
This feature requires javascript
7
Material Type:
Livro
CAAP '88 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings
Colloquium on Trees in Algebra and Programming (13th 1988 Nancy, France) M Dauchet 1946- (Max); Maurice Nivat 1937-; European Symposium on Programming (2nd 1988 Nancy, France)
Berlin Springer-Verlag New York c1988
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.299 ex.1 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
Resolution of equations in algebraic structures
Hassan Aït-Kaci 1954-; Maurice Nivat 1937-
Academic Press 1989
Localização:
IME - Inst. Matemática e Estatística
(QA816.C3 A311r v.2 ) (Acessar)
This feature requires javascript
9
Material Type:
Tese de Doutorado
Contributions à la recherche dans des ensembles ordonnés du séquentiel au parallèle
Afonso Galvão Ferreira Maurice Nivat 1937-
1990
Localização:
IME - Inst. Matemática e Estatística
(QA733.T F383c ) (Acessar)
This feature requires javascript
10
Material Type:
Livro
Algorithmique parallèle
M Cosnard (Michel); Maurice Nivat 1937-; Yves Robert 1938-
Paris Masson 1992
Localização:
IME - Inst. Matemática e Estatística
(QA733.C3 C843a ) (Acessar)
This feature requires javascript