“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 ...
اقرأ المزيد