Bemærk: Kan ikke leveres før jul.
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language.
Bemærk: Kan ikke leveres før jul.
This book offers an in-depth presentation of the finite element method, aimed at engineers, students and researchers in applied sciences. The description of the method is... Læs mere
Bemærk: Kan ikke leveres før jul.
The aim of this book is to relate fluid flows to chemical reactions. It focuses on the establishment of consistent systems of equations with their boundary conditions and... Læs mere
Bemærk: Kan ikke leveres før jul.
The objective of this book is to provide those interested in the field of flexible robotics with an overview of several scientific and technological advances in the practical field of robotic manipulation.
Bemærk: Kan ikke leveres før jul.
Flows with chemical reactions can occur in various fields such as combustion, process engineering, aeronautics, the atmospheric environment and aquatics.
Bemærk: Kan ikke leveres før jul.
This book contains mathematical preliminaries in which basic definitions of fractional derivatives and spaces are... Læs mere
Bemærk: Kan ikke leveres før jul.
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc.
Bemærk: Kan ikke leveres før jul.
Communicating by speech is seemingly one of the most natural activities for humans. However, despite its apparent obviousness and ease, speech production... Læs mere
Bemærk: Kan ikke leveres før jul.
The finite element method (FEM) has become the main instrument for simulating manufacturing processes, owing to the fact that it can replace experimental approaches to the study of manufacturing processes in many cases.
Bemærk: Kan ikke leveres før jul.
This book presents recent advances related to the following two topics: - how mechanical fields close to material or geometrical singularities such as cracks can be... Læs mere
Bemærk: Kan ikke leveres før jul.
In the last decade the development and control of Unmanned Aerial Vehicles (UAVs) has attracted a lot of interest. Both researchers and companies have a growing interest in... Læs mere
Bemærk: Kan ikke leveres før jul.
Our daily universe is rough and infinitely diverse. The fractal approach clarifies and orders these disparities. It helps us to envisage new explanations of geographical phenomena, which are, however, considered as definitely understood.