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 ...
Weiterlesen
Uniform Output Regulation of Nonlinear Systems
This book is one of the first systematic studies on the nonlinear output regulation problem that embraces both the local ...
Weiterlesen
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 ...
Weiterlesen
Unifying Themes in Complex Systems, Vol. IIIA: Overview
This volume contains selected transcripts from presentations given at the conference. Speakers include: Chris Adami, Kenneth ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Uranus, Neptune, and Pluto and How to Observe Them
This book tells the story of two giants and a dwarf. The giants, Uranus and Neptune, are mostly huge balls of gas, and they ...
Weiterlesen
Urban Ecology : An International Perspective on the Interaction Between Humans and Nature
Urban Ecology is the study of ecosystems that include humans living in cities and urbanizing landscapes. This book presents ...
Weiterlesen
Urban Environmental Management and Technology
This book examines the importance of urban environmental management in the face of formidable challenges. It offers a comprehensive ...
Weiterlesen
Urban Informatics
This book is the first to systematically introduce the principles of urban informatics and its application to every aspect ...
Weiterlesen
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, ...
Weiterlesen
Urological Oncology
Urological Oncology provides a comprehensive overview of the multi-disciplinary management of adult genito-urinary (GU) cancers. ...
Weiterlesen
Usability of Speech Dialog Systems : Listening to the Target Audience
this book is based on the fact that it is the usersâ judgments that is the final measure regarding usability and acceptance ...
Weiterlesen
Use of Landscape Sciences for the Assessment of Environmental Security
This book examines environmental security from the perspective of landscape sciences, identifying the forces that threaten ...
Weiterlesen
User Experience Design: A Practical Playbook to Fuel Business Growth / Satyam Kantamneni
In User Experience Design: A Practical Playbook to Fuel Business Growth, UXReactor co-Founder Satyam Kantamneni distills ...
Weiterlesen
User Modeling 2005
The book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...
Weiterlesen
User Modeling 2007
This book constitutes the refereed proceedings of the 11th International Conference on User Modeling, UM 2007, held in Corfu, ...
Weiterlesen
VLSI-SOC: From Systems to Chips
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
