Electronic Books

Total Books: 2581 - 2600 /2678

Unfoldings : A Partial-Order Approach to Model Checking

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...

Unifying Themes in Complex Systems IV : Proceedings of the Fourth International Conference on Complex Systems

In June of 2002, over 500 professors, students and researchers met in Boston, Massachusetts for the Fourth International ...

Unifying Themes in Complex Systems, Vol. IIIA: Overview

This volume contains selected transcripts from presentations given at the conference. Speakers include: Chris Adami, Kenneth ...

Unifying Themes in Complex Systems, Vol. IIIB: New Research

This volume contains over 35 papers selected from those presented at the conference on topics including: self-organization ...

Universal Access in Human-Computer Interaction. Applications and Services

This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human Computer ...

Urban Informatics

This book is the first to systematically introduce the principles of urban informatics and its application to every aspect ...

Urban and Community Forestry in the Northeast

This book serves as a textbook for Urban/Community Forestry courses and a handbook for Shade Tree Commissions, tree wardens, ...

User Modeling 2005

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

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

Vaccine Design : Methods and Protocols ; Vol. 3 : Resources for Vaccine Development / Sunil Thomas

Provides a practical guide providing step-by-step methods and protocols on vaccine development and production. Divided into ...

Vaccine Design : Methods and Protocols, Volume 1. : Vaccines for Human Diseases / Sunil Thomas

Guides readers through an introductory section on future challenges for vaccinologists and the immunological mechanism of ...

Vaccine Design : Methods and Protocols, Volume 2. : Vaccines for Veterinary Diseases / Sunil Thomas

Guides readers through veterinary vaccines, vaccines for poultry, vaccines for farm animals, and vaccines for veterinary ...

Vacuum Electronics : Components and Devices

Nineteen experts from the electronics industry, research institutes and universities have joined forces to prepare this book. ...

Value Chain Management in the Chemical Industry

Supply chain management helped companies to manage volumes, fulfil customer demand and optimize costs in production and distribution. ...

Value Driven Product Planning and Systems Engineering

Engineers and scientists often need to sell an innovative idea for a new product or a new product improvement to top management. ...

Variant Construction from Theoretical Foundation to Applications

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

Variational Analysis and Generalized Differentiation II

This monographs contains a comprehensive and and state-of-the art study of the basic concepts and principles of variational ...

Variational Methods : Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems

The book gives a concise introduction to variational methods and presents an overview of areas of current research in the ...

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

Total Books: 2581 - 2600 /2678