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 ...
Continue reading
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 ...
Continue reading
The Moral Wager
This book illuminates and sharpens moral theory, by analyzing the evolutionary dynamics of interpersonal relations in a variety ...
Continue reading
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 ...
Continue reading
Theoretical Aspects of Computing - ICTAC 2005
International Colloquium on Theoretical Aspects of Computing. ICTAC was founded by the International Institute for Software ...
Continue reading
Theoretical Aspects of Computing - ICTAC 2006
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
Continue reading
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 ...
Continue reading
Theoretical Aspects of Computing – ICTAC 2007
Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Transactions on Edutainment I
This book subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, ...
Continue reading
Transseries and Real Differential Algebra
Transseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation ...
Continue reading
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 ...
Continue reading
Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
