Books · Search
Graph Transformations
2004
Data structures (computer science) · Algebra
Fundamentals of Algebraic Specification 1
1985
Transformations (mathematics) · Graph theory
Graph and Model Transformation
2015
Algebra · Electronic data processing
Fundamentals of algebraic specification 2
1990
Graph grammars · Congresses
Graph grammars and their application to computer science
1991
Computer software · Congresses
TAPSOFT '87
1987
Computer graphics · Graphic methods
Handbook of Graph Grammars and Computing by Graph Transformations Vol. 3
1999
Graph Transformation
2003
Graph theory · Logic design
Fundamentals of Algebraic Graph Transformation
2006
Fundamentals of Algebraic Specification 2
1989
Computer networks · Petri nets
Petri net technology for communication-based systems
1996
Computer software, development
TAPSOFT '87 Vol. 2
Kick-off-Workshop der DFG-Forschergruppe Petrinetz-Technologie
Machine theory · Categories (Mathematics)
Universal theory of automata
1974
Graph Transformations in Computer Science
1994
Handbook of Graph Grammars and Computing by Graph Transformations
Theory and Application of Graph Transformations
Software engineering
Integration of Software Specification Techniques for Applications in Engineering
2011
Unifying Petri Nets
Computer systems · Formal methods (Computer science)
Formal methods in software and systems modeling
2005
Mengenlehre · Kategorientheorie
Mathematisch-strukturelle Grundlagen der Informatik
2001
