Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Meet the Kinect introduces the exciting world of volumetric computing using the Microsoft Kinect.
Bemærk: Kan ikke leveres før jul.
Beginning Kinect Programming with the Microsoft Kinect SDK gets you up and running developing Kinect applications for your PC using Microsoft tools and the official SDK.
Bemærk: Kan ikke leveres før jul.
Providing insight into methodologies for designing adaptive systems based on semantic data, and introducing semantic models that can be used for building interactive systems, this book showcases applications made possible by the use of semantic models.
Bemærk: Kan ikke leveres før jul.
This volume highlights the concerns of all - students, teachers, parents, policy makers and the general public.Major themes... Læs mere
Bemærk: Kan ikke leveres før jul.
In addition, as the first Women, Work and Computerization conference of the new millennium, we hoped to encourage the broad community of... Læs mere
Bemærk: Kan ikke leveres før jul.
Towards the Internet of Services: The THESEUS Program
Bemærk: Kan ikke leveres før jul.
This book critically reflects on current statistical methods used in Human-Computer Interaction (HCI) and introduces a number of novel methods to the reader.
Bemærk: Kan ikke leveres før jul.
The book concludes by bringing together the cross-disciplinary perspectives presented in each chapter and... Læs mere
Bemærk: Kan ikke leveres før jul.
Byproviding researchers and professionals with a timely snapshot of emergingmobile communication systems, and highlighting the main pitfalls and... Læs mere