Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papersWADT '97 (1997 Tarquinia, Italy) Francesco Parisi PresiceBerlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1376 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Abstract compositional analysis of iterated relations a structural approach to complex state transition systemsFrédéric GeurtsBerlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1426 ) e outros locais(Acessar) |
3 |
Material Type: Tese de Doutorado
|
![]() |
Aproximação numérica à convolução de Mellin via mistura de exponenciaisTorrejón Matos, Jorge LuisBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2015-10-09Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Advances in Petri nets, 1989Grzegorz RozenbergBerlin New York Springer-Verlag c1990Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.424 e.1 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
The Music machine selected readings from Computer music journalCurtis RoadsCambridge, Mass. MIT Press c1989Localização: ECA - Escola de Comunicações e Artes (780.285 R628m ) e outros locais(Acessar) |