Springer Netherlands

Supermanifolds and Supergroups explains the basic ingredients of super manifolds and super Lie groups. It starts with super linear algebra and follows with a treatment of super smooth functions and the basic definition of a super...

106,99 € *

Formal Methods for Embedded Distributed Systems

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the...

106,99 € *

NEU

Fred Hoyle's Universe

This volume contains papers presented at an international conference to celebrate Fred Hoyle's monumental contributions to astronomy, astrophysics and astrobiology and more generally to humanity and culture. The contributed articles...

160,49 € *

NEU

Semi-Riemannian Maps and Their Applications

A major flaw in semi-Riemannian geometry is a shortage of suitable types of maps between semi-Riemannian manifolds that will compare their geometric properties. Here, a class of such maps called semi-Riemannian maps is introduced. The...

106,99 € *

NEU

Machine Learning and Statistical Modeling...

In the early 1990s, the establishment of the Internet brought forth a revolutionary viewpoint of information storage, distribution, and processing: the World Wide Web is becoming an enormous and expanding distributed digital library....

106,99 € *

NEU

Mechanical Geometry Theorem Proving

Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one day, that they can't see the problem. perhaps you will find the final question. G. K. Chesterton. The Scandal...

106,99 € *

NEU

The Steiner Ratio

Steiner's Problem concerns finding a shortest interconnecting network for a finite set of points in a metric space. A solution must be a tree, which is called a Steiner Minimal Tree (SMT), and may contain vertices different from the...

106,99 € *

Digital Soil Mapping with Limited Data

Signi?cant technological advances have been few and far between in the past approximately one hundred years of soil survey activities. Perhaps one of the most innovative techniques in the history of soil survey was the introduction of...

160,49 € *

NEU

Dynamic Worlds

Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc. In reality any such system has to cope with a...

106,99 € *

ECSCW 2001

Schmidt and Bannon (1992) introduced the concept of common information space by contrasting it with technical conceptions of shared information: Cooperative work is not facilitated simply by the provisioning of a shared database, but...

106,99 € *

NEU

Elements of the Mathematical Theory of...

1. Periodic and quasi-periodic functions.- 1.1. The function spaces $$C^r left( {mathcal{T}_m } right)$$and $$H^r left( {mathcal{T}_m } right)$$.- 1.2. Structure of the spaces $$H^r left( {mathcal{T}_m } right)$$. Sobolev theorems.- 1.3....

53,49 € *

Optics in Astrophysics

Astrophysics is facing challenging aims such as deep cosmology at redshift higher than 10 to constrain cosmology models, or the detection of exoplanets, and possibly terrestrial exoplanets, and several others. It requires unprecedented...

213,99 € *

Produkte von Springer Netherlands