1 Table of Contents: “... Decryption Exponent -- PA1 and IND-CCA2 Do Not Guarantee PA2: Brief Examples -- A Generic Method for Reducing...”

2 Table of Contents: “... to Transitions: Improving Translation of LTL Formulae to Büchi Automata -- A Compositional Sweep-Line State Space...”

3 Table of Contents: “... -- 1.2 Online Documentation -- 1.3 Formulas -- 1.4 Simple Calculations -- 2: Graphics -- 2.1 Graphs...”

4 Table of Contents: “....2 -- Other storage medias; 2.2 -- Data reliability assurance in software; 2.2.1 -- Replication for data...”

5 Table of Contents: “... -- 2 Formal Logic -- 2.1 Formal Logical Systems -- 2.2 Propositional Logic -- 2.3 A Predicate Logic...”

6 Table of Contents: “... Reading -- References -- 1 Theory -- 2 Analytic Modeling of Congestion Control -- 2.1 Introduction -- 2.2...”

7 Table of Contents: “...1. Introduction and overview -- 2. Elements of systems engineering of digital control -- 3. Sensors...”

8 Table of Contents: “... Semantics and Syntax -- 2.1 Elementary Symbols -- 2.2 Well-Formed Formulas or wffs [Syntax] -- 2.3 Free...”

9 Table of Contents: “....10 The Cross Product -- 2 Curves -- 2.1 The Tangent Curve -- 2.2 Curve Parameterization -- 2.3 The Normal Curve...”

10 Table of Contents: “... Search Techniques -- 9.1. Overhead and Information Theory -- 9.2. Probing -- 9.3. Cycle Time in Probing...”

11 Table of Contents: “...1 Introduction -- 2 Preview -- 2.1 Term Rewriting -- 2.2 Narrowing -- 2.3 Narrowing and Logic...”

12 Table of Contents: “.... Formulas/expressions -- 8.2.2.1. Numbers -- 8.2.2.2. Operators -- 8.2.2.3. Cell References -- 8.2.2.4...”

13 Table of Contents: “... Variables -- 8.3.1 Well-Formed Formula -- 8.3.2 Free and Bound Variables -- 8.4 Substitution Rule...”

14 Table of Contents: “... in this book -- Let me know what you think -- I. Getting started -- 1. Understanding desktop PCs -- What your...”

15 Table of Contents: “... and generalizing formulae in tableaux. Pruning the search space and building models -- A framework for using...”

16 Table of Contents: “... Galoistheorie -- From Class Groups to Class Fields -- A Gross-Zagier Formula for Function Fields -- Extremal...”