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

Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '87)

Advanced Seminar on Foundations of Innovative Software Development (1st 1987 Pisa, Italy) Hartmut Ehrig; Colloquium on Trees in Algebra and Programming (12th 1987 Pisa, Italy)

Berlin Springer-Verlag New York c1987

Localização: IME - Inst. Matemática e Estatística    (S L471c v.250 v.2 )(Acessar)

2
Material Type:
Livro
Adicionar ao Meu Espaço

Categorical methods in computer science with aspects from topology : proceedings

International Workshop on Categorical Methods in Computer Science With Aspects from Topology, Berlin, 1988 Hartmut Ehrig

Berlin Springer 1989

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

3
Formal methods and software development
Material Type:
Livro
Adicionar ao Meu Espaço

Formal methods and software development

Colloquium on Software Engineering (1985 Berlin, Germany) Hartmut Ehrig

Berlin Springer-Verlag New York c1985

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

4
Recent trends in data type specification selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Recent trends in data type specification selected papers

Workshop on Specification of Abstract Data Types,7., Wusterhausen / Dose, 1990 Hartmut Ehrig

Berlin Springer 1991

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

5
Recent trends in data type specification selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Recent trends in data type specification selected papers

Workshop on Specification of Abstract Data Types (9. 1992 Caldes de Malavella) Hartmut Ehrig; Compass Workshop (4. 1992 Caldes de Malavella)

Berlin Springer 1994

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.