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
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
3
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
4
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
5
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
6
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
7
Material Type:
Livro
Algebraic methodology and software technology proceedings [of the] 5th international conference, amast'96, held in Munich, Germany, july 1-5, 1996
International Conference on Algebraic Methodologyand Software Technology (5. 1996 Munich, De) Martin Wirsing; Maurice Nivat 1937-
Berlin Springer 1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1101 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
Algebraic methodology and software technology 4th international conference, amast'95, Montreal, Canada, july 3-7, 1995, proceedings
International Conference on Algebraic Methodologyand Software Technology (4. 1995 Montreal, Ca) Vangalur S Alagar; Maurice Nivat 1937-
[ed] Goos, G., Hartmanis, J., Leeuwen, J. Van Berlin, Springer-Verlag, c1985- Lecture notes in computer science
Berlin Springer 1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.936 e.1 ) e outros locais(Acessar)
This feature requires javascript
9
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
10
Material Type:
Livro
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
FoSSaCS '98 (Conference) (1st 1998 Lisbon, Portugal) Maurice Nivat 1937-; Joint European Conferences on Theory and Practice of Software (1998 Lisbon, Portugal)
Berlin London Springer c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1378 ) e outros locais(Acessar)
This feature requires javascript