Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
-
Economics and Computation: An Introduction to Algorithmic Game Theory, Computational Social Choice, and Fair Division (Bog, Hardback, Engelsk)
This textbook connects three vibrant areas at the interface between economics and computer science: algorithmic game theory, computational social choice, and fair division.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Quantenkommunikationsnetze (Bog, Hardback, Tysk)
Die Autoren erörtern aktuelle Paradigmenwechsel in Kommunikationsnetzen, die erforderlich sind, um die einfachen Transportkonzepte der vorherrschenden Netze um Rechen- und Speicherfunktionen zu ergänzen.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer-supported Calculus (Bog, Hardback, Engelsk)
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
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Algebra in Scientific Computing: CASC '01 (Bog, Hardback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Introduction to Shape Optimization: Shape Sensitivity Analysis (Bog, Hardback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic of Computation (Bog, Hardback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Aspekte des Unendlichen: Eine kleine Erzahlung fur Nichtmathematiker (Bog, Hardback, Tysk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Quaternions for Computer Graphics (Bog, Hardback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Partial Differential Equations for Geometric Design (Bog, Hardback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Logic and Set Theory: Applying Formalized Logic to Analysis (Bog, Hardback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Guide to Geometric Algebra in Practice (Bog, Hardback, Engelsk)
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
Levering: Skaffevare (forvent 14 - 30 hverdage)
