The idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...
Continue readingThis tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
Continue readingThe book addressed span a wide range of problems and solutions associated with the teaching of programming such as introductory ...
Continue readingClustering techniques are used to identify group(s) of watersheds which have similar flood characteristics. This book is ...
Continue readingResearch in the field of gene regulation is evolving rapidly in an ever-changing scientific environment. Microarray techniques ...
Continue readingThis volume is the post conference proceedings of the 8thInternational Seminaron Relational Methods in Computer Science (RelMiCS ...
Continue readingThis volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
Continue readingThe book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with ...
Continue readingThis book presents a comprehensive description of theory, algorithms and software for solving nonconvex mixed integer nonlinear ...
Continue readingAn understanding of the techniques used to make distributed computing systems and networks reliable, fault-tolerant and secure ...
Continue readingThis book seeks to comprehensively address the face recognition problem while gaining new insights from complementary fields ...
Continue readingThe book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Continue readingReliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Continue readingThis book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Continue readingThis book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Continue readingThis book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Continue readingStarted on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
Continue readingThis book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
Continue readingThis monograph addresses advances in representation learning, a cutting-edge research area of machine learning. Representation ...
Continue readingThis book provides an overview of the recent advances in representation learning theory, algorithms and applications for ...
Continue reading