1 Table of Contents: “...?-Automata -- Infinite Games -- Determinization and Complementation -- Determinization of Büchi...”

2 “... equations (SDEs) in infinite dimensions and applications. This research monograph brings together the varied...”

3 Table of Contents: “...Risk Management -- Developing Electronic Trust Policies Using a Risk Management Model -- Security...”

4 Table of Contents: “... of Discrete Event Systems Using Acceptance Sampling -- SAT Based Methods -- Checking Satisfiability of First...”

5 Table of Contents: “..., On Bounding and Approximating Functions of Multiple Expectations using Quasi-Monte Carlo -- K. Spendier, M...”

6 Table of Contents: “... of parallel graph computation. -- Safe and Infinite Resource Scheduling Using Energy Timed Automata...”

7 Table of Contents: “... for Individualized Treatment Regimes on Infinite Time Horizon -- Q-Learning Based Methods for Dynamic Treatment...”

8 Table of Contents: “... Specification Using PVS -- Infinite-State and Parametric Systems -- Beyond Parameterized Verification...”

9 “.... This volume investigates fractional evolution equations, in infinite intervals. The book covers a range...”

10 Table of Contents: “... of product of several manifolds -- On the solution set of semi-infinite tensor complementarity problem...”

11 Table of Contents: “... Universal Security Amplifier in the Class of Block Ciphers -- Decorrelation over Infinite Domains...”

12 Table of Contents: “... with Infinite-State Systems: Techniques and Results -- On Functions and Types: A Tutorial -- Database Support...”

13 Table of Contents: “... Kripke Structures -- Model-Checking Infinite Systems Generated by Ground Tree Rewriting -- Bounded MSC...”

14 Table of Contents: “... Experimentation Using Flexible Configurations -- An Optimization of Apriori Algorithm through the Usage...”

15 “... for the system with conserved number of particles, one must know either its prehistory or the infinite family...”

16 Table of Contents: “... Path Algorithm -- Improved Deterministic Parallel Padded Sorting -- Analyzing an Infinite Parallel Job...”

17 “... communication. This book uses an innovative experiential and abductive research design. The philosophy inspired...”