Electronic Books

Total Books: 681 - 700 /707

Topological and Bivariant K-theory

Topological K-theory is one of the most important invariants for noncommutative algebras equipped with a suitable topology ...

Towards Mechanized Mathematical Assistants

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...

Transactions on Computational Science II

Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...

Transactions on Petri Nets and Other Models of Concurrency I

It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...

Transformations and Projections in Computer Graphics

Transformations and projections are used extensively in Computer Graphics, a field which is now a part of everyone’s lives ...

Transseries and Real Differential Algebra

Transseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation ...

Tropical Algebraic Geometry

Tropical geometry is algebraic geometry over the semifield of tropical numbers, i.e., the real numbers and negative infinity ...

Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers

This edited volume presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: ...

Two Cultures

Editor Kim Williams has assembled a group of notes where scholars contribute essays inspired by their contact with Prof David ...

Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

Un invito allAlgebra

The book offers a basic course in algebra for university students, structured according to the new regulations. Themes such ...

Unconstrained Face Recognition

This volume provides a comprehensive view of unconstrained face recognition, especially face recognition from multiple still ...

Undergraduate Algebra

Undergraduate Algebra is a text for the standard undergraduate algebra course. It concentrates on the basic structures and ...

Understanding and Using Linear Programming

This is an introductory textbook of linear programming, written mainly for students of computer science and mathematics. ...

Unitals in Projective Planes

This clearly written text is the first book on unitals embedded in finite projective planes. Unitals are key structures in ...

Universal Algebra

Universal Algebra, heralded as ". . . the standard reference in a field notorious for the lack of standardization . . .," ...

Using Algebraic Geometry

In recent years, the discovery of new algorithms for dealing with polynomial equations, coupled with their implementation ...

Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry

Matousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...

Valued Fields

In this book, the theory of valuations as well as of Henselizations is developed. The presentation is based on the knowledge ...

Variations on Constants

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

Total Books: 681 - 700 /707