UB Paderborn / Katalog / Suche / in CDI

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...

Graph Transformation: 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings

1st Edition 2019, 2019

Volltextzugriff (PDF)

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

1989

Volltextzugriff (PDF)

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

1989

Volltextzugriff (PDF)

Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings

2001, 2001

Volltextzugriff (PDF)

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

1994

Volltextzugriff (PDF)

Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings

1991

Volltextzugriff (PDF)

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011, Proceedings

2011, 2011

Volltextzugriff (PDF)

Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

1, 2005

Volltextzugriff (PDF)

Constructing Optimized Validity-Preserving Application Conditions for Graph Transformation Rules

Graph Transformation, p.177-194

Volltextzugriff (PDF)

Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs

Graph Transformation, p.38-54

Volltextzugriff (PDF)

Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars

Graph Transformation, 2019, p.55-72

2019

Volltextzugriff (PDF)

Incremental (Unidirectional) Model Transformation with eMoflon::IBeX

Graph Transformation, p.131-140

Volltextzugriff (PDF)

Hybrid Search Plan Generation for Generalized Graph Pattern Matching

Graph Transformation, p.212-229

Volltextzugriff (PDF)

Exploring Conflict Reasons for Graph Transformation Systems

12th International Conference on Graph Transformation, ICGT 2019, Held as part of STAF 2019, Eindhoven, Netherlands, 2019, Vol.11629 LNCS, p.75-92

2019

Volltextzugriff (PDF)

Double-Pushout Rewriting in Context: Rule Composition and Parallel Independence

Graph Transformation, p.21-37

Volltextzugriff (PDF)

Relating DNA Computing and Splitting/Fusion Grammars

Graph Transformation, p.159-174

Volltextzugriff (PDF)

Unfolding Graph Grammars with Negative Application Conditions

Graph Transformation, p.93-110

Volltextzugriff (PDF)

From Pattern Invocation Networks to Rule Preconditions

Graph Transformation, p.195-211

Volltextzugriff (PDF)

Introducing Symmetry to Graph Rewriting Systems with Process Abstraction

Graph Transformation, p.3-20

Volltextzugriff (PDF)

Routing in Trees

Automata, Languages and Programming, 2001, p.757-772

2001

Volltextzugriff (PDF)

Information-theoretic Private Information retrieval: A unified construction

Lecture notes in computer science, 2001, p.912-926

2001

Volltextzugriff (PDF)

Algebraic system specification and development: A survey and annotated bibliography

1991

Volltextzugriff (PDF)

Models within Models: Taming Model Complexity Using the Sub-model Lattice

Fundamental Approaches to Software Engineering, p.171-185

Volltextzugriff (PDF)

Towards Quantitative Verification of Probabilistic Transition Systems

Automata, Languages and Programming, 2001, p.421-432

2001

Volltextzugriff (PDF)

Secure multiparty computation of approximations

Lecture notes in computer science, 2001, p.927-938

2001

Volltextzugriff (PDF)

1 – 25 von 338

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(298)
Mit Volltextzugriff
(312)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(256)
Computer Science
(216)
Technology
(209)
Computer Science, Theory & Methods
(205)
Computer Science, Software Engineering
(147)
Applied Sciences
(106)
Exact Sciences And Technology
(106)
Computer Science; Control Theory; Systems
(104)
Theoretical Computing
(84)
Humans
(43)
Life Sciences & Biomedicine
(40)
Algorithmics. Computability. Computer Arithmetics
(37)
Information Retrieval. Graph
(31)
Male
(31)
Software
(26)
Female
(24)
Physical Sciences
(24)
Mathematics
(23)
Software Engineering
(22)
Abstract Data Type
(17)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)
... seit 90 Tagen
(2)

Menü

Weitere Dienste

Einstellungen

Graph Transformation: 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings

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

Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011, Proceedings

Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

Constructing Optimized Validity-Preserving Application Conditions for Graph Transformation Rules

Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs

Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars

Incremental (Unidirectional) Model Transformation with eMoflon::IBeX

Hybrid Search Plan Generation for Generalized Graph Pattern Matching

Exploring Conflict Reasons for Graph Transformation Systems

Double-Pushout Rewriting in Context: Rule Composition and Parallel Independence

Relating DNA Computing and Splitting/Fusion Grammars

Unfolding Graph Grammars with Negative Application Conditions

From Pattern Invocation Networks to Rule Preconditions

Introducing Symmetry to Graph Rewriting Systems with Process Abstraction

Routing in Trees

Information-theoretic Private Information retrieval: A unified construction

Algebraic system specification and development: A survey and annotated bibliography

Models within Models: Taming Model Complexity Using the Sub-model Lattice

Towards Quantitative Verification of Probabilistic Transition Systems

Secure multiparty computation of approximations

Suchergebnisse filtern