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 ...
اقرأ المزيد
