skip to main content
Refinado por: data de publicação: Após 2012 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Semântica formal
Material Type:
Livro
Adicionar ao Meu Espaço

Semântica formal

Ana Lucia de Paula Müller Evani de Carvalho Viotti

Fiorin, José Luiz, org 5. ed Introdução à lingüística II: princípios de análise São Paulo : Contexto, 2014

São Paulo Contexto 2014

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (410 In48 v.2 5.ed. )(Acessar)

2
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
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)

4
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

An efficient algorithm for representing piecewise linear functions into logic

Sandro Preto Marcelo Finger; International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020 (15. 2020 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 351, p.167-186, 2020

Amsterdam Elsevier 2020

Localização: IME - Inst. Matemática e Estatística    (PROD-3013847 )(Acessar)

5
Material Type:
Artigo
Adicionar ao Meu Espaço

Fault-based refinement-testing for CSP

Ana Cavalcanti Adenilso da Silva Simão

Software Quality Journal New York : Springer v. 27, n. 2, p. 529-562, 2019

New York 2019

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2937713 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Buscando em bases de dados remotas. Favor aguardar.