Electronic Books

Total Books: 121 - 140 /281

Finite Zeros in Discrete Time Control Systems

The book starts with definition of invariant zeros and goes as far as a general characterization of output-zeroing inputs ...

Finite element analysis in geotechnical engineering: Volume One - Theory

Provides the reader with a detailed insight into the use of the finite element method in geotechnical engineering. As specialist ...

Finite-State Methods and Natural Language Processing

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods ...

Formal Approaches to Software Testing (vol. # 3395)

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...

Formal Approaches to Software Testing (vol. # 3997)

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...

Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

Formal Models of Communicating Systems

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...

Foundations of Information and Knowledge Systems

This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...

Frames and Bases : An Introductory Course

During the last several years, frames have become increasingly popular; they have appeared in a large number of applications, ...

From Geometry to Quantum Mechanics

This volume is composed of invited expository articles by well-known mathematicians in differential geometry and mathematical ...

Functional Equations and How to Solve Them

This book covers topics in the theory and practice of functional equations. Special emphasis is given to methods for solving ...

Functional and Operatorial Statistics

An increasing number of statistical problems and methods involve infinite-dimensional aspects. This is due to the progress ...

Fundamentals of Structural Dynamics: Theory and Computation / Mario Paz, Young Hoon Kim

A comprehensive text in the field. It presents modern methods of analysis and techniques adaptable to computer programming ...

Fundamentals of Structural Mechanics

With the advent of the finite element method, our ability to compute has surpassed our ability to formulate theory. As a ...

Galerkin Finite Element Methods for Parabolic Problems

This book provides insight in the mathematics of Galerkin finite element method as applied to parabolic equations. The approach ...

Galerkin Finite Element Methods for Parabolic Problems

This book provides insight in the mathematics of Galerkin finite element method as applied to parabolic equations. The approach ...

Galois Theory

Classical Galois theory is a subject generally acknowledged to be one of the most central and beautiful areas in pure mathematics. ...

Galois Theory

Classical Galois theory is a subject generally acknowledged to be one of the most central and beautiful areas in pure mathematics. ...

Generative and Transformational Techniques in Software Engineering II: International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers

This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative ...

Grammatical Inference: Algorithms and Applications : 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings

This book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held ...

Total Books: 121 - 140 /281