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

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

3
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
4
Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Roggenbach, Markus Roggenbach, Markus ; Roggenbach, Markus

Cham: Springer Nature 2021

Sem texto completo

Citações Citado por
5
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

Roggenbach, Markus ; James, Phillip

Netherlands: Springer Nature 2017

Sem texto completo

Citações Citado por
6
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
7
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
8
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
9
Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Moss, Lawrence S ; de Queiroz, Ruy ; Martinez, Maricarmen de Queiroz, Ruy ; Moss, Lawrence S ; Martinez, Maricarmen

Netherlands: Springer Nature 2018

Sem texto completo

Citações Citado por
10
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
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  (24.190)
  2. Anais de Congresso  (4.856)
  3. Book Chapters  (3.357)
  4. Dissertações  (468)
  5. Verbetes  (441)
  6. magazinearticle  (300)
  7. Livros  (201)
  8. Resenhas  (108)
  9. Reports  (14)
  10. Artigos de Jornal  (7)
  11. Newsletter Articles  (3)
  12. Recursos Textuais  (1)
  13. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1971  (63)
  2. 1971Até1983  (275)
  3. 1984Até1996  (1.190)
  4. 1997Até2010  (8.776)
  5. Após 2010  (24.255)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (33.898)
  2. Japonês  (1.100)
  3. Espanhol  (64)
  4. Português  (63)
  5. Alemão  (47)
  6. Francês  (28)
  7. Norueguês  (19)
  8. Polonês  (9)
  9. Chinês  (8)
  10. Árabe  (7)
  11. Lituano  (5)
  12. Letão  (5)
  13. Coreano  (4)
  14. Turco  (4)
  15. Croatian  (4)
  16. Esloveno  (4)
  17. Africâner  (3)
  18. Tcheco  (2)
  19. Catalão  (2)
  20. Italiano  (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.