1

2

3 Table of Contents: “... of Neighbourhood Logic -- Eliminating Recursion in the ?-Calculus -- Complexity 7 -- On Optimal Algorithms...”

4 “...This volume presents the proceedings of the 6th International Symposium on Combinatorial Pattern...”

5 Table of Contents: “... for repeats in one sequence and its application to sequencing by hybridization -- Improved approximation...”

6 Table of Contents: “... Exact Algorithms for Counting 3- and 4-Colorings -- Connected Coloring Completion for General Graphs...”

7 Table of Contents: “... -- Symmetries and the Complexity of Pure Nash Equilibrium -- Session 4A -- Computing Representations of Matroids...”

8 Table of Contents: “... and Contextual Information -- 4 Multivariable-unistep Prediction of Travel Times in Public Transport Buses Using...”

9 “...This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control...”

10 Table of Contents: “... -- Session 3: Knowledge Grid and Semantic Grid -- Session 4: Resource Management -- Session 5: P2P Computing...”

11 “...This volume contains the proceedings of UIC 2009, the 6th International C- ference on Ubiquitous...”

12 Table of Contents: “... and Product Evaluation -- 3. Managing Information Security in Healthcare — an Action Research Experience -- 4...”

13 “...This book constitutes the refereed proceedings of the 4th Annual International Conference...”

14 “... sensing, and their societal implications. The 7 full papers and 4 short papers were thoroughly reviewed...”

15 Table of Contents: “... -- Topic 3: Scheduling and Load Balancing -- Topic 4: Compilers for High Performance -- Topic 5: Parallel...”

16 Table of Contents: “... Programs -- Technical Session 4. Theory -- New Bisimulation Semantics for Distributed Systems -- Event...”

17 Table of Contents: “... -- Managing Performance of Aging Applications Via Synchronized Replica Rejuvenation -- Session 4: Problem...”

18 Table of Contents: “... Formulas and Its Reasoning -- A Categorial Basis for Granular Computing -- Granular Sets – Foundations...”

19 “... conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since...”

20 “...This volume contains the full papers presented at HCI 2005, the 19th Annual Conference...”