1 Table of Contents: “... as Processes -- Temporal Concurrent Constraint Programming: Applications and Behavior -- Molecular Computing...”

2 Table of Contents: “... based specification of interconnection structures for massively parallel computation -- Towards...”

3 Subjects: “...Compilers (Computer programs)...”

4 Subjects: “...Compilers (Computer programs)...”

5 Subjects: “...Computational complexity...”

6 Subjects: “...Compilers (Computer programs)...”

7 Subjects: “...Compilers (Computer programs)...”

8 Table of Contents: “... Process -- Verification of PLC Programs Given as Sequential Function Charts -- Modeling and Formal...”

9 Table of Contents: “... specification of line representations on graphics devices -- Experiences with the PSG — Programming System...”

10 Table of Contents: “... -- 1B: Modules and Modularization in Programming and Specification Languages -- 1C: Concepts...”

11 Table of Contents: “... Computation Models -- Graph-Based Tools: The Contest -- Workshop on Petri Nets and Graph Transformations...”

12 Subjects: “...Compilers (Computer programs)...”

13 Subjects: “...Computer programming...”

14 Subjects: “...Computer science...”

15 Subjects: “...Computational complexity...”

16 Table of Contents: “... systems -- Semantically based programming tools (Summary) -- From function level semantics to program...”

17 Subjects: “...Computer Science Logic and Foundations of Programming...”

18 Subjects: “...Computational complexity...”

19 Table of Contents: “...Models and equality for logical programming -- Fifth generation computer project: Current research...”

20 Table of Contents: “...On the complexity of branching programs and decision trees for clique functions -- Average...”