1 Table of Contents: “... of Multimedia Complex Objects in the '90s -- Database language standards: Past, present, and future -- Language...”

2 Table of Contents: “... for Past Formulas -- 4.2 Applications of the Past Invariance Rule -- 4.3 Compositional Verification -- 4.4...”

3 “.... The author reviews the evaluation measures that have been suggested over the past few decades and presents a...”

4 “..., and to computer science as a whole, now than in the past. Many students have taken such a course as part...”

5 Table of Contents: “... favorite ten complexity theorems of the past decade -- Solving a unification problem under constrained...”

6 Table of Contents: “... visual approach to VDM -- Statecharts: Past, present, future -- Scalable fault tolerance --...”

7 “... field was, and is always, physical design reuse at the layout level. In the past, the practical...”

8 Table of Contents: “... with Crossover Operators -- Evolutionary Computation for Evolutionary Theory -- Computational Embryology: Past...”

9 “...In the past decade, the formal theory of specification, verfication and development of real-time...”

10 Table of Contents: “... optimizations for the WAM -- Fast decompilation of compiled Prolog clauses -- Logic continuations -- Cut & Paste...”

11 Table of Contents: “... by means of infinitary calculi -- Typed horn logic (extended abstract) -- Results on the glory of the past...”

12 Table of Contents: “... -- Computationally-sound checkers -- Reasoning about the past -- Satisfiability — Algorithms and logic -- The joys...”