Electronic Books

Total Books: 181 - 200 /257
Punctured Torus Groups and 2-Bridge Knot Groups (I)

This monograph is Part 1 of a book project intended to give a full account of Jorgensen's theory of punctured torus Kleinian ...

Lire la suite
Putnam and Beyond

Putnam and Beyond takes the reader on a journey through the world of college mathematics, focusing on some of the most important ...

Lire la suite
Quantitative Measure for Discrete Event Supervisory Control

Summarizes fundamental materials in supervisory decision and control before integrating new method to quantitatively measure ...

Lire la suite
Raisonnements divins

This work brings together some mathematical demonstrations chosen for their elegance. It exposes brilliant ideas, unexpected ...

Lire la suite
Raisonnements divins

This work brings together some mathematical demonstrations chosen for their elegance. It exposes brilliant ideas, unexpected ...

Lire la suite
Ramanujans Lost Notebook

This volume is the first of approximately four volumes devoted to providing statements, proofs, and discussions of all the ...

Lire la suite
Ramsey Methods in Analysis

This book introduces graduate students and resarchers to the study of the geometry of Banach spaces using combinatorial methods. ...

Lire la suite
Rational, Robust, and Secure Negotiations in Multi-Agent Systems

This book addresses all aspects of negotiation mechanisms in multi-agent systems, including Multi-Issue Negotiations, Concurrent ...

Lire la suite
NoIMG
Re-engineering the Uptake of ICT in Schools

This book reports on a novel and comprehensive approach to the uptake of ICT in Schools. It focuses on key questions, pedagogically ...

Lire la suite
Regenerative and Cell Therapy

This book gives an updated review of the state of the art in regenerative cell therapy in the fields of cardiology, hematology, ...

Lire la suite
Relations and Kleene Algebra in Computer Science

This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...

Lire la suite
Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers

The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...

Lire la suite
Representation Theory and Complex Analysis : Lectures given at the C.I.M.E. Summer School held in Venice, Italy June 10–17, 2004

Six leading experts lecture on a wide spectrum of recent results on the subject of the title, providing both a solid reference ...

Lire la suite
Resorcinol

Resorcinol chemistry has been providing valuable properties and products in the development of advanced technologies in the ...

Lire la suite
Rewriting, Computation and Proof

This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...

Lire la suite
SAT-Based Scalable Formal Verification Solutions

SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...

Lire la suite
Semantics with Applications: An Appetizer

Semantics will have an important role to play in the future development of software systems and domain specific languages, ...

Lire la suite
Sets, Logic and Maths for Computing

The tools for developing these skills are in part qualitative – concepts such as set, relation, function, and structures ...

Lire la suite
Shock Wave Interactions in General Relativity

This monograph presents a self contained mathematical treatment of the initial value problem for shock wave solutions of ...

Lire la suite
Simplicial Complexes of Graphs

A graph complex is a finite family of graphs closed under deletion of edges. Graph complexes show up naturally in many different ...

Lire la suite
Total Books: 181 - 200 /257