Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
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, 2020Cham Springer 2020Localização: IME - Inst. Matemática e Estatística (PROD-3016802 )(Acessar) |
|
12 |
Material Type: Livro
|
Fuzzy set similarity using a distance-based kernel on fuzzy setsJorge Guevara Roberto Hirata Júnior; Stephane CanuPapakostas, George A.; Hatzimichailidis, Anestis G.; Kaburlasos, Vassilis G., ed Handbook of fuzzy sets comparison : theory, algorithms and applications Xanthi : Science Gate Publishing, 2019Xanthi Science Gate Publishing 2019Localização: IME - Inst. Matemática e Estatística (PROD-2963678 )(Acessar) |
|
13 |
Material Type: Livro
|
Pseudo-contractions as gentle repairsVinícius Bitencourt Matos Ricardo Guimarães; Yuri David Santos; Renata WassermannLutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019Cham Springer 2019Localização: IME - Inst. Matemática e Estatística (PROD-2962949 )(Acessar) |
|
14 |
Material Type: Livro
|
Extending EL++ with linear constraints on the probability of axiomsMarcelo FingerLutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019Cham Springer 2019Localização: IME - Inst. Matemática e Estatística (PROD-2953686 )(Acessar) |
|
15 |
Material Type: Livro
|
Agile methods 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, revised selected papersGraziela Simone Tonin Bernardo Estácio; Alfredo Goldman; Eduardo Martins Guerra; Brazilian Workshop on Agile Methods - WBMA (9. 2018 Campinas, Brasil)Cham Springer 2019Localização: IME - Inst. Matemática e Estatística (PROD-3000144 )(Acessar) |
|
16 |
Material Type: Livro
|
Multiplex networks basic formalism and structural propertiesEmanuele Cozzo Guilherme Ferraz de Arruda; Francisco Aparecido Rodrigues; Yamir MorenoCham Springer 2018Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2947848 )(Acessar) |
|
17 |
Material Type: Livro
|
Services Computing – SCC 2018João Eduardo Ferreira George Spanoudakis; Yutao Ma; Liang-Jie Zhang; Services Computing - SCC (15. 2018 Seattle)Springer International Publishing 2018Localização: IME - Inst. Matemática e Estatística (PROD-3040401 )(Acessar) |
|
18 |
Material Type: Livro
|
Smartvest tecnologia assistiva para percepção e correção postural de pessoas com acidente vascular cerebralAmanda Polin Pereira Peracini Valéria Meirelles Carril Elui; Olibário José Machado Neto; Maria da Graça Campos PimentelMedola, Fausto Orsi; Paschoarelli, Luis Carlos, orgs Tecnologia assistiva : pesquisa e conhecimento : I Bauru : Canal 6, 2018 416 pBauru Canal 6 2018Acesso online. A biblioteca também possui exemplares impressos. |
|
19 |
Material Type: Livro
|
Applied Reconfigurable ComputingVanderlei Bonato Christos Bouganis; Marek Gorgon; International Symposium Applied Reconfigurable Computing (12. 2016 Mangaratiba, RJ)Cham Springer International Publishing 2016Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2755205 )(Acessar) |
|
20 |
Material Type: Livro
|
Artificially inducing environmental changes in evolutionary dynamic optimizationRenato Tinós Shengxiang YangHandl, Julia...[et al], eds Lecture Notes in Computer Science. v. 9921 Cham : Springer, 2016Cham Springer 2016Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (pcd 2831033 Estantes Deslizantes )(Acessar) |