Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
Universality and toleranceNoga Alon Michael Capalbo; Yoshiharu Kohayakawa; Vojtech Rodl; Andrzej Ruciânski; Endre Szemerédi; Annual Symposium on Foundations of Computer Science (41. 2000 California)Los alamitos IEEE Computer Society 2000Localização: IME - Inst. Matemática e Estatística (PROD-1206476 ) e outros locais(Acessar) |
2 |
Material Type: Artigo de Congresso
|
![]() |
Limited subsets of a free monoidImre Simon 1943-2009 Annual Symposium on Foundations of Computer Science - SFCS (19. 1978 Ann Arbor, Michigan)Proceedings New Yor : IEEE Computer Society, 1978New York IEEE Computer Society 1978Localização: IME - Inst. Matemática e Estatística (PROD-2968661 )(Acessar) |
3 |
Material Type: Artigo de Congresso
|
![]() |
Recognizable sets with multiplicities in the tropical semiringImre Simon 1943-2009 International Symposium on Mathematical Foundations of Computer Science - MFCS (13. 1988 Carlsbad, Czechoslovakia)Proceedings Berlin : Springer, 1988Berlin Springer 1988Localização: IME - Inst. Matemática e Estatística (PROD-781435 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Formal methods foundations and applicationsJim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)Proceedings Heidelberg : SpringerHeidelberg Springer 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2213638 ) e outros locais(Acessar) |
5 |
Material Type: Tese de Doutorado
|
![]() |
Fundamentos da lógica anotadaAbe, Jair MinoroBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 1992-05-06Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Artigo de Congresso
|
![]() |
User extensible system to identify problems in OWL ontologies and SWRL rulesJoão Paulo Orlando Mark A Musen; Dilvan de Abreu Moreira; International Symposium on Rule Technologies : Foundations, Tools, and Applications - RuleML (9. 2015 Berlin)Lecture Notes in Computer Science Cham : Springer v. 9202, p. 112-126, 2015Cham Springer 2015Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2734631 )(Acessar) |
7 |
Material Type: Artigo de Congresso
|
![]() |
Approximating the discrete resource sharing scheduling problemMarin Bougeret Pierre-Francois Dutot; Alfredo Goldman; Yanik Ngoko; Denis Trystram; Workshop on Advances in Parallel and Distributed Computational Models - APDCM (11. 2009 Rome); International Parallel and Distributed Processing Symposium - IPDPS (2009 Rome)International Journal of Foundations of Computer Science Singapore v. 22, n. 3, p. 639-656, 2011Singapore 2011Localização: IME - Inst. Matemática e Estatística (PROD-2196884 )(Acessar) |