UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 38

Sortiert nach

Graph transformations in computer science : 09.09. - 13.09.96 (9637)

Dagstuhl-Seminar-Report : 155 (Alle Bände)

Ehrig, Hartmut[Herausgeber]

1996

Signatur: TUF1092-155

Specification and semantics : 24.05. - 28.05.93 (9321)

Dagstuhl-Seminar-Report : 64 (Alle Bände)

Ehrig, Hartmut[Herausgeber]

1994

Signatur: TUF1092-64

Special issue on Applications of graph transformations

Science of computer programming : 44,2 (Alle Bände)

Ehrig, Hartmut[Herausgeber]

2002

Signatur: 64s19

Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998 (98281)

Dagstuhl-Seminar-Report : 218 (Alle Bände)

Ehrig, Hartmut[Herausgeber]

1998

Signatur: TUF1092-218

Specification and semantics : 08.07. - 12.07.96 (9628)

Dagstuhl-Seminar-Report : 151 (Alle Bände)

Ehrig, Hartmut[Herausgeber]

1996

Signatur: TUF1092-151

Universal theory of automata : a categorical approach ; with numerous figures and examples

Teubner-Studienbücher: Informatik

Ehrig, Hartmut

1974

Signatur: TVH1389

Kategorien und Automaten

De-Gruyter-Lehrbuch

1972

Signatur: TCX1139

Fundamentals of algebraic specification. 2. Module specifications and constraints

Fundamentals of algebraic specification (Alle Bände), EATCS monographs on theoretical computer science : 21 (Alle Bände)

1990

Signatur: TZC1712-2

Kategorien und Automate

De Gruyter Lehrbuch

Reprint 2018, [2018]

Link zum Volltext
De Gruyter E-Books EBA bis 31.12.2026 (ZDB-23-DGG-eba)

Graph Transformations in Computer Science : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings [Elektronische Ressource]

1994

Link zum Volltext
Springer Lecture Notes Archiv (- Jg. 1996) (ZDB-1-SLN)

Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers [Elektronische Ressource]

1994

Link zum Volltext
Springer Lecture Notes Archiv (- Jg. 1996) (ZDB-1-SLN)

Graph Transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings [electronic resource]

1st ed. 2008, 2008

Kategorien und Automaten

De-Gruyter-Lehrbuch

1972

Signatur: TCK1875

Fundamentals of Algebraic Graph Transformation [Elektronische Ressource]

Monographs in Theoretical Computer Science. An EATCS Series

2006

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2006 (ZDB-2-SCS)

Graph-Grammars and Their Application to Computer Science : 2nd International Workshop Haus Ohrbeck, Germany, October 4–8, 1982 [Elektronische Ressource]

1983

Link zum Volltext
Springer Lecture Notes Archiv (- Jg. 1996) (ZDB-1-SLN)

Graph-Grammars and Their Application to Computer Science and Biology : International Workshop Bad Honnef, October 30 – November 3, 1978 [Elektronische Ressource]

1979

Link zum Volltext
Springer Lecture Notes Archiv (- Jg. 1996) (ZDB-1-SLN)

Graph Grammars and Their Application to Computer Science : 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings [Elektronische Ressource]

1991

Link zum Volltext
Springer Lecture Notes Archiv (- Jg. 1996) (ZDB-1-SLN)

Formal Methods and Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 [Elektronische Ressource]

1985

Link zum Volltext
Springer Lecture Notes Archiv (- Jg. 1996) (ZDB-1-SLN)

Graph-Grammars and Their Application to Computer Science : 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986 [Elektronische Ressource]

1987

Link zum Volltext
Springer Lecture Notes Archiv (- Jg. 1996) (ZDB-1-SLN)

TAPSOFT '87 : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 [Elektronische Ressource]

1987

Link zum Volltext
Springer Lecture Notes Archiv (- Jg. 1996) (ZDB-1-SLN)

Graph Grammars and Their Application to Computer Science : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers [Elektronische Ressource]

1996

Link zum Volltext
Springer Lecture Notes Archiv (- Jg. 1996) (ZDB-1-SLN)

Mathematical Foundations of Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP' 85) [Elektronische Ressource]

1985

Link zum Volltext
Springer Lecture Notes Archiv (- Jg. 1996) (ZDB-1-SLN)

TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 [Elektronische Ressource]

1987

Link zum Volltext
Springer Lecture Notes Archiv (- Jg. 1996) (ZDB-1-SLN)

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg [Elektronische Ressource]

2002

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Graph Transformations : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings [Elektronische Ressource]

Lecture Notes in Computer Science : 6372

2010

1 – 25 von 38

Suche als RSS-Feed

Aktive Filter

SchlagwortAlgebraische Spezifikation

SchlagwortDiscrete mathematics

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(29)
Gedruckt
(9)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(38)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(26)
Deutsch
(5)

Systemstelle

TUF
(4)
64
(1)
TCK
(1)
TCX
(1)
TVH
(1)
TZC
(1)

1 weiteren anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Graph transformations in computer science : 09.09. - 13.09.96 (9637)

Specification and semantics : 24.05. - 28.05.93 (9321)

Special issue on Applications of graph transformations

Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998 (98281)

Specification and semantics : 08.07. - 12.07.96 (9628)

Universal theory of automata : a categorical approach ; with numerous figures and examples

Kategorien und Automaten

Fundamentals of algebraic specification. 2. Module specifications and constraints

Kategorien und Automate

Graph Transformations in Computer Science : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings [Elektronische Ressource]

Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers [Elektronische Ressource]

Graph Transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings [electronic resource]

Kategorien und Automaten

Fundamentals of Algebraic Graph Transformation [Elektronische Ressource]

Graph-Grammars and Their Application to Computer Science : 2nd International Workshop Haus Ohrbeck, Germany, October 4–8, 1982 [Elektronische Ressource]

Graph-Grammars and Their Application to Computer Science and Biology : International Workshop Bad Honnef, October 30 – November 3, 1978 [Elektronische Ressource]

Graph Grammars and Their Application to Computer Science : 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings [Elektronische Ressource]

Formal Methods and Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 [Elektronische Ressource]

Graph-Grammars and Their Application to Computer Science : 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986 [Elektronische Ressource]

TAPSOFT '87 : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 [Elektronische Ressource]

Graph Grammars and Their Application to Computer Science : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers [Elektronische Ressource]

Mathematical Foundations of Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP' 85) [Elektronische Ressource]

TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 [Elektronische Ressource]

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg [Elektronische Ressource]

Graph Transformations : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern