1 Table of Contents: “... of Computing -- Complexity Theory I -- On Higher Arthur-Merlin Classes -- (2 + f(n))-SAT and Its Properties...”

2 Table of Contents: “... Problem and Its Application -- Algorithms for the On-Line Quota Traveling Salesman Problem -- Graph...”

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

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

5 Table of Contents: “... vertex ordering of a graph and its application to symmetry detection -- Edge separators for graphs...”

6 Table of Contents: “... of Szpilrajn's theorem.-ICSP and its relationship with ACSP and CSP -- On reduction-based process semantics...”

7 “...This book constitutes the refereed proceedings of the 15th Annual International Conference...”

8 Table of Contents: “... Instruction Sets -- A Mismatch Description Language for Conceptual Schema Mapping and Its Cartographic...”

9 Table of Contents: “... -- Constructing shortest watchman routes by divide-and-conquer -- A graph coloring result and its consequences...”

10 “...th This volume presents the proceedings of the 17 IFIP/IEEE International Workshop on Distributed...”

11 “... of Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining a number...”

12 Table of Contents: “... Technique for Checking LTL?X Properties of Petri Nets -- Technical Session 7. Requirements and QoS...”

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

14 “... and Concurrency, Petri Nets 2017, and the 17th International Conference on Application of Concurrency to System...”

15 “... papers invited for publication in ToPNoC – Papers submitted directly to ToPNoC by their authors The 17th...”

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

17 “...As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different...”