skip to main content
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Teoria Da Computação remover data de publicação: 1985Até1992 remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
27th Annual symposium on foundations of computer science October 27-29, 1986
Material Type:
Livro
Adicionar ao Meu Espaço

27th Annual symposium on foundations of computer science October 27-29, 1986

Symposium on Foundations of Computer Science (27th 1986 Toronto, Ont.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Washington, D.C. IEEE Computer Society Press Los Angeles, CA order from IEEE Computer Society c1986

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

2
28th Annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987
Material Type:
Livro
Adicionar ao Meu Espaço

28th Annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987

Symposium on Foundations of Computer Science (28th 1987 Los Angeles, Calif.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Washington, D.C. Computer Society Press of the IEEE c1987

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

3
31th Annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987
Material Type:
Livro
Adicionar ao Meu Espaço

31th Annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987

Symposium on Foundations of Computer Science (31th 1990 St. Louis, Missori) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Washington, D.C. Computer Society Press of the IEEE c1990

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989 31 v.2 )(Acessar)

4
33rd Annual Symposium on Foundations of Computer Science October 24-27, 1992, Pittsburg, Pennsylvania : proceedings [papers]
Material Type:
Livro
Adicionar ao Meu Espaço

33rd Annual Symposium on Foundations of Computer Science October 24-27, 1992, Pittsburg, Pennsylvania : proceedings [papers]

Symposium on Foundations of Computer Science (33rd 1992 Pittsburgh, Pa.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Los Alamitos, Calif. IEEE Computer Society Press 1992

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

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

Achieving optimality for gate matrix layout and pla folding a graph theoretical approach

Afonso Galvão Ferreira Siang Wun Song; Latin American Symposium on Theoretical Informatics - LATIN '92 (1992 São Paulo, BR)

Proceedings Berlin : Springer, 1992

Berlin Springer 1992

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

6
Material Type:
Livro
Adicionar ao Meu Espaço

Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '87)

Advanced Seminar on Foundations of Innovative Software Development (1st 1987 Pisa, Italy) Hartmut Ehrig; Colloquium on Trees in Algebra and Programming (12th 1987 Pisa, Italy)

Berlin Springer-Verlag New York c1987

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

7
Algebra, combinatorics and logic in computer science proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Algebra, combinatorics and logic in computer science proceedings

Colloquia Mathematica Societatis Janos Bolyai (42. 1983 Budapest) Janos Demetrovics; Katona, Gyula; Salomaa, Arto; Colloquium on Algebra, Combinatorics and Logic inComputer Science (1983 : Gyor)

Amsterdam North-Holland 1986

Localização: IME - Inst. Matemática e Estatística    (QA11.7.C D377a v.2 )(Acessar)

8
Algebraic approaches to program semantics
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic approaches to program semantics

Ernest G. Manes 1943- Michael A Arbib

New York Springer-Verlag c1986

Localização: IME - Inst. Matemática e Estatística    (QA816 M274a e.2 )(Acessar)

9
Algebraic logic and universal algebra in computer science proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic logic and universal algebra in computer science proceedings

Conference on Algebraic Logic and Universal Algebra in Computer Science, Ames, 1988 Clifford H Bergman; Roger Maddux

Berlin Springer 1990

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

10
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic methods theory, tools and applications : proceedings

Workshop on Algebraic Methods : Theory, Tools andApplications, 2., Mierlo, 1989 Jan A Bergstra

Berlin Springer 1991

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (8)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (132)
  2. Artigos  (3)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1986  (10)
  2. 1986Até1986  (13)
  3. 1987Até1987  (21)
  4. 1988Até1989  (34)
  5. Após 1989  (57)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.