Electronic Books

Total Books: 381 - 400 /411

The Disappearing Computer

“The-computer-as-we-know-it” will have no role in our future everyday lives. This is the position taken in this book ...

The Disappearing Computer

“The-computer-as-we-know-it” will have no role in our future everyday lives. This is the position taken in this book ...

The Moral Wager

This book illuminates and sharpens moral theory, by analyzing the evolutionary dynamics of interpersonal relations in a variety ...

The Sense of Touch and its Rendering : Progress in Haptics Research

"Sense of Touch and its Rendering" presents a unique and interdisciplinary approach highlighting the field of haptic research ...

Theoretical Aspects of Computing - ICTAC 2005

International Colloquium on Theoretical Aspects of Computing. ICTAC was founded by the International Institute for Software ...

Theoretical Aspects of Computing - ICTAC 2006

This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...

Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...

Theoretical Aspects of Computing – ICTAC 2007

Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...

Three-Dimensional Television : Capture, Transmission, Display

3DTV require the integration of a diversity of key technologies from computing to graphics, imaging to display, and signal ...

Tools and Algorithms for the Construction and Analysis of Systems

Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, ...

Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...

Transactions on Aspect-Oriented Software Development II

This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...

Transactions on Aspect-Oriented Software Development IV

This volume, the fourth in the Transactions on Aspect-Oriented Software Development series, presents 5 revised papers together ...

Transactions on Computational Science XXXVII

This, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...

Transactions on Edutainment I

This book subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, ...

Transseries and Real Differential Algebra

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

Underdetermination : An Essay on Evidence and the Limits of Natural Knowledge

Underdetermination. An Essay on Evidence and the Limits of Natural Knowledge is a wide-ranging study of the thesis that scientific ...

Unifying Theories of Programming

A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...

United Nations Peace Operations in a Changing Global Order

This volume explores how UN peace operations are adapting to four trends in the changing global order: the rebalancing of ...

Universal Acess in Human Computer Interaction. Coping with Diversity

This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human-Computer ...

Total Books: 381 - 400 /411