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
Applied algebra, algebraic algorithms and error-correcting codes 14th international symposium, AAECC-14, Melbourne, Australia, November 26-30, 2001 : proceedings
Applied algebra, algebraic algorithms and error-correcting codes 14th international symposium, AAECC-14, Melbourne, Australia, November 26-30, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applied algebra, algebraic algorithms and error-correcting codes 14th international symposium, AAECC-14, Melbourne, Australia, November 26-30, 2001 : proceedings

AAECC-14 (2001 Melbourne, Vic.) Serdar Bozta÷s; Igor E Shparlinski

Berlin Springer New York 2001

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

2
Applied algebra, algebraic algorithms and error-correcting codes proceedings
Applied algebra, algebraic algorithms and error-correcting codes proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applied algebra, algebraic algorithms and error-correcting codes proceedings

AAECC-6 (1988 Rome, Italy) Teo Mora

Berlin Springer 1989

Localização: IME - Inst. Matemática e Estatística    (S L471c v.357 )(Acessar)

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

4
Fundamentos da lógica anotada
Fundamentos da lógica anotada
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Fundamentos da lógica anotada

Abe, Jair Minoro

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

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

5
Handbook of logic in computer science
Handbook of logic in computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook of logic in computer science

Samson Abramsky 1953-; Dov M Gabbay 1945-; Thomas S. E Maibaum 1947-

Oxford Clarendon New York Oxford University Press 1992-<2000>

Localização: EPBC - Esc. Politécnica-Bib Central    (004 H191 v.4 ) e outros locais(Acessar)

6
Teoria de atratores em sistemas din&#226;micos impulsivos
Teoria de atratores em sistemas din&#226;micos impulsivos
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Teoria de atratores em sistemas dinâmicos impulsivos

Accarini, Luiza Gomes

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

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

7
Information security and privacy 5th Australasian conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : proceedings
Information security and privacy 5th Australasian conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Information security and privacy 5th Australasian conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : proceedings

ACISP 2000 (2000 Brisbane, Qld.) Colin Boyd; Andrew Clark 1971-; Ed Dawson (Edward)

New York Springer c2000

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

8
Conference record
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference record

Acm Symposium on principles on programming languages ( 14 1987) Munich

New York Acm 1987

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989c 14 )(Acessar)

9
Proceedings of the ACM Symposium on Document Engineering (DocEng'01), Atlanta, Georgia, USA, November 9-10, 2001
Proceedings of the ACM Symposium on Document Engineering (DocEng'01), Atlanta, Georgia, USA, November 9-10, 2001
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the ACM Symposium on Document Engineering (DocEng'01), Atlanta, Georgia, USA, November 9-10, 2001

ACM Symposium on Document Engineering (DocEng'01) (2001 Atlanta) Ethan V Munson; Association for Computing Machinery

New York Association for Computing Machinery 2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-06 ACM 2001 e.1 )(Acessar)

10
Conference record of the eleventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Salt Lake City, Utah, January 15-18, 1984
Conference record of the eleventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Salt Lake City, Utah, January 15-18, 1984
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference record of the eleventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Salt Lake City, Utah, January 15-18, 1984

ACM Symposium on Principles of Programming Languages (11th 1984 Salt Lake City, Utah) ACM Special Interest Group on Automa and Computability Theory; ACM Special Interest Group in Programming Languages; Association for Computing Machinery

New York ACM c1983 [i.e. 1984

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989c 11. )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (1.713)
  2. Recursos Online (90)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (1.014)
  2. Produções Acadêmicas  (636)
  3. Artigos  (147)
  4. Produções Técnicas  (27)
  5. Produções Artísticas  (11)
  6. Revistas  (11)
  7. Audiovisuais  (4)
  8. Outros  (1)
  9. Recursos Textuais  (1)
  10. Materiais Didáticos  (1)
  11. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1972  (62)
  2. 1972Até1984  (219)
  3. 1985Até1997  (499)
  4. 1998Até2011  (597)
  5. Após 2011  (482)
  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.