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