Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
A new paradigm for the architecture of morphological machines binary decision diagramsHeraldo Maciel França Madeira Júnior Barrera; Roberto Hirata Júnior; Nina Sumiko Tomita Hirata; Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens - SIBGRAPI (12. 1999 Campinas)Proceedings Los Alamitos: IEEE, 1999Los Alamitos IEEE 1999Localização: IME - Inst. Matemática e Estatística (PROD-1084383 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Rewriting techniques and applications proceedingsInternational Conference on Rewriting Techniques and Applications (2. 1987 Bordeaux) Pierre LescanneBerlin Springer 1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.256 ex.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Dissertação de Mestrado
|
Algoritmos paralelos em grafos lista, florestas e coleções de florestasStephen William Kassner Paulo Feofiloff1992Item não circula. Consulte sua biblioteca.(Acessar) |
|
4 |
Material Type: Livro
|
Signal Processing and its ApplicationsElsevier 1993Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Application and theory of Petri nets 2002 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedingsInternational Conference on Applications and Theory of Petri Nets (23rd 2002 Adelaide, S. Aust.)Berlin Springer New York 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2360 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Maquinas calculadoras de direccionV I Loskutov A GrdianMoscu Ed Mir 1968Localização: EPBC - Esc. Politécnica-Bib Central (004.388.2 L898m )(Acessar) |
|
7 |
Material Type: Livro
|
Calculating instrumentos and machinesDouglas R HartreeUrbana University of Illinois Press 1953Localização: ICMC - Inst. Ciên. Mat. Computação (68M05.30 H325c e.1 )(Acessar) |
|
8 |
Material Type: Livro
|
Petri nets an introductionWolfgang Reisig 1950-Berlin Springer-Verlag New York 1985Localização: ICMC - Inst. Ciên. Mat. Computação (68R10 R377p e.1 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Digitale Rechenanlagen Eine Einführung in Struktur, Aufbau und Arbeitsweise.Horst KunsemüllerStuttgart Teubner 1971Localização: IME - Inst. Matemática e Estatística (QA802 K96d )(Acessar) |
|
10 |
Material Type: Livro
|
Application and theory of petri nets 1999 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedingsInternational Conference on Applications and Theory of Petri Nets (20th 1999 Williamsburg, Virginia) Jetty Kleijn; Susanna DonatelliBerlin Springer c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1639 )(Acessar) |