1
Material Type:
Livro
LATIN 2020 theoretical informatics
Yoshiharu Kohayakawa Flavio Keidi Miyazawa; Latin American Symposium - LATIN (14. 2020 São Paulo)
Cham Springer 2020
Localização:
IME - Inst. Matemática e Estatística
(PROD-3016782 ) (Acessar)
This feature requires javascript
2
Material Type:
Livro
We are very pleased to present this volume with the papers accepted to the 14th Latin American Theoretical INformatics Symposium. [Prefácio]
Yoshiharu Kohayakawa Flavio Keidi Miyazawa; Latin American Symposium - LATIN (14. 2020 São Paulo)
Kohayakawa, Yoshiharu; Miyazawa, Flavio Keidi, ed LATIN 2020 : theoretical informatics Cham : Springer, 2020
Cham Springer 2020
Localização:
IME - Inst. Matemática e Estatística
(PROD-3016802 ) (Acessar)
This feature requires javascript
3
Material Type:
Livro
Information-lossless automata of finite order
A. A. Kurmit (Avgust Avgustovich)
New York Wiley 1974
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68Q15.01 K96i e.1 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Advances in cryptology - ASIACRYPT 2000 6th International Conference on the Theory and Application of Cryptology and Information Security, Kyoto, Japan, December 3-7, 2000 : proceedings
International Conference on the Theory and Application of Cryptology and Information Security (6th 2000 Kyoto, Japan) Tatsuaki Okamoto
Berlin Springer New York c2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1976 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Artigo
Improved NP-hardness results for the minimum t-spanner problem on bounded-degree graphs
Renzo Gómez Flavio Keidi Miyazawa; Yoshiko Wakabayashi
Theoretical Computer Science Amsterdam v. 947, artigo n. 113691, p. 1-13, 2023
Amsterdam 2023
Localização:
IME - Inst. Matemática e Estatística
(PROD-3129421 ) (Acessar)
This feature requires javascript
6
Material Type:
Livro
Application and theory of Petri nets 2002 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings
International Conference on Applications and Theory of Petri Nets (23rd 2002 Adelaide, S. Aust.)
Berlin Springer New York 2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2360 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
Handbook of discrete and combinatorial mathematics
Kenneth H Rosen; John G Michaels
Boca Raton CRC Press 2010
Localização:
FEA - Fac. Econ. Adm. Contab. e Atuária
ACERVO DELFIM NETTO
(A20.31.18 ) (Acessar)
This feature requires javascript
8
Material Type:
Artigo de Congresso
Interconexoes minimas e interconexoes mutuamente disjuntas em grafos
Paulo Feofiloff Conferencia Nacional de Matematica Aplicada e Computacional (1. 1986 Brasilia)
Atas 1986
Brasilia 1986
Item não circula. Consulte sua biblioteca.(Acessar)
9
Material Type:
Artigo
Spanning trees with nonseparating paths
Cristina Gomes Fernandes 1966- César Hernández Vélez; Orlando Lee; José Coelho de Pina Júnior
Discrete Mathematics Amsterdam v. 339, n. 1, p. 365–374, 06 Jan. 2016
Amsterdam 2016
Localização:
IME - Inst. Matemática e Estatística
(PROD-2718311 ) (Acessar)
This feature requires javascript
10
Material Type:
Livro
Treewidth computations and aproximations
Ton Kloks
Goos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1994
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.842 ) (Acessar)
This feature requires javascript