skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Fundamentos do forcing

Schoueri, Pedro Galvão

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2022-04-11

Acesso online. A biblioteca também possui exemplares impressos.

2
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Atividades lúdicas e atividades algébricas: uma introdução ao uso de letras nas aulas de matemática

Viestel, Renan Sanchez

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2016-12-14

Acesso online. A biblioteca também possui exemplares impressos.

3
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Extração de informações de desempenho em GPUs NVIDIA

Santos, Paulo Carlos Ferreira Dos

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2013-03-15

Acesso online. A biblioteca também possui exemplares impressos.

4
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Extração de informações de narrativas clínicas

Oleynik, Michel

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2013-10-02

Acesso online. A biblioteca também possui exemplares impressos.

5
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Predição de polaridade negativa em relatórios de auditoria utilizando dados socioeconômicos

Bruscato, Lucas Peinado

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2020-02-18

Acesso online. A biblioteca também possui exemplares impressos.

6
Material Type:
Tese de Doutorado
Adicionar ao Meu Espaço

Analyzing natural language inference from a rigorous point of view

Salvatore, Felipe De Souza

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2020-12-14

Acesso online. A biblioteca também possui exemplares impressos.

7
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Using natural language processing techniques for automated code refactoring

Barzilay, Alan

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2023-09-01

Acesso online. A biblioteca também possui exemplares impressos.

8
Material Type:
Tese de Doutorado
Adicionar ao Meu Espaço

Abstraction mechanisms and language design

Paul N. Hilfinger

1981

Localização: IME - Inst. Matemática e Estatística    (QA762.T H644a )(Acessar)

9
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Auxílio na prevenção de doenças crônicas por meio de mapeamento e relacionamento conceitual de informações em biomedicina

Pollettini, Juliana Tarossi

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Bioinformática 2011-11-28

Acesso online. A biblioteca também possui exemplares impressos.

10
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Geração parcial de código Java a partir de especificações formais Z.

Miyazawa, Alvaro Heiji

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2008-10-03

Acesso online. A biblioteca também possui exemplares impressos.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.