skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Teoria Da Computação remover Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Ciência Da Computação remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
33rd Annual Symposium on Foundations of Computer Science October 24-27, 1992, Pittsburg, Pennsylvania : proceedings [papers]
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)

2
Advances in cryptology EUROCRYPT 2001 : International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001 : proceedings
Advances in cryptology EUROCRYPT 2001 : International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in cryptology EUROCRYPT 2001 : International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001 : proceedings

EUROCRYPT (2001 Innsbruck, Austria) Birgit Pfitzmann

Berlin Springer London c2001

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

3
Applied algebra, algebraic algorithms and error-correcting codes 12th international symposium, AAECC-12, Toulouse, France, june 23-27, 1997 : proceedings
Applied algebra, algebraic algorithms and error-correcting codes 12th international symposium, AAECC-12, Toulouse, France, june 23-27, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applied algebra, algebraic algorithms and error-correcting codes 12th international symposium, AAECC-12, Toulouse, France, june 23-27, 1997 : proceedings

International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes - AAECC (12. 1997 Toulouse, France) Teo Mora; H. F Mattson 1930- (Harold F.)

Berlin Springer New York 1997

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

4
CAAP '88 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings
CAAP '88 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CAAP '88 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings

Colloquium on Trees in Algebra and Programming (13th 1988 Nancy, France) M Dauchet 1946- (Max); M Nivat; European Symposium on Programming (2nd 1988 Nancy, France)

Berlin Springer-Verlag New York c1988

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

5
Category theory and computer programming proceedings
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)

6
Category theory and computer science proceedings
Category theory and computer science proceedings
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)

7
Category theory applied to computation and control proceedings of the first international symposium, San Francisco, February 25-26, 1974
Category theory applied to computation and control proceedings of the first international symposium, San Francisco, February 25-26, 1974
Material Type:
Livro 		Adicionar ao Meu Espaço

Category theory applied to computation and control proceedings of the first international symposium, San Francisco, February 25-26, 1974

Ernest G Manes 1943-; American Mathematical Society; American Association for the Advancement of Science

Berlin New York Springer-Verlag 1975

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

8
Category theory applied to computation and control proceedings of the First International Symposium, San Francisco, February 25-26, 1974
Category theory applied to computation and control proceedings of the First International Symposium, San Francisco, February 25-26, 1974
Material Type:
Livro 		Adicionar ao Meu Espaço

Category theory applied to computation and control proceedings of the First International Symposium, San Francisco, February 25-26, 1974

Ernest G Manes 1943-; American Mathematical Society; American Association for the Advancement of Science; International Symposium on Category theory applied to computation and control (1st : 1974 : San Francisco, US)

Massachusetts University 1974

Localização: IME - Inst. Matemática e Estatística  MARTA CAVALLO BUNGE  (BUNGE QA700.C M274p 1974 e.1 )(Acessar)

9
Computer aided verification 10th International Conference, CAV'98, Vancouver, BC, Canadá, june 28 - july 2, 1998 : proceedings
Computer aided verification 10th International Conference, CAV'98, Vancouver, BC, Canadá, june 28 - july 2, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 10th International Conference, CAV'98, Vancouver, BC, Canadá, june 28 - july 2, 1998 : proceedings

International Conference on Computer-Aided Verification, CAV'98 (10. 1998 Vancouver, B.C.) Alan J Hu; Moshe Y Vardi

Berlin Springer London c1998

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

10
Concurrency theory , CONCUR'98 9th International Conference, Nice, France, September 8-11, 1998 : proceedings
Concurrency theory , CONCUR'98 9th International Conference, Nice, France, September 8-11, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Concurrency theory , CONCUR'98 9th International Conference, Nice, France, September 8-11, 1998 : proceedings

International Conference on Concurrency Theory (9. 1998 Nice, France) Davide Sangiorgi; Robert de Simone

Berlin Springer London 1998

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar
  1. Antes de1976  (5)
  2. 1976Até1984  (3)
  3. 1985Até1987  (7)
  4. 1988Até1993  (8)
  5. Após 1993  (13)
  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.