Electronic Books

Total Books: 7801 - 7820 /8049

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

This engaging book discusses how a values and valuing perspective can facilitate a more effective mathematics pedagogical ...

This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...

Most data compression methods that are based on variable-length codes employ the Huffman or Golomb codes. However, there ...

This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...

The study of shape optimization problems encompasses a wide spectrum of academic research with numerous applications to the ...

The variational method is a powerful tool to investigate states and processes in technical devices, nature, living organisms, ...

Mathematical methods has been a dominant research path in computational vision leading to a number of areas like ?ltering, ...

This monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and ...

Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics ...

Endovascular embolization therapy has made remarkable progress during the past two decades, driven primarily by improvements ...

Endovascular embolization therapy has made remarkable progress during the past two decades, driven primarily by improvements ...

Vascular Mechanics and Pathology focuses on the artery and arterial diseases. As the fundamental functions of the artery ...

Vector Analysis for Computer Graphics provides a complete introduction to vector analysis, especially within the context ...

The book is divided into eleven chapters covering the history of vector analysis, linear equations, vector algebra, vector ...

This monograph covers the area of vector control of three-phase AC machines, in particular induction motors with squirrel-cage ...

Vector optimization model has found many important applications in decision making problems such as those in economics theory, ...

Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...

The production and consumption of vegetables has expanded dramatically in the last years, with a global growth in the production ...

The production and consumption of vegetables has expanded dramatically in the last years, with a global growth in the production ...

Total Books: 7801 - 7820 /8049