Electronic Books

Total Books: 4081 - 4100 /4224

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 ...

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 ...

VR Technologies in Cultural Heritage

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

Vacation Queueing Models

A classical queueing model consists of three parts - arrival process, service process, and queue discipline. However, a vacation ...

Validation in Chemical Measurement

Validationofmeasurementmethodshasbeenusedforavery ciated measurement uncertainty? The answer must be: no. longtimeinchemistry. ...

Value and the Humanities The Neoliberal University and Our Victorian Inheritance

Tracing the shift from liberal to neoliberal education from the nineteenth century to the present day, this open access book ...

Valued Fields

In this book, the theory of valuations as well as of Henselizations is developed. The presentation is based on the knowledge ...

Values Education and Lifelong Learning

The aim of this book is to provide an easily accessible, practical yet scholarly source of information about the international ...

Values and Valuing in Mathematics Education

This engaging book discusses how a values and valuing perspective can facilitate a more effective mathematics pedagogical ...

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 ...

Variant Construction from Theoretical Foundation to Applications

This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...

Variations on Constants

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

Vavilov-Cherenkov and Synchrotron Radiation

The book having nine chapters reviews fundamental physical and mathematical problems of the Vavilov-Cherenkov effect of media. ...

Verification Methodology Manual for SystemVerilog

Verification Methodology Manual for SystemVerilog is a blueprint for verification success, guiding SoC teams in building ...

Verification of Object-Oriented Software. The KeY Approach

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

Verification, Model Checking, and Abstract Interpretation

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

Verification, Model Checking, and Abstract Interpretation

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

Verification, Model Checking, and Abstract Interpretation (vol. # 3385)

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

Verification, Model Checking, and Abstract Interpretation (vol. # 3855)

This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

The book feature current research from the communities of verification, program certification, model checking, debugging ...

Total Books: 4081 - 4100 /4224