Zum Inhalt springen

Ehrig, Hartmut [HerausgeberIn] ; ICGT 2 2004 Rom

Graph transformations : second international conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Lecture notes in computer science ; 3256
Ehrig, Hartmut [HerausgeberIn] ; Deutsche Forschungsgemeinschaft, Deutsche Forschungsgemeinschaft, INT 3 2004 Barcelona, ETAPS 7 2004 Barcelona

Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) ; final report

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Lecture notes in computer science ; 3147
Ehrig, Hartmut [HerausgeberIn]

Petri net technology for communication-based systems : advances in petri nets

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2472
Ehrig, Hartmut [Sonstige Person, Familie und Körperschaft]

Mathematisch-strukturelle Grundlagen der Informatik ; 71 Tabellen - [2. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2001

Erschienen in: Springer-Lehrbuch
Ehrig, Hartmut [HerausgeberIn] ; TAGT 6 1998 Paderborn

Theory and application of graph transformations : 6th international workshop ; Paderborn, Germany, November 16 - 20, 1998 ; selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2000

Erschienen in: Lecture notes in computer science ; 1764
Ehrig, Hartmut [HerausgeberIn]

Unifying Petri nets : advances in Petri nets

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2001

Erschienen in: Lecture notes in computer science ; 2128
Ehrig, Hartmut [HerausgeberIn]

Handbook of graph grammars and computing by graph transformation / 2, Applications, languages and tools / ed. by H. Ehrig

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Singapore [u.a.]: World Scientific, 1999

Erschienen in: Handbook of graph grammars and computing by graph transformation / ed. by Grzegorz Rozenberg ; 2
Ehrig, Hartmut [Sonstige Person, Familie und Körperschaft]

Handbook of graph grammars and computing by graph transformation / 3, Concurrency, parallelism, and distribution / ed. by H. Ehrig

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Singapore: World Scientific, 1999

Erschienen in: Handbook of graph grammars and computing by graph transformation / ed. by Grzegorz Rozenberg ; 3
Ehrig, Hartmut [HerausgeberIn] ; Forschergruppe Konzeption, Theoretische Fundierung und Validierung einer Anwendungsbezogenen Petrinetz-Technologie

Kick-Off-Workshop der DFG-Forschergruppe Petrinetz-Technologie : Berlin, 15. Juli 1996

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Professoren des Inst. für Informatik, 1996

Erschienen in: Informatik-Berichte ; 7300
Ehrig, Hartmut [Sonstige Person, Familie und Körperschaft]

Mathematisch-strukturelle Grundlagen der Informatik : mit 71 Tabellen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1999

Erschienen in: Springer-Lehrbuch
Ehrig, Hartmut [HerausgeberIn] ; Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Working Group Comprehensive Algebraic Approach to System Specification and Development, Workshop on Specification of Abstract Data Types 9 1992 Caldas de Malavella, COMPASS 4 1992 Caldas de Malavella

Recent trends in data type specification : selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1994

Erschienen in: Lecture notes in computer science ; 785
Ehrig, Hartmut [HerausgeberIn] ; International Workshop on Categorical Methods in Computer Science with Aspects from Topology 1988 Berlin, West

Categorical methods in computer science : with aspects from topology ; [in September 1988 the International Workshop on ... was held in Berlin (West)]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1989

Erschienen in: Lecture notes in computer science ; 393
Ehrig, Hartmut [VerfasserIn]; Mahr, Bernd [VerfasserIn] ; Ehrig, Hartmut [Sonstige Person, Familie und Körperschaft]

Fundamentals of algebraic specification / 2, Module specifications and constraints

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 1990

Erschienen in: Fundamentals of algebraic specification / H. Ehrig; B. Mahr ; 2 - European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 21
Ehrig, Hartmut [HerausgeberIn] ; International Workshop on Graph Grammars and Their Application to Computer Science 4 1990 Bremen

Graph grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5 - 9, 1990 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer-Verl., 1991

Erschienen in: Lecture notes in computer science ; 532
Ehrig, Hartmut [HerausgeberIn] ; Workshop on Specification of Abstract Data Types 7 1990 Wusterhausen/Dosse

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 - 20, 1990 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1991

Erschienen in: Lecture notes in computer science ; 534
Ehrig, Hartmut [Sonstige Person, Familie und Körperschaft]

Universal theory of automata : a categorical approach

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stuttgart: Teubner, 1974

Erschienen in: Teubner-Studienbücher ; Informatik
Ehrig, Hartmut [VerfasserIn]

Fundamentals of algebraic graph transformation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Monographs in theoretical computer science ; an EATCS series
Ehrig, Hartmut [VerfasserIn]

Kategorielle Theorie von Automaten und mehrdimensionalen formalen Sprachen : Zsfassender Bericht

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Univ.-Bibliothek d. Techn. Univ., 1973

Erschienen in: Technische Universität Berlin: Bericht / Technische Universität Berlin, Fachbereich 20, Kybernetik ; 73,21
Ehrig, Hartmut [HerausgeberIn]; Floyd, Christiane [Sonstige Person, Familie und Körperschaft] ; Colloquium on Software Engineering 1985 Berlin, West, TAPSOFT 1 1985 Berlin, West

Formal methods and software development : proceedings of the Intern. Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25 - 29, 1985, vol.2

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg; New York; Tokyo: Springer, 1985

Erschienen in: TAPSOFT: Proceedings of the International Joint Conference on Theory and Practice of Software Development ; 1985,2 - Lecture notes in computer science ; 186
Ehrig, Hartmut [HerausgeberIn]; Floyd, Christiane [Sonstige Person, Familie und Körperschaft] ; CAAP 10 1985 Berlin, West, TAPSOFT 1 1985 Berlin, West

Mathematical foundations of software development : proceedings of the Intern. Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25 - 29, 1985, vol. 1

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg; New York; Tokyo: Springer, 1985

Erschienen in: TAPSOFT: Proceedings of the International Joint Conference on Theory and Practice of Software Development ; 1985,1 - Lecture notes in computer science ; 185

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr