Account
Orders
Advanced search
The book is devoted to various constructions of sets which are nonmeasurable with respect to invariant (more generally, quasi-invariant) measures. Our starting point is the classical Vitali theorem stating the existence of subsets of the real line which are not...
The book is devoted to using of parallel multiprocessor computer systems for numerical simulation of the problems which can be described by the equations of continuum mechanics. Parallel algorithms and software, the problems of meta-computing are discussed in details,...
The book is intended for people (graduates, researchers, but also undergraduates with a good mathematical background) involved in the study of (static) optimization problems (in finite-dimensional spaces). It contains a lot of material, from basic tools of convex...
This is the unique book on cross-fertilisations between stream ciphers and number theory. It systematically and comprehensively covers known connections between the two areas that are available only in research papers. Some parts of this book consist of new research...
This latest collection of proceedings provides a state of the art review of research on inverse problems in engineering mechanics. Inverse problems can be found in many areas of engineering mechanics, and have many successful applications. They are concerned with...
This book is designed for the reader who wants to get a general view of the terminology of General Topology with minimal time and effort. The reader, whom we assume to have only a rudimentary knowledge of set theory, algebra and analysis, will be able to find what they...
Numerical Methods for Fluids, Part 3
Turbulence is one of the key issues in tackling engineering flow problems. As powerful computers and accurate numerical methods are now available for solving the flow equations, and since engineering applications nearly always involve turbulence effects, the reliability...
Stability of NonLinear Shells is a compilation of the author's work on analyzing the behaviour of spherical caps and related shell structures under various (axisymmetric) load systems. Differing from other texts on shells of revolution, it is one of the first attempts...
The geometry of power exponents includes the Newton polyhedron, normal cones of its faces, power and logarithmic transformations. On the basis of the geometry universal algorithms for simplifications of systems of nonlinear equations (algebraic, ordinary differential...
This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces,...
The book consists of a selection of the forms of the axiom of choice which appeared in the literature together with additional forms which were obtained in the process of writing the book. Forms which were either used often in practice, unusual, relatively unknown, or...
In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation...
Contributions to Non-Standard Analysis
Generalized Recursion Theory II
The Theory of Semisets
Logic Colloquium '77
Elementary Induction on Abstract Structures
Sentences Undecidable in Formalized Arithmetic
Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.
PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)
DRM Adobe LCP
LCP DRM Adobe
Sign up to get our latest ebook recommendations and special offers