الكتب الالكترونية

عدد الكتب: 381 - 400 /411
978-3-540-72727-9
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 ...

اقرأ المزيد
978-3-540-72727-9
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 ...

اقرأ المزيد
978-1-4020-5855-4
The Moral Wager

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

اقرأ المزيد
978-3-540-79035-8
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 ...

اقرأ المزيد
978-3-540-32072-2
Theoretical Aspects of Computing - ICTAC 2005

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

اقرأ المزيد
978-3-540-48816-3
Theoretical Aspects of Computing - ICTAC 2006

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

اقرأ المزيد
978-3-540-85762-4
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 ...

اقرأ المزيد
978-3-540-75292-9
Theoretical Aspects of Computing – ICTAC 2007

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

اقرأ المزيد
978-3-540-72532-9
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 ...

اقرأ المزيد
978-3-540-71209-1
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, ...

اقرأ المزيد
978-3-540-78800-3
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 ...

اقرأ المزيد
978-3-540-48891-0
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, ...

اقرأ المزيد
978-3-540-77042-8
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 ...

اقرأ المزيد
978-3-662-61983-4
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 ...

اقرأ المزيد
978-3-540-69744-2
Transactions on Edutainment I

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

اقرأ المزيد
978-3-540-35591-5
Transseries and Real Differential Algebra

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

اقرأ المزيد
978-1-4020-6899-7
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 ...

اقرأ المزيد
978-3-540-34752-1
Unifying Theories of Programming

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

اقرأ المزيد
978-3-319-99106-1
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 ...

اقرأ المزيد
978-3-540-73279-2
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 ...

اقرأ المزيد
عدد الكتب: 381 - 400 /411