In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
Continue reading
In June of 2002, over 500 professors, students and researchers met in Boston, Massachusetts for the Fourth International ...
Continue reading
This volume contains selected transcripts from presentations given at the conference. Speakers include: Chris Adami, Kenneth ...
Continue reading
This volume contains over 35 papers selected from those presented at the conference on topics including: self-organization ...
Continue reading
This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human Computer ...
Continue reading
This book is the first to systematically introduce the principles of urban informatics and its application to every aspect ...
Continue reading
This book serves as a textbook for Urban/Community Forestry courses and a handbook for Shade Tree Commissions, tree wardens, ...
Continue reading
In User Experience Design: A Practical Playbook to Fuel Business Growth, UXReactor co-Founder Satyam Kantamneni distills ...
Continue reading
The book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...
Continue reading
This monograph presents a complete computational system for visual attention and object detection: VOCUS (Visual Object detection ...
Continue reading
Tthis volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors ...
Continue readingProvides a practical guide providing step-by-step methods and protocols on vaccine development and production. Divided into ...
Continue readingGuides readers through an introductory section on future challenges for vaccinologists and the immunological mechanism of ...
Continue readingGuides readers through veterinary vaccines, vaccines for poultry, vaccines for farm animals, and vaccines for veterinary ...
Continue reading
Nineteen experts from the electronics industry, research institutes and universities have joined forces to prepare this book. ...
Continue reading
Supply chain management helped companies to manage volumes, fulfil customer demand and optimize costs in production and distribution. ...
Continue readingEngineers and scientists often need to sell an innovative idea for a new product or a new product improvement to top management. ...
Continue reading
This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...
Continue reading
This monographs contains a comprehensive and and state-of-the art study of the basic concepts and principles of variational ...
Continue reading
The book gives a concise introduction to variational methods and presents an overview of areas of current research in the ...
Continue reading