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