This edited collection of essays from world-leading academic and industrial authors yields insight into all aspects of reverse ...
Continue readingThis book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
Continue readingPresents various concepts and applications related to risk-conscious operations management. It also provides an overview ...
Continue readingIn this book the author stresses software as the most important topic in modern robotics. In particular the book concentrates ...
Continue readingThis book presents hardware-efficient algorithms and FPGA implementations for two robotic tasks, namely exploration and landmark ...
Continue readingThis 2-volume set constitutes the refereed proceedings of 1st International Conference on Robotics and Rehabilitation Intelligence, ...
Continue readingThis 2-volume set constitutes the refereed proceedings of 1st International Conference on Robotics and Rehabilitation Intelligence, ...
Continue readingRunning IPv6 explains how to install and operate the IPv6 protocol for Windows XP, Mac OS X, FreeBSD, Red Hat Linux, and ...
Continue readingThis book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Continue readingScalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...
Continue readingThis book constitutes the refereed proceedings of the 5th Annual Smart City 360° Summit, held in Braga, Portugal, in December ...
Continue readingTheme this time was “Where have all the Protocols gone?” Once upon a time security protocols lived mainly in the network ...
Continue readingThis book is organized in topical sections on Implementations, Protocols, Encryption, Primitives, Signatures, Hardware and ...
Continue readingThis two-volume set LNICST 335 and 336 constitutes the post-conference proceedings of the 16th International Conference on ...
Continue readingThis two-volume set LNICST 335 and 336 constitutes the post-conference proceedings of the 16th International Conference on ...
Continue readingThis book constitutes the refereed proceedings of the First International Conference on Security and Privacy in Digital Economy, ...
Continue readingThis book constitutes revised and selected papers from the 6th International Symposium on Security and Privacy in Social ...
Continue readingT this book arise out of the EU Cost Action project Cryptacus, the objective of which was to improve and adapt existent ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ...
Continue readingThe book address all current issues of robotics applications and simulation environments thereof, such as 3D robot simulation, ...
Continue reading