1 Table of Contents: “...; Chapter 1. Input-driven Languages are recognized in log n space; Chapter 2. Constructive mathematics as a...”

2 “...Driven by the question, 'What is the computational content of a (formal) proof?', this book studies...”

3 Table of Contents: “... Control -- 4 Data-Driven Construction of Transparent Fuzzy Models -- II Design and Analysis Issues -- 5...”

4 “...This book develops a view of logic as a theory of information-driven agency and intelligent...”

5 Table of Contents: “... in Intelligent Data Analysis -- 7 Data-Driven Identification of Key Variables -- 8 Applications of Intelligent...”

6 Table of Contents: “... on Timed Concurrent Constraint Programming -- Petri Nets and Manufacturing Systems: An Examples-Driven Tour...”

7 “... of the landmarks in the theory of operators on Hilbert spaces. The exposition is concept-driven and as much...”

8 Table of Contents: “... in the Optimization of Networks -- 9 Solving Differential Equations by Event- Driven Techniques for Parameter...”

9 Table of Contents: “... Solver -- Using Problem Structure for Efficient Clause Learning -- Abstraction-Driven SAT-based Analysis...”

10 Table of Contents: “... -- Composition of Relations in Enterprise Architecture Models -- Event-Driven Grammars: Towards the Integration...”

11 “... and data-driven approaches. This volume consists of four parts. Part 1 is an Introduction, providing...”

12 “.... But he was first a researcher, driven by his desire to know and explain the inner workings...”

13 Table of Contents: “...Diffusive Phenomena in Dynamic Networks: A Data-driven Study -- Fractal Analyses of Networks...”

14 Table of Contents: “...Invited Papers -- Interactive Robust Multiobjective Optimization Driven by Decision Rule Preference...”

15 Table of Contents: “... in OMG’s Model-Driven Architecture -- Computing Reading Trees for Constraint Diagrams -- UML Interaction...”

16 Table of Contents: “... -- Synthesizing processes and schedulers from temporal specifications -- Task-driven supervisory control...”

17 “... was also driven by numerous journal articles, which are impossible to list here...”

18 Table of Contents: “... -- Knowledge-Driven Discovery of Operational Definitions -- A Closest Fit Approach to Missing Attribute Values...”