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