1

2 Table of Contents: “... Using Petri Nets -- Structure Theory of Petri Nets -- Causality in Extensions of Petri Nets -- External...”

3 Table of Contents: “... type and process specifications based on projection spaces -- Structuring theories on consequence...”

4 Table of Contents: “... philosophers, and the random walk -- Probabilistic data refinement: The steam boiler -- Semantic structures...”

5 Table of Contents: “... Structure Theory Using OpenACC Compiler Directives -- Using OpenACC to Port Large Legacy Climate and Weather...”

6 Table of Contents: “... of Explicit Codes with Optimal Redundancy -- Algebraic Structure Theory of Tail-Biting Trellises -- Nice Codes...”

7 Table of Contents: “... for Extensional Lambda-mu Calculus -- The Structural Theory of Pure Type Systems -- Applicative May- and Should...”

8 Table of Contents: “... method to check knowledge base consistency -- Knowledgebases as structured theories -- On functional...”

9 Table of Contents: “... Terminology -- MySQL Index Types -- Index Data Structure Theory -- MySQL Implementation -- MySQL Partitioning...”

10 Table of Contents: “... in Elementary Data Structures -- Theory of Trinomial Heaps -- Polyhedral Aspects of the Consecutive Ones Problem...”

11 Table of Contents: “... of engineering drawings based on Frame Structure Theory -- FERSA: Lip-synchronous animation...”

12 Table of Contents: “... Structures -- Theory of 2-3 Heaps -- An External Memory Data Structure for Shortest Path Queries (Extended...”