skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Ciência Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

The nondeterministic complexity of a finite automaton

Imre Simon 1943-2009

Sao Paulo IME-USP 1987

Localização: IME - Inst. Matemática e Estatística    (IME-RT-MA QA700.RT I59 1987 v.3 e.2 ) e outros locais(Acessar)

2
Fundamentals of Computation Theory
Material Type:
Livro
Adicionar ao Meu Espaço

Fundamentals of Computation Theory

International Conference on Fundamentals of Computation Theory Lothar Budach

Springer Berlin Heidelberg 1991

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

3
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematical foundations of computer science proceedings

Symposium on Mathematical Foundations of ComputerScience, 4., Marianske Iazne, 1975 Jiri Becvar

Berlin Springer 1975

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Lncs v.32 ex.1 ) e outros locais(Acessar)

4
Material Type:
Artigo
Adicionar ao Meu Espaço

JumpNet improving connectivity and robustness in unstructured P2P networks by randomness

Jan Zich Yoshiharu Kohayakawa; Vojtech Rodl; Vaidy Sunderam

Internet Mathematics New York v. 5, n. 3, p. 227-250, 2008

New York 2008

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

5
Material Type:
Livro
Adicionar ao Meu Espaço

Computer semantics

John A N Lee

New York Van Nostrand 1972

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

6
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematical foundations of computer science proceedings

Symposium on Mathematical Foundations of ComputerScience, 16., Kazimierz Dolny, 1991 Andrzej Tarlecki

Berlin Springer 1991

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.520 e.1 ) e outros locais(Acessar)

7
Material Type:
Livro
Adicionar ao Meu Espaço

Category theory and computer science proceedings

Workshop on Category Theory and Computer Programming (4. : 1991 : Paris, FR) David H Pitt; A. M Pitts (Andrew M.); David E Rydeheard; Axel Poigne; Samson Abramsky 1953-; Pierre -Louis Curien

Berlin Springer 1991

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.530 e.1 ) e outros locais(Acessar)

8
Mathematical foundations of computer science 1996 proceedings [of the] 21st international symposium, MFCS'96, held in Cracow, Poland, september 2-6, 1996
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematical foundations of computer science 1996 proceedings [of the] 21st international symposium, MFCS'96, held in Cracow, Poland, september 2-6, 1996

International Symposium on Mathematical Foundations of Computer Science (21. 1996 Cracow, Poland) Wojciech Penczek; Andrzej Szalas

Berlin Springer 1996

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1113 ) e outros locais(Acessar)

9
Category theory and computer programming proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Category theory and computer programming proceedings

Workshop on Category Theory and Computer Programming (1. 1985 Guildford) David H Pitt

Berlin Springer 1986

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.240 ex.1 ) e outros locais(Acessar)

10
Material Type:
Livro
Adicionar ao Meu Espaço

Symbolic and algebraic computation proceedings

International Symposium on Symbolic and AlgebraicManipulation, 2., Marseille, 1979 Edward W Ng

Berlin Springer 1979

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.72 ) e outros locais(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (106)
  2. Artigos  (26)
  3. Produções Acadêmicas  (5)
  4. Revistas  (3)
  5. Produções Técnicas  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1977  (22)
  2. 1977Até1990  (27)
  3. 1991Até2000  (36)
  4. 2001Até2010  (39)
  5. Após 2010  (18)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.