skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
From business process model and notation to stochastic automata network
From business process model and notation to stochastic automata network
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

From business process model and notation to stochastic automata network

Kelly Rosa Braghetto João Eduardo Ferreira; Jean-Marc Vincent

São Paulo IME-USP 2011

Localização: IME - Inst. Matemática e Estatística    (https://repositorio.usp.br/directbitstream/e59c91f4-9e40-4d65-b65a-725c030f2041/ ) e outros locais(Acessar)

2
Adaptive finite automation a new algebraic approach
Adaptive finite automation a new algebraic approach
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Adaptive finite automation a new algebraic approach

Reginaldo Inojosa Silva Filho Ricardo Luis de Azevedo da Rocha 1960-; International Conference on Adaptive and Natural Computing Algorithms (11 2011 Ljubljana, Slovenia)

Lecture Notes on Computer Science Heidelberg : Springer-Verlag, 2011

Ljubljana 2011

Item não circula. Consulte sua biblioteca.(Acessar)

3
On semigroups of matrices over the tropical semiring
On semigroups of matrices over the tropical semiring
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

On semigroups of matrices over the tropical semiring

Imre Simon 1943-2009

Sao Paulo IME-USP 1989

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1989 v.7 e.1 ) e outros locais(Acessar)

4
From active names to π-calculus rewriting rules
From active names to π-calculus rewriting rules
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

From active names to π-calculus rewriting rules

Ana Cristina Vieira de Melo Brazilian Symposium on Formal Methods - SBMF (2004 Recife)

Electronic Notes in Theoretical Computer Science Amsterdam v. 130, p. 169-185, 2005

Amsterdam 2005

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

5
Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos
Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos

Ítalo Romani de Oliveira Paulo Sérgio Cugnasca 1965-

São Paulo EPUSP 2003

Item não circula. Consulte sua biblioteca.(Acessar)

6
On direct product decompositions of finite J-trivial semigroups
On direct product decompositions of finite J-trivial semigroups
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

On direct product decompositions of finite J-trivial semigroups

Jorge Manuel Meneses Guimarães Almeida

Sao Paulo IME-USP 1991

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1991 v.4 e.1 ) e outros locais(Acessar)

7
Um ambiente paralelo para implementação de modelos adaptativos.
Um ambiente paralelo para implementação de modelos adaptativos.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Um ambiente paralelo para implementação de modelos adaptativos.

Garanhani, César Eduardo Cavani

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2008-10-17

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

8
Partial actions and automata
Partial actions and automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Partial actions and automata

Michael Dokuchaev B Novikov; G Zholtkevych

Algebra and Discrete Mathematics Lugansk v.11, n. 2, p. 51-63, 2011

Lugansk 2011

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

9
Characterizations of locally testable events
Characterizations of locally testable events
Material Type:
Artigo 		Adicionar ao Meu Espaço

Characterizations of locally testable events

Janusz A Brzozowski Imre Simon 1943-2009

Discrete Mathematics Amsterdam v. 4, n. 3 , p. 243-271 , 1973

Amsterdam 1973

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

10
Characterizations of locally testable events
Characterizations of locally testable events
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Characterizations of locally testable events

Janusz A Brzozowski Imre Simon 1943-2009; Annual Symposium on Switching and Automata Theory - SWAT (12. 1971 Lansing, MI)

Proceedings Piscataway : IEEE, 1971

Piscataway IEEE 1971

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (13)
  2. Disponível na Biblioteca (94)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (70)
  2. Produções Acadêmicas  (17)
  3. Artigos  (11)
  4. Produções Técnicas  (4)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1979  (10)
  2. 1979Até1988  (13)
  3. 1989Até1997  (16)
  4. 1998Até2006  (30)
  5. Após 2006  (36)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.