skip to main content
Idioma:

Resultados de 1 a 10 de 38  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A formal semantics for the JamSession coordination platform
A formal semantics for the JamSession coordination platform
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A formal semantics for the JamSession coordination platform

Mirtha Lina Fernández Venero Flávio Soares Corrêa da Silva

São Paulo IME-USP 2012

Localização: IME - Inst. Matemática e Estatística    (RT-MAC 2012 v.5 )(Acessar)

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

Modo em karitiana

Ferreira, Luiz Fernando

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2017-07-27

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

3
Uma abordagem para representação de resultados formais na UML
Uma abordagem para representação de resultados formais na UML
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Uma abordagem para representação de resultados formais na UML

Pereira, Vinícius

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2017-06-05

Acesso online

4
Um estudo sobre a Teoria da Predição aplicada à análise semântica de Linguagens Naturais.
Um estudo sobre a Teoria da Predição aplicada à análise semântica de Linguagens Naturais.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Um estudo sobre a Teoria da Predição aplicada à análise semântica de Linguagens Naturais.

Chaer, Iúri

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2010-02-18

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

5
Uma abordagem para representação de resultados formais na UML
Uma abordagem para representação de resultados formais na UML
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Uma abordagem para representação de resultados formais na UML

Vinícius Pereira Márcio Eduardo Delamaro

2017

Localização: ICMC - Inst. Ciên. Mat. Computação    (T P436ab e.1 )(Acessar)

6
HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos
HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos

Turine, Marcelo Augusto Santos

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física de São Carlos 1998-06-01

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

7
Neurath e a concepção semântica de verdade
Neurath e a concepção semântica de verdade
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Neurath e a concepção semântica de verdade

Campos, Lucas Baccarat Silva Negrão De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2019-05-17

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

8
A manifestação das noções de ignorância e de conhecimento no português brasileiro: o caso de algum e (um) certo
A manifestação das noções de ignorância e de conhecimento no português brasileiro: o caso de algum e (um) certo
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

A manifestação das noções de ignorância e de conhecimento no português brasileiro: o caso de algum e (um) certo

Silva, Lidia Lima Da

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2012-09-11

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

9
Semantics modulo satisfiability with applications: function representation, probabilities and game theory
Semantics modulo satisfiability with applications: function representation, probabilities and game theory
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Semantics modulo satisfiability with applications: function representation, probabilities and game theory

Preto, Sandro Márcio Da Silva

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

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

10
Uma análise semântica para verbos aspectuais em português brasileiro
Uma análise semântica para verbos aspectuais em português brasileiro
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Uma análise semântica para verbos aspectuais em português brasileiro

Bertucci, Roberlei Alves

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2011-12-02

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

Resultados de 1 a 10 de 38  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (32)

Refinar Meus Resultados

Tipo de Recurso 

  1. Produções Acadêmicas  (36)
  2. Produções Técnicas  (1)
  3. Artigos  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2001  (6)
  2. 2001Até2006  (5)
  3. 2007Até2010  (7)
  4. 2011Até2016  (11)
  5. Após 2016  (9)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Muller, A
  2. Masiero, P
  3. Delamaro, M
  4. Simão, A
  5. Santana, M

Neste Assunto:

  1. Semântica
  2. Semantics
  3. Inteligência Artificial
  4. Engenharia De Software
  5. Semântica Formal

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.