skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings

Pitt, David ; Abramsky, Samson ; Poigné, Axel ; Rydeheard, David Poigné, Axel ; Pitt, David ; Rydeheard, David ; Abramsky, Samson

Berlin, Heidelberg: Springer Berlin Heidelberg 1986

Texto completo disponível

Citações Citado por
2
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)

3
Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings

Deransart, Pierre ; Maluszyński, Jan Maluszyński, Jan ; Deransart, Pierre

Berlin, Heidelberg: Springer Berlin Heidelberg 1990

Texto completo disponível

Citações Citado por
4
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)

5
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Astesiano, Egidio ; Reggio, Gianna ; Tarlecki, Andrzej Tarlecki, Andrzej ; Reggio, Gianna ; Astesiano, Egidio

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
6
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Pacholski, Leszek ; Tiuryn, Jerzy Pacholski, Leszek ; Tiuryn, Jerzy

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
7
Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers
Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers

Berardi, Stefano ; Coppo, Mario Berardi, Stefano ; Coppo, Mario

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

Citações Citado por
8
Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers
Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers

Moreno-Diaz, Roberto ; Buchberger, Bruno ; Freire, Jose-Luis Luis Freire, José ; Moreno-Díaz, Roberto ; Buchberger, Bruno

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

Citações Citado por
9
Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, USA April 8–10, 1987 Proceedings
Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, USA April 8–10, 1987 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, USA April 8–10, 1987 Proceedings

Main, M ; Melton, A ; Mislove, M ; Schmidt, D Schmidt, D. ; Main, M. ; Melton, A. ; Mislove, M.

Berlin, Heidelberg: Springer Berlin Heidelberg 1988

Texto completo disponível

Citações Citado por
10
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers

Haveraaen, Magne ; Owe, Olaf ; Dahl, Ole-Johan Haveraaen, Magne ; Dahl, Ole-Johan ; Owe, Olaf

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

Citações Citado por
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. Artigos  (22.266)
  2. Anais de Congresso  (7.689)
  3. Book Chapters  (1.600)
  4. magazinearticle  (489)
  5. Verbetes  (380)
  6. Resenhas  (100)
  7. Livros  (94)
  8. Reports  (12)
  9. Newsletter Articles  (3)
  10. Artigos de Jornal  (1)
  11. Dissertações  (1)
  12. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1972  (35)
  2. 1972Até1984  (272)
  3. 1985Até1997  (1.283)
  4. 1998Até2011  (11.858)
  5. Após 2011  (19.470)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (32.593)
  2. Japonês  (1.418)
  3. Português  (62)
  4. Espanhol  (51)
  5. Alemão  (45)
  6. Francês  (24)
  7. Norueguês  (17)
  8. Árabe  (7)
  9. Chinês  (5)
  10. Letão  (4)
  11. Coreano  (4)
  12. Croatian  (4)
  13. Esloveno  (4)
  14. Lituano  (3)
  15. Polonês  (3)
  16. Turco  (3)
  17. Tcheco  (2)
  18. Catalão  (2)
  19. Italiano  (2)
  20. Africâner  (2)
  21. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.