“The-computer-as-we-know-it” will have no role in our future everyday lives. This is the position taken in this book ...
Lee mas
“The-computer-as-we-know-it” will have no role in our future everyday lives. This is the position taken in this book ...
Lee mas
This book illuminates and sharpens moral theory, by analyzing the evolutionary dynamics of interpersonal relations in a variety ...
Lee mas
"Sense of Touch and its Rendering" presents a unique and interdisciplinary approach highlighting the field of haptic research ...
Lee mas
International Colloquium on Theoretical Aspects of Computing. ICTAC was founded by the International Institute for Software ...
Lee mas
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
Lee mas
The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Lee mas
Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Lee mas
3DTV require the integration of a diversity of key technologies from computing to graphics, imaging to display, and signal ...
Lee mas
Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, ...
Lee mas
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Lee mas
This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...
Lee mas
This volume, the fourth in the Transactions on Aspect-Oriented Software Development series, presents 5 revised papers together ...
Lee mas
This, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...
Lee mas
This book subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, ...
Lee mas
Transseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation ...
Lee mas
Underdetermination. An Essay on Evidence and the Limits of Natural Knowledge is a wide-ranging study of the thesis that scientific ...
Lee mas
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Lee mas
This volume explores how UN peace operations are adapting to four trends in the changing global order: the rebalancing of ...
Lee mas
This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human-Computer ...
Lee mas