UB Paderborn / Katalog / Suche / im Katalog

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Mathematisch-strukturelle Grundlagen der Informatik : mit 71 Tabellen

Springer-Lehrbuch

Ehrig, Hartmut

2. Aufl, 2001

Signatur: TVD2115(2)

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

Specification and semantics : 24.05. - 28.05.93 (9321)

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

Ehrig, Hartmut[Herausgeber]

1994

Signatur: TUF1092-64

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

Fundamentals of algebraic specification

EATCS monographs on theoretical computer science : ...

1985-

Signatur: TZC1712

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

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

Volltextzugriff (PDF)

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

1994

Volltextzugriff (PDF)

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

Fundamentals of Algebraic Graph Transformation [Elektronische Ressource]

Monographs in Theoretical Computer Science. An EATCS Series

2006

Volltextzugriff (PDF)

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

1979

Volltextzugriff (PDF)

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

1983

Volltextzugriff (PDF)

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

1991

Volltextzugriff (PDF)

Petri Net Technology for Communication-Based Systems : Advances in Petri Nets [Elektronische Ressource]

2003

Volltextzugriff (PDF)

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

Volltextzugriff (PDF)

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

2002

Volltextzugriff (PDF)

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

Volltextzugriff (PDF)

Unifying Petri Nets : Advances in Petri Nets [Elektronische Ressource]

2001

Volltextzugriff (PDF)

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

1987

Volltextzugriff (PDF)

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

1987

Volltextzugriff (PDF)

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

1987

Volltextzugriff (PDF)

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

Volltextzugriff (PDF)

1 – 25 von 35

Suche als RSS-Feed

Aktive Filter

Autor / AutorinPfender, Michael

SchlagwortDiscrete mathematics

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(25)
Gedruckt
(10)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(35)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(25)
Deutsch
(4)

Systemstelle

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

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Mathematisch-strukturelle Grundlagen der Informatik : mit 71 Tabellen

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

Specification and semantics : 24.05. - 28.05.93 (9321)

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

Fundamentals of algebraic specification

Fundamentals of algebraic specification. 1. Equations and initial semantics

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 in Computer Science : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings [Elektronische Ressource]

Fundamentals of algebraic specification. 2. Module specifications and constraints

Fundamentals of Algebraic Graph Transformation [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 : 2nd International Workshop Haus Ohrbeck, Germany, October 4–8, 1982 [Elektronische Ressource]

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

Petri Net Technology for Communication-Based Systems : Advances in Petri Nets [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]

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]

Unifying Petri Nets : Advances in Petri Nets [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 : 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]

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]

Aktive Filter

Suchergebnisse filtern