skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Category Theory and Computer Science
Material Type:
Livro
Adicionar ao Meu Espaço

Category Theory and Computer Science

Pitt P. T Johnstone; David H Pitt; David E Rydeheard

Springer Berlin Heidelberg 1995

Acesso online

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

3
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, Edinburgh, 1987 David H Pitt

Berlin Springer 1987

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

4
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A Logical Framework for Monitoring and Evolving Software Components

Barringer, H ; Rydeheard, D ; Gabbay, D

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), June 2007, pp.273-282

Texto completo disponível

5
Material Type:
Artigo
Adicionar ao Meu Espaço

Propaganda wars

Rydeheard, D E ; Mycroft, A ; Peto, Julian

Nature, 22 April 1982, Vol.296(5859), pp.700 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
6
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Tableau development for a bi-intuitionistic tense logic

Stell, Jg ; Schmidt, Ra ; Rydeheard, D Höfner, P ; Jipsen, P ; Kahl, W

Tableau development for a bi-intuitionistic tense logic. In: Höfner, P, Jipsen, P and Kahl, W, (eds.\) Relational and Algebraic Methods in Computer Science. Lecture Notes in Computer Science. 14th International Conference, RAMiCS 2014, April 28–May 1, 2014, Marienstatt, Germany. Springer International Publishing , 412 - 428

Springer International Publishing 2014

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (3)
  2. Anais de Congresso  (2)
  3. Artigos  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Rydeheard, D.
  2. Pitt, D
  3. Johnstone, P
  4. Pitt
  5. Kahl, W

Buscando em bases de dados remotas. Favor aguardar.