Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Hartmut. Ehrig
68 träffar
|
Titel |
Författare |
År |
Språk |
1 |
Integration of Software Specification Techniques for Applications in Engineering
|
Hartmut Ehrig
|
2004 |
Engelska |
2 |
Graph Transformations
|
Andrea Corradini
|
2006 |
Okänt |
3 |
Categorical methods in computer science - with aspects from topology
|
|
cop. 1989 |
Engelska |
4 |
Graph Transformations electronic resource - Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
|
Andrea. Corradini
|
2006 |
Engelska |
5 |
Fundamentals of Algebraic Graph Transformation electronic resource / by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
|
Hartmut. author. Ehrig
|
uuuu-uuuu |
Okänt |
6 |
Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics / by Hartmut Ehrig, Bernd Mahr
|
Hartmut. author. Ehrig
|
uuuu-uuuu |
Okänt |
7 |
Graph and model transformation electronic resource : general framework and applications / by Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
|
Hartmut. author. Ehrig
|
uuuu-uuuu |
Okänt |
8 |
Categorical Methods in Computer Science: With Aspects from Topology
|
Hartmut Ehrig
|
1989 |
Okänt |
9 |
"Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29 1985: Volume 2: Colloquium on Software Engineering (CSE"
|
Hartmut Ehrig
|
2007 |
Okänt |
10 |
Fundamentals of Algebraic Graph Transformation electronic resource
|
Hartmut. Ehrig
|
2006 |
Engelska |
11 |
Fundamentals of Algebraic Graph Transformation (Monographs in theoretical computer science)
|
Hartmut Ehrig
|
2006 |
Okänt |
12 |
Fundamentals of algebraic specification
|
Hartmut Ehrig
|
1985-1990 |
Engelska |
13 |
Fundamentals of Algebraic Specification 2 : Module Specifications and Constraints
|
Hartmut Ehrig
|
1990 |
Okänt |
14 |
Fundamentals of algebraic specification / Hartmut Ehrig and Bernd Mahr
|
Hartmut Ehrig
|
uuuu-uuuu |
Okänt |
15 |
Fundamentals of algebraic specification Vol. 1, Equations and initial semantics
|
Hartmut Ehrig
|
cop. 1985 |
Engelska |
16 |
Fundamentals of algebraic specification Vol. 2, Module specifications and constraints
|
Hartmut Ehrig
|
cop. 1990 |
Engelska |
17 |
Graph and Model Transformation - General Framework and Applications
|
Hartmut. Ehrig
|
2015 |
Engelska |
18 |
Graph and Model Transformation: General Framework and Applications
|
Hartmut Ehrig
|
2015 |
Okänt |
19 |
"Graph-Grammars and Their Application to Computer Science: 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986"
|
Hartmut Ehrig
|
1988 |
Okänt |
20 |
"Graph grammars and their application to computer science : 4th international workshop, Bremen, Germany, March 5-9, 1990 : proceedings"
|
Hartmut Ehrig
|
1991 |
Okänt |
1
2
3
4
Nästa sida
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.