skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: Ehrig, H remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '87)
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
Categorical methods in computer science with aspects from topology : proceedings
Categorical methods in computer science with aspects from topology : proceedings
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
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
Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Ugo Montanari; F Orejas (Fernando); Grzegorz Rozenberg; Gabriele Taentzer; Hartmut Ehrig; H.-J Kreowski (Hans-J org)

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

5
Fundamentals of algebraic specification Tome 1 Equations and initial semantics
Fundamentals of algebraic specification Tome 1 Equations and initial semantics
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of algebraic specification Tome 1 Equations and initial semantics

Hartmut Ehrig B Mahr (Bernd)

Berlin Springer-Verlag New York c1985

Item não circula. Consulte sua biblioteca.(Acessar)

6
Graph Grammars and Their Application to Computer Science
Graph Grammars and Their Application to Computer Science
Material Type:
Livro 		Adicionar ao Meu Espaço

Graph Grammars and Their Application to Computer Science

Cuny Janice Cuny; Hartmut Ehrig; G Engels; Grzegorz Rozenberg

Springer Berlin Heidelberg 1996

Acesso online

7
Graph-grammars and their application to computer science and biology proceedings
Graph-grammars and their application to computer science and biology proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Graph-grammars and their application to computer science and biology proceedings

International Workshop on Graph Grammars and Their Applications To Computer Science and Biology (1. 1978 Bad Honneff) Volker Claus; Hartmut Ehrig

Berlin Springer 1979

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

8
Graph-grammars and their application to computer science proceedings
Graph-grammars and their application to computer science proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Graph-grammars and their application to computer science proceedings

International Workshop on Graph-Grammars and Their Applications To Computer Science (3. 1986 Warrenton) Hartmut Ehrig

Berlin Springer 1987

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

9
Graph-grammars and their application to computer science proceedings
Graph-grammars and their application to computer science proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Graph-grammars and their application to computer science proceedings

International Workshop on Graph Grammars and Their Applications To Computer Science, 2., Haus Ohrbeck, 1982 Hartmut Ehrig; Manfred Nagl

New York Springer 1983

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

10
Graph grammars and their application to computer science selected papers [of the] 5th international workshop, held in Williamsburg, VA, USA, november 13-18, 1994
Graph grammars and their application to computer science selected papers [of the] 5th international workshop, held in Williamsburg, VA, USA, november 13-18, 1994
Material Type:
Livro 		Adicionar ao Meu Espaço

Graph grammars and their application to computer science selected papers [of the] 5th international workshop, held in Williamsburg, VA, USA, november 13-18, 1994

International Workshop on Graph-Grammars and Their Applications To Computer Science (5. 1994 Williamsburg, Us) Janice Cuny; Hartmut Ehrig; Gregor Engels; Grzegorz Rozenberg

Berlin Springer 1996

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)
  2. Disponível na Biblioteca (17)

Data de Publicação 

De até
Refinar
  1. Antes de1985  (2)
  2. 1985Até1988  (5)
  3. 1989Até1993  (3)
  4. 1994Até2000  (5)
  5. Após 2000  (4)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.