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