skip to main content
Idioma:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic, automata, and algorithms
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic, automata, and algorithms

M. A Aæizerman 1913- (Mark Aronovich); Leonid A Gusev; L. I Rozonoer (Lev Ilʹich)

New York Academic Press 1971

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q15.01 A299la e.1 ) e outros locais(Acessar)

2
Resolution d'equations sur les mots
Resolution d'equations sur les mots
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Resolution d'equations sur les mots

Habib Abdulrab Gerard Huet

1987

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

3
Grammatical Inference: Algorithms and Applications: 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings
Grammatical Inference: Algorithms and Applications: 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Grammatical Inference: Algorithms and Applications: 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings

Adriaans, Pieter ; Fernau, Henning ; Zaanen, Menno van Adriaans, Pieter ; van Zaanen, Menno ; Fernau, Henning

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
4
Formal languages and programming proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975
Formal languages and programming proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal languages and programming proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975

Rodolfo J Aguilar; UAM-IBM Scientific Center

Amsterdam North-Holland New York American Elsevier 1976

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q15.01 F723 1975 e.1 ) e outros locais(Acessar)

5
Currents in the theory of computing
Currents in the theory of computing
Material Type:
Livro 		Adicionar ao Meu Espaço

Currents in the theory of computing

Alfred V. Aho Ronald V Book

Englewood Cliffs, N.J. Prentice-Hall 1973

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q01 A286c e.1 ) e outros locais(Acessar)

6
Automata theory and engineering approch
Automata theory and engineering approch
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata theory and engineering approch

Igor Aleksander F Keith Hanna

New York Crane Russak 1975

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

7
Métodos formais para o desenvolvimento de programas
Métodos formais para o desenvolvimento de programas
Material Type:
Livro 		Adicionar ao Meu Espaço

Métodos formais para o desenvolvimento de programas

Paulo Sergio C. de Alencar Carlos José Pereira de Lucena; Escola Brasileiro-Argentina de Informatica (4. 1989 Santiago Del Estero)

Buenos Aires Kapelusz 1988

Localização: EPBC - Esc. Politécnica-Bib Central    (004.413 AL25m ) e outros locais(Acessar)

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

9
Adaptive automata for independent autonomous navigation in unknown environment
Adaptive automata for independent autonomous navigation in unknown environment
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Adaptive automata for independent autonomous navigation in unknown environment

Jorge Rady de Almeida Junior 1959- João José Neto 1948-; André Riyuiti Hirakawa 1965-2020; Iasted International Conference-Applied Simulation and Modelling (2000 Banff)

Proceedings Ananheim : IASTED, 2000

Ananheim IASTED 2000

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

10
Sistema computacional de representação e manipulação de redes de Petri.
Sistema computacional de representação e manipulação de redes de Petri.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Sistema computacional de representação e manipulação de redes de Petri.

Alves, Gustavo Ribeiro

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2006-06-29

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (321)
  2. Artigos  (32)
  3. Produções Acadêmicas  (31)
  4. Produções Técnicas  (14)
  5. Audiovisuais  (3)
  6. Revistas  (1)
  7. Recursos Textuais  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1971  (48)
  2. 1971Até1982  (82)
  3. 1983Até1994  (109)
  4. 1995Até2007  (140)
  5. Após 2007  (40)
  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.