Electronic Books

Total Books: 3801 - 3820 /3928
978-3-8351-9232-4
User Interfaces for Wearable Computers : Development and Evaluation

It examines user interfaces for wearable computers and analyses the challenges imposed by the wearable computing paradigm ...

Continue reading
978-3-540-31878-1
User Modeling 2005

The book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...

Continue reading
978-3-540-73078-1
User Modeling 2007

This book constitutes the refereed proceedings of the 11th International Conference on User Modeling, UM 2007, held in Corfu, ...

Continue reading
978-3-540-76649-0
Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry

Matousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...

Continue reading
978-0-387-33403-5
VLSI-SOC: From Systems to Chips

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Continue reading
978-0-387-74909-9
VLSI-SoC: Research Trends in VLSI and Systems on Chip : Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2006), October 16-18, 2006, Nice, France

The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...

Continue reading
978-3-540-32760-8
VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search

This monograph presents a complete computational system for visual attention and object detection: VOCUS (Visual Object detection ...

Continue reading
978-3-030-05819-7
VR Technologies in Cultural Heritage

Tthis volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors ...

Continue reading
978-1-84628-107-5
Validated Designs for Object-oriented Systems

This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic ...

Continue reading
978-3-540-29263-0
Value-Based Software Engineering

VBSE extends the merely technical ISO software engineering definition with elements not only from economics, but also from ...

Continue reading
978-1-84800-017-9
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

Continue reading
978-3-030-42152-6
Variable Domain-specific Software Languages with DjDSL

This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...

Continue reading
978-1-84628-959-0
Variable-length Codes for Data Compression

Most data compression methods that are based on variable-length codes employ the Huffman or Golomb codes. However, there ...

Continue reading
978-3-540-32109-5
Variational, Geometric, and Level Set Methods in Computer Vision

Mathematical methods has been a dominant research path in computational vision leading to a number of areas like ?ltering, ...

Continue reading
978-3-540-45386-4
Variations on Constants

This monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and ...

Continue reading
978-1-84628-804-3
Vector Analysis for Computer Graphics

Vector Analysis for Computer Graphics provides a complete introduction to vector analysis, especially within the context ...

Continue reading
978-1-4471-7505-6
Vector Analysis for Computer Graphics

The book is divided into eleven chapters covering the history of vector analysis, linear equations, vector algebra, vector ...

Continue reading
978-3-540-76442-7
Verbal and Nonverbal Communication Behaviours

This volume brings together the invited papers and selected participants’ contributions presented at the COST 2102 International ...

Continue reading
978-3-540-70872-8
Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction : COST Action 2102 International Conference, Patras, Greece, October 29-31, 2007. Revised Papers

This book is organized in topical sections on static and dynamic processing of faces, facial expressions and gaze as well ...

Continue reading
978-3-540-69061-0
Verification of Object-Oriented Software. The KeY Approach

features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...

Continue reading
Total Books: 3801 - 3820 /3928