for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Das Symbolische Rechnen zur Losung mathematischer Probleme erlebt einen neuen Aufschwung durch den Einsatz speziell dafur entwikckelter Softwaresysteme. Nach dem Erfolg von... Læs mere
Bemærk: Kan ikke leveres før jul.
This monograph attempts to unify different mathematical approaches and to lead the reader from fundamental results in matroid theory to the current state-of-the-art in open research problems.... Læs mere
Bemærk: Kan ikke leveres før jul.
This text covers various topics of computer algebra methods, algorithms and software applied to scientific computing. An important topic presented in the book is the application of computer algebra methods to the development of new efficient analytic and numerical solvers.
Bemærk: Kan ikke leveres før jul.
This text presents modern functional analysis methods for the sensitivity analysis of some infinite-dimensional systems governed by partial differential equations. Among the problems treated are the Signorini problem, the elastic-plastic torsion problem and more.
Bemærk: Kan ikke leveres før jul.
The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement for anyone, but Hamilton also invented quaternions, which paved the way for modern vector analysis.
Bemærk: Kan ikke leveres før jul.
The subject of Partial Differential Equations (PDEs) which first emerged in the 18th century holds an exciting and special position in the applications relating to the mathematical modelling of physical phenomena.
Bemærk: Kan ikke leveres før jul.
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
Bemærk: Kan ikke leveres før jul.
This highly practical Guide to Geometric Algebra in Practice reviews algebraic techniques for geometrical problems in computer science and engineering, and the... Læs mere
Bemærk: Kan ikke leveres før jul.
Text Mining with MATLAB provides a comprehensive introduction to text mining using MATLAB. It’s designed to help text mining practitioners, as well as those with little-to-no experience with text mining in general, familiarize themselves with MATLAB and its complex applications.
Bemærk: Kan ikke leveres før jul.
This book provides readers with modern computational techniques for solving variety of problems from electrical, mechanical, civil and chemical engineering.