This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Continue readingThis book presents a wide range of innovative and advanced image processing methods for including spatial information, captured ...
Continue reading
Remote Sensing of Sea Ice in the Northern Sea Route: Studies and Applications initially provides a history of the Northern ...
Continue reading
This volume reviews the current potential of Earth Observations, while devoting particular attention to applications dealing ...
Continue readingOur project aims to design and implement a computer-controlled remote laboratory that can be accessed and controlled via ...
Continue reading
This book aims to inspire decision makers and practitioners to change their approach to climate planning in the tropics through ...
Continue reading
This book provides an overview of the recent advances in representation learning theory, algorithms and applications for ...
Continue reading
This is an elementary introduction to the representation theory of real and complex matrix groups. The text is written for ...
Continue reading
Motivated by applications, an underlying theme in analysis is that of finding bases and understanding the transforms that ...
Continue reading
This book is organized in topical sections on digital preservation, social tagging, quatations and annotations, user studies ...
Continue reading
They present new and innovative developments in the field, divided into sections on Constraint Satisfaction, AI Techniques, ...
Continue reading
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
This book includes: foundations of computer science; software theory and practice; education; computer applications in technology; ...
Continue reading
This book includes: foundations of computer science; software theory and practice; education; computer applications in technology; ...
Continue reading
The book covers topics such as foundations of cryptology, secret-key cryptosystems and hash functions, public-key cryptosystems, ...
Continue reading
This book provides an accurate overview of the recent research or industrial application in interactive design. The different ...
Continue readingThis book summarizes the vast amount of research related to teaching and learning probability that has been conducted for ...
Continue reading
Summarizes the vast amount of research related to teaching and learning probability that has been conducted for more than ...
Continue reading
A practical guide to residential space planning, in this room-by-room guide with up-to-date info on accessibility, ergonomics, ...
Continue reading
The book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...
Continue reading