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:
Artigo
Adicionar ao Meu Espaço

Rule Systems for Run-time Monitoring: from E agle to R ule R

Barringer, Howard ; Rydeheard, David ; Havelund, Klaus

Journal of Logic and Computation, 2010, Vol. 20(3), pp.675-706 [Periódico revisado por pares]

Texto completo disponível

5
Material Type:
Tese
Adicionar ao Meu Espaço

Automated Semantic Forgetting for Expressive Description Logics

Zhao, Yizheng Rydeheard, David De ; Schmidt, Renate ; Rydeheard, David

The University of Manchester, Manchester, UK 2018

Texto completo disponível

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

A pattern-based approach to parametric specification mining

Reger, Giles ; Barringer, Howard ; Rydeheard, David

Proceedings of the 28th IEEE/ACM International Conference on automated software engineering, 11 November 2013, pp.658-663

Texto completo disponível

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

Automata based monitoring and mining of execution traces

Reger, Giles Matthew Rydeheard, David

University of Manchester 2014

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Modelling evolvable component systems

Barringer, Howard ; Gabbay, Dov ; Rydeheard, David

Logic Journal of IGPL, 2009, Vol. 17(6), pp.631-696 [Periódico revisado por pares]

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

A theory of classes: proofs and models

Hilken, Barnaby P.; Rydeheard, David E.

Mathematical Structures in Computer Science, 1997, Vol.7(2), pp.95-127 [Periódico revisado por pares]

Texto completo disponível

10
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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
  1. Antes de1989  (4)
  2. 1989Até1994  (3)
  3. 1995Até2007  (5)
  4. 2008Até2013  (4)
  5. Após 2013  (3)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.