11
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
12
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
13
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
14
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
15
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