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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Urban Environmental Management and Technology
This book examines the importance of urban environmental management in the face of formidable challenges. It offers a comprehensive ...
اقرأ المزيد
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, ...
اقرأ المزيد
Urological Oncology
Urological Oncology provides a comprehensive overview of the multi-disciplinary management of adult genito-urinary (GU) cancers. ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
User Modeling 2005
The book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...
اقرأ المزيد
User Modeling 2007
This book constitutes the refereed proceedings of the 11th International Conference on User Modeling, UM 2007, held in Corfu, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
