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 ...
Lee masFinite 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 ...
Lee mas
Finite-State Methods and Natural Language Processing
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods ...
Lee mas
Formal Approaches to Software Testing (vol. # 3395)
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
Lee mas
Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Lee mas
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 ...
Lee mas
Formal Models of Communicating Systems
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...
Lee mas
Foundations of Information and Knowledge Systems
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Lee mas
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, ...
Lee mas
From Geometry to Quantum Mechanics
This volume is composed of invited expository articles by well-known mathematicians in differential geometry and mathematical ...
Lee mas
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 ...
Lee mas
Functional and Operatorial Statistics
An increasing number of statistical problems and methods involve infinite-dimensional aspects. This is due to the progress ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Galois Theory
Classical Galois theory is a subject generally acknowledged to be one of the most central and beautiful areas in pure mathematics. ...
Lee mas
Galois Theory
Classical Galois theory is a subject generally acknowledged to be one of the most central and beautiful areas in pure mathematics. ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
