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.