Addressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development ...
WeiterlesenTesting often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
WeiterlesenThis book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
WeiterlesenThis book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
WeiterlesenThis book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...
WeiterlesenIn this second edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the original book ...
WeiterlesenThe book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The main ...
WeiterlesenThe book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The main ...
WeiterlesenThis book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
WeiterlesenIn this book the author studies Fourier transforms using Deligne-Lusztig induction and the Lie algebra version of Lusztig’s ...
WeiterlesenDuring the last several years, frames have become increasingly popular; they have appeared in a large number of applications, ...
WeiterlesenThis volume is composed of invited expository articles by well-known mathematicians in differential geometry and mathematical ...
WeiterlesenFunctions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose ...
WeiterlesenFunctions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose ...
WeiterlesenThis book covers topics in the theory and practice of functional equations. Special emphasis is given to methods for solving ...
WeiterlesenAn increasing number of statistical problems and methods involve infinite-dimensional aspects. This is due to the progress ...
WeiterlesenA comprehensive text in the field. It presents modern methods of analysis and techniques adaptable to computer programming ...
WeiterlesenWith the advent of the finite element method, our ability to compute has surpassed our ability to formulate theory. As a ...
WeiterlesenPresents the material from the general (theory and fundamentals) to the particular (specific applications). Emphasizes the ...
WeiterlesenThis book provides insight in the mathematics of Galerkin finite element method as applied to parabolic equations. The approach ...
Weiterlesen