Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Development of an algorithm to classify children's works: approaches from computational thinking/Desenvolvimento de um algoritmo para classificar obras infantis: abordagens a partir do pensamento computacional/Desarrollo de un algoritmo para clasificar obras infantiles: aproximaciones desde el pensamiento computacionalCamillo, Everton da SilvaPalabra clave (La Plata), 2023-10, Vol.13 (1)Universidad Nacional de la Plata. Facultad de Humanidades y Ciencias de la EducacionTexto completo disponível |
|
2 |
Material Type: Artigo
|
The false choice between renaturalization and hypertechnificationBraida, Celso ReniFilosofia Unisinos, 2013-01, Vol.14 (1), p.70 [Periódico revisado por pares]São Leopoldo: Universidade do Vale do Rio dos Sinos - UNISINOS, Editoria de Periódicos CientíficosTexto completo disponível |
|
3 |
Material Type: Livro
|
Proceedings : 18th IEEE Annual Conference on Computational Complexity : 7-10 July, 2003, Aarhus, DenmarkIEEE Conference on Computational Complexity (18th : 2003 : Aarhus, Denmark) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; Association for Computing Machinery.Los Alamitos, Calif. : IEEE Computer Society c2003Localização: IME - Inst. Matemática e Estatística (QA810.C C748c 18. )(Acessar) |
|
4 |
Material Type: Livro
|
Computational complexity : proceedings : 16th IEEE Conference on Computational Complexity : June 18-21, 2001, Chicago, IllinoisIEEE Conference on Computational Complexity (16th : 2001 : Chicago, Ill.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; ACM Special Interest Group for Algorithms and Computation Theory.; European Association for Theoretical Computer Science.Los Alamitos, Calif. : IEEE Computer Society c2001Localização: IME - Inst. Matemática e Estatística (QA810.C C748c 16. )(Acessar) |
|
5 |
Material Type: Livro
|
Computational complexity : proceedings : Fifteenth Annual IEEE Conference on Computational Complexity : July 4-7, 2000, Florence, ItalyIEEE Conference on Computational Complexity (15th : 2000 : Florence, Italy) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; ACM Special Interest Group for Algorithms and Computation Theory.; European Association for Theoretical Computer Science.Los Alamitos, Calif. : IEEE Computer Society c2000Localização: IME - Inst. Matemática e Estatística (QA810.C C748c 15. )(Acessar) |
|
6 |
Material Type: E-Book
|
Computational complexity proceedings : 17th IEEE Annual Conference on Computational Complexity : 21-24 May, 2002, Montreal, CanadaIEEE Conference on Computational Complexity (17th 2002 Montreal, Québec) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; ACM Special Interest Group for Algorithms and Computation Theory.Los Alamitos, Calif. IEEE Computer Society c2002Item não circula. Consulte sua biblioteca.(Acessar) |
|
7 |
Material Type: E-Book
|
19th IEEE Annual Conference on Computational Complexity proceedings : 21-24 June, 2004, Amherst, MassachusettsIEEE Conference on Computational Complexity (19th 2004 Amherst, Mass.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; ACM Special Interest Group for Algorithms and Computation Theory.; IEEE Xplore (Online service)Los Alamitos, Calif. IEEE Computer Society c2004Item não circula. Consulte sua biblioteca.(Acessar) |
|
8 |
Material Type: Livro
|
Theory of computing and systems proceedingsIsrael Symposium on the Theory of Computing and Systems, Haifa, 1992 Danny DolevBerlin Springer 1992Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.601 e.1 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Boolean Function ComplexityM. S. Paterson R Brown; Michael S Paterson; N. J HitchinCambridge Cambridge University Press 1992Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Advances in cryptology proceedings.Workshop on the Theory and Application of Cryptographic Techniques (1. 1990 Sydney) Jennifer SeberryBerlin Springer 1990Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.453 ) e outros locais(Acessar) |