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 readingRemote Sensing of Sea Ice in the Northern Sea Route: Studies and Applications initially provides a history of the Northern ...
Continue readingThis 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 readingThis book aims to inspire decision makers and practitioners to change their approach to climate planning in the tropics through ...
Continue readingThis book provides an overview of the recent advances in representation learning theory, algorithms and applications for ...
Continue readingThis is an elementary introduction to the representation theory of real and complex matrix groups. The text is written for ...
Continue readingMotivated by applications, an underlying theme in analysis is that of finding bases and understanding the transforms that ...
Continue readingThis book is organized in topical sections on digital preservation, social tagging, quatations and annotations, user studies ...
Continue readingThey present new and innovative developments in the field, divided into sections on Constraint Satisfaction, AI Techniques, ...
Continue readingThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue readingThis book includes: foundations of computer science; software theory and practice; education; computer applications in technology; ...
Continue readingThis book includes: foundations of computer science; software theory and practice; education; computer applications in technology; ...
Continue readingThe book covers topics such as foundations of cryptology, secret-key cryptosystems and hash functions, public-key cryptosystems, ...
Continue readingThis 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 readingSummarizes the vast amount of research related to teaching and learning probability that has been conducted for more than ...
Continue readingA practical guide to residential space planning, in this room-by-room guide with up-to-date info on accessibility, ergonomics, ...
Continue readingThe book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...
Continue reading