skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
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 science proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Category theory and computer science proceedings

Workshop on Category Theory and Computer Programming (6. 1995 Cambridge) David H Pitt; David E Rydeheard; Peter T Johnstone

Berlin Springer 1995

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

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Axiomatizability in inclusive equational logics

Rou, Grigore

Mathematical Structures in Computer Science, 2002, Vol.12(5), pp.541-563 [Periódico revisado por pares]

Texto completo disponível

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Order-enrichment for categories of partial maps

Fiore, Marcelo P

Mathematical Structures in Computer Science, 1995, Vol.5(4), pp.533-562 [Periódico revisado por pares]

Texto completo disponível

4
Material Type:
Artigo
Adicionar ao Meu Espaço

A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science

RYDEHEARD, DAVID E. ; SANNELLA, DONALD T.

Formal Aspects of Computing, 2002, Vol.13(3), pp.187-193 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

An interactive semantics of logic programming

Bruni, Roberto; Montanari, Ugo; Rossi, Francesca

Theory and Practice of Logic Programming, 2001, Vol.1(6), pp.647-690 [Periódico revisado por pares]

Texto completo disponível

6
Material Type:
Artigo
Adicionar ao Meu Espaço

Category-based modularisation for equational logic programming

Diaconescu, Răzvan

Acta Informatica, 1996, Vol.33(5), pp.477-510 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

Institution Morphisms

Goguen, Joseph ; Roşu, Grigore

Formal Aspects of Computing, 2002, Vol.13(3), pp.274-307 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
8
Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers

Fiadeiro, José

Springer Berlin Heidelberg, Berlin, Heidelberg 1999

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Model of Migration and Use of Platforms: Role of Hierarchy, Current Generation, and Complementarities in Consumer Settings

Xu, Xin ; Venkatesh, Viswanath ; Tam, Kar Yan ; Hong, Se - Joon;

Management Science, 2010, Vol.56(8), p.1304-1323 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

progressiveMauve: Multiple Genome Alignment with Gene Gain, Loss and Rearrangement (Multiple Genome Alignment)

Darling, Aaron E ; Mau, Bob ; Perna, Nicole T Stajich, Jason E. (Editor)

PLoS ONE, 2010, Vol.5(6), p.e11147 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
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  (1.642)
  2. Anais de Congresso  (948)
  3. Livros  (187)
  4. Verbetes  (16)
  5. Resenhas  (9)
  6. Book Chapters  (2)
  7. Relatórios Técnicos  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1993  (14)
  2. 1993Até1998  (210)
  3. 1999Até2004  (698)
  4. 2005Até2011  (581)
  5. Após 2011  (1.255)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.772)
  2. Alemão  (4)
  3. Italiano  (3)
  4. Português  (2)
  5. Chinês  (2)
  6. Francês  (2)
  7. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.