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 ...
Lee mas
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 ...
Lee mas
Unifying Themes in Complex Systems, Vol. IIIA: Overview
This volume contains selected transcripts from presentations given at the conference. Speakers include: Chris Adami, Kenneth ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Urban Informatics
This book is the first to systematically introduce the principles of urban informatics and its application to every aspect ...
Lee mas
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, ...
Lee mas
User Modeling 2005
The book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...
Lee mas
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 ...
Lee mas
VR Technologies in Cultural Heritage
Tthis volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors ...
Lee masVaccine 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 ...
Lee masVaccine 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 ...
Lee masVaccine 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 ...
Lee mas
Vacuum Electronics : Components and Devices
Nineteen experts from the electronics industry, research institutes and universities have joined forces to prepare this book. ...
Lee mas
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. ...
Lee masValue 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. ...
Lee mas
Variant Construction from Theoretical Foundation to Applications
This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
