1
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
2
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
3
Material Type:
Livro
Algebraic methodology and software technology
International Conference on Algebraic Methodologyand Software Technology, AMAST'96, 5 1996 Munich Martin Wirsing; Maurice Nivat 1937-
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1996
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1101 ) (Acessar)
This feature requires javascript
4
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
5
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
6
Material Type:
Livro
Parallel image processing
International Conference on Parallel Image Processing (1991 Paris) Ahmed Saoudi; Maurice Nivat 1937-; Patrick S-P Wang (Patrick Shen-pei)
Singapore World Scientific New Jersey c1992
Localização:
IME - Inst. Matemática e Estatística
(QA862.C S239p ) (Acessar)
This feature requires javascript
7
Material Type:
Livro
Parallel image analysis proceedings
International Conference on Parallel Image Analysis, 2., Ube, 1992 Akira Nakamura
Berlin Springer 1992
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.654 e.1 ) e outros locais(Acessar)
This feature requires javascript
8
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
9
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
10
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