skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Mostrar Somente
Refinado por: assunto: Congresses remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings
Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings

Bjøorner, Dines Bjøorner, Dines

Berlin, Heidelberg: Springer Berlin Heidelberg 1980

Texto completo disponível

Citações Citado por
2
Ada Software Tools Interfaces: Workshop, Bath, July 13–15, 1983 Proceedings
Ada Software Tools Interfaces: Workshop, Bath, July 13–15, 1983 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Ada Software Tools Interfaces: Workshop, Bath, July 13–15, 1983 Proceedings

Wallis, Peter J. L Wallis, Peter J. L.

Berlin, Heidelberg: Springer Berlin Heidelberg 1984

Texto completo disponível

Citações Citado por
3
Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16–18, 1986
Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16–18, 1986
Material Type:
Livro 		Adicionar ao Meu Espaço

Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16–18, 1986

Conradi, Reidar ; Didriksen, Tor M ; Wanvik, Dag H Conradi, Reidar ; Didriksen, Tor M. ; Wanvik, Dag H.

Berlin, Heidelberg: Springer Berlin Heidelberg 1986

Texto completo disponível

Citações Citado por
4
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
5
Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings
Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings

Pitt, David ; Rydeheard, David E ; Johnstone, Peter Rydeheard, David E. ; Johnstone, Peter ; Pitt, David

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
6
Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings
Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Pitt, David H ; Curien, Pierre-Louis ; Abramsky, Samson ; Pitts, Andrew M ; Poigné, Axel ; Rydeheard, David E Curien, Pierre-Louis ; Pitt, David H. ; Poigné, Axel ; Abramsky, Samson ; Pitts, Andrew M. ; Rydeheard, David E.

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
7
Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings
Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings

Pitt, David H ; Poigné, Axel ; Rydeheard, David E Poigné, Axel ; Rydeheard, David E. ; Pitt, David H.

Berlin, Heidelberg: Springer Berlin Heidelberg 1987

Texto completo disponível

Citações Citado por
8
Cognitive Models and Intelligent Environments for Learning Programming
Cognitive Models and Intelligent Environments for Learning Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Cognitive Models and Intelligent Environments for Learning Programming

Lemut, Enrica ; DuBoulay, Benedict ; Dettori, Giuliana Dettori, Giuliana ; du Boulay, Benedict ; Lemut, Enrica

Berlin, Heidelberg: Springer Berlin / Heidelberg 1993

Texto completo disponível

Citações Citado por
9
Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute Held at Bonas, France, September 28-October 10 1981
Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute Held at Bonas, France, September 28-October 10 1981
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute Held at Bonas, France, September 28-October 10 1981

Biermann, A. W ; Guiho, G

Dordrecht: Springer Netherlands 1982

Texto completo disponível

Citações Citado por
10
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Dershowitz, Nachum ; Lindenstrauss, Naomi Dershowitz, Nachum ; Lindenstrauss, Naomi

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (45)

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

Buscando em bases de dados remotas. Favor aguardar.