UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 62

Sortiert nach

Mathematisch-strukturelle Grundlagen der Informatik : mit 71 Tabellen

Springer-Lehrbuch

Ehrig, Hartmut

2. Aufl, 2001

Signatur: TVD2115(2)

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. 1. Equations and initial semantics

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

1985

Signatur: TZC1712-1

Fundamentals of algebraic specification

EATCS monographs on theoretical computer science : ...

1985-

Signatur: TZC1712

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)

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

1st ed. 2008, 2008

Link zum Volltext
SpringerLink Books - AutoHoldings

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)

Kategorien und Automaten

De-Gruyter-Lehrbuch

1972

Signatur: TCK1875

Fundamentals of Algebraic Graph Transformation [electronic resource]

1st ed. 2006, 2006

Link zum Volltext
SpringerLink Books - AutoHoldings

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 Transformations in Computer Science : International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings [electronic resource]

1st ed. 1994, 1994

Link zum Volltext
SpringerLink Books - AutoHoldings

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 [electronic resource]

1st ed. 1979, 1979

Link zum Volltext
SpringerLink Books - AutoHoldings

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 : 2nd International Workshop. Haus Ohrbeck, Germany, October 4 - 8, 1982 [electronic resource]

1st ed. 1983, 1983

Link zum Volltext
SpringerLink Books - AutoHoldings

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)

Graph Grammars and Their Application to Computer Science : 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings [electronic resource]

1st ed. 1991, 1991

Link zum Volltext
SpringerLink Books - AutoHoldings

1 – 25 von 62

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(50)
Gedruckt
(12)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(62)

Schlagwort

Software engineering
(26)
Software Engineering
(17)
Computer science
(16)
Data structures (Computer science)
(14)
Computers
(12)
Mathematical logic
(12)
Computer logic
(11)
Logics and Meanings of Programs
(11)
Logic design
(10)
Computational complexity
(9)
Computer science—Mathematics
(9)
Mathematical Logic and Formal Languages
(9)
Graphersetzungssystem
(8)
Theory of Computation
(8)
Graph-Grammatik
(7)
Computer programming
(6)
Computer software
(6)
Computation by Abstract Devices
(5)
Data Structures
(5)
Discrete mathematics
(5)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(48)
Deutsch
(7)

Systemstelle

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

2 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Mathematisch-strukturelle Grundlagen der Informatik : mit 71 Tabellen

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. 1. Equations and initial semantics

Fundamentals of algebraic specification

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]

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

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]

Kategorien und Automaten

Fundamentals of Algebraic Graph Transformation [electronic resource]

Fundamentals of Algebraic Graph Transformation [Elektronische Ressource]

Graph Transformations in Computer Science : International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings [electronic resource]

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 [electronic resource]

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 : 2nd International Workshop. Haus Ohrbeck, Germany, October 4 - 8, 1982 [electronic resource]

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

Graph Grammars and Their Application to Computer Science : 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings [electronic resource]

Suchergebnisse filtern