1 Table of Contents: “.... Mapping Expressions to Input Ports -- 21. The New Character Set -- 22. Identifier Generalization -- 23...”

2 Table of Contents: “... -- 2.1 Built-in Data Types -- 2.2 Fixed-Size Arrays -- 2.3 Dynamic Arrays -- 2.4 Queues -- 2.5...”

3 Table of Contents: “... based integer numbers -- 20. Signed functions -- 21. Sign conversion system functions -- 22. Arithmetic...”

4 Table of Contents: “... in Speaker Verification -- Language–Independent Speaker Classification over a Far–Field Microphone -- A...”

5 Table of Contents: “...: Major Components of an Engineering Framework -- 2.1 Overview -- 2.2 Operating System Services -- 2.3...”

6 Table of Contents: “...4.3.4 Assembler Language: Call and Unconditional Branch4.3.5 Assembler Language: Decisions...”

7 Table of Contents: “... Introduction -- 2.2 VHDL Example- Bar-Code Preprocessor -- 2.3 VHDL Hardware Description Language -- 2.4...”

8 Table of Contents: “... of Race Analysis -- 9.1 Stable-State Reachability -- 9.2 Limited Reachability -- 10 Regular Languages...”

9 Table of Contents: “... -- Historical Notes for Chapter 11 -- Exercises for Chapter 11 -- 12 Putting It Together -- 12.1 On Languages...”

10 Table of Contents: “...: Implementation of Methodology -- 2. A System-Level Performance Model and Method -- 2.1. Introduction -- 2.2...”

11 Table of Contents: “... in the Critical Infrastructure Area Review -- 17. Challenges for the Energy Sector in the Light of Climate Change...”

12 Table of Contents: “... assert_win_change -- A.7.2 assert_win_unchange -- A.8 Checking time bounded windows -- A.8.1 assert_change -- A.8.2...”

13 Table of Contents: “... Device Fundamentals -- 2.1 Fundamentals of VLSI Device Improvements -- 2.2 Problem Areas for VLSIC’s...”

14 Table of Contents: “... Device Fundamentals -- 2.1 Fundamentals of VLSI Device Improvements -- 2.2 Problem Areas for VLSIC’s...”

15 Table of Contents: “... Tomographic Foundation for Spotlight-Mode Sar Imaging -- 2.1 The Cross-Range Resolution Problem -- 2.2...”

16 Table of Contents: “... Performance Analysis of High Level MapReduce Query Languages in Big Data -- Chapter 59. Variance Based...”

17 Table of Contents: “... to Support 4D Printing? -- 2.1. Introduction -- 2.2. A survey for the general public -- 2.2.1. The survey...”

18 Table of Contents: “... Algorithm -- Chapter 22. Comparing Various Classifier Techniques for Efficient Mining of Data -- Chapter 23...”

19 Table of Contents: “... Configuration -- 2: Primitive Elements 1+1 ?2 -- 2.1 Scalars and Array Literals -- 2.2 Names (Identifiers...”