Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Dissertação de Mestrado
|
REPRESENTAÇÃO DE CONHECIMENTO UTILIZANDO FRAMESAvila, Braulio CoelhoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1991-03-18Acesso online. A biblioteca também possui exemplares impressos. |
|
12 |
Material Type: Dissertação de Mestrado
|
Escalas no Guarani Paraguaio: uma análise do modificador de grau -paFrutos, LaraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2011-12-05Acesso online. A biblioteca também possui exemplares impressos. |
|
13 |
Material Type: Tese de Doutorado
|
Statecharts estocásticos e queuing statecharts: novas abordagens para avaliação de desempenho baseadas em especificação statechartsFrancês, Carlos Renato LisboaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2001-10-15Acesso online. A biblioteca também possui exemplares impressos. |
|
14 |
Material Type: Dissertação de Mestrado
|
Aspectos semânticos, conceituais e morfo-sintáticos das categorias nominaisOliveira, Anna Maria Russo Patricio DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2009-07-02Acesso online. A biblioteca também possui exemplares impressos. |
|
15 |
Material Type: Dissertação de Mestrado
|
A quantificação adverbial em KaritianaSanchez-Mendes, LucianaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2009-07-03Acesso online. A biblioteca também possui exemplares impressos. |
|
16 |
Material Type: Dissertação de Mestrado
|
A distinção entre os indefinidos \'um\' e \'algum\' no português brasileiroSilva, Lidia Lima DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2007-07-20Acesso online |
|
17 |
Material Type: Tese de Doutorado
|
A modificação de grau em KaritianaSanchez-Mendes, LucianaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2014-04-22Acesso online. A biblioteca também possui exemplares impressos. |
|
18 |
Material Type: Artigo de Congresso
|
Using denotational semantics in the validation of the compiler for a mutation-oriented languageAdenilso da Silva Simão José Carlos Maldonado; Roberto da Silva Bigonha; Workshop on Formal Methods (5. 2002 Gramado)Proceedings Porto Alegre : Instituto de Informática da UFRGS, 2002Porto Alegre Instituto de Informática da UFRGS 2002Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1275840 ) e outros locais(Acessar) |
|
19 |
Material Type: Dissertação de Mestrado
|
Restrição de domínio, distributividade e a expressão kar em um dialeto de língua KaingangNavarro, Michel Platiny AssisBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2012-05-25Acesso online |
|
20 |
Material Type: Tese de Doutorado
|
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UMLRocha, Mauricio Rêgo Mota DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2020-12-17Acesso online |