Electronic Books

Total Books: 4781 - 4800 /4920
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-78248-3
Valuation in Life Sciences

Valuation is a hot topic among life sciences professionals. There is no clear understanding on how to use the different valuation ...

Continue reading
978-3-540-45567-7
Valuation in Life Sciences

This book recognizes that there is no consent on how to apply valuation methodologies in life sciences. One of the complicating ...

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-981-19-5607-2
Vector Semantics / András Kornai

Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...

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
978-3-540-47813-3
Verification, Model Checking, and Abstract Interpretation

This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...

Continue reading
Total Books: 4781 - 4800 /4920