This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Lire la suiteThe International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful ...
Lire la suiteThe focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThis book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th Interntaional Workshop on Cryptographic Hardware and Embedded ...
Lire la suiteThis book is about public open spaces, about people, and about the relationship between them and the role of technology in ...
Lire la suiteThis volume contains the papers presented at the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security ...
Lire la suiteDiscusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware ...
Lire la suiteIn this book defense and security related applications are increasingly being tackled by researchers and practioners using ...
Lire la suiteInformative, insightful, and accessible, this book is designed to enhance the capacity of graduate and undergraduate students, ...
Lire la suiteFDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...
Lire la suiteThe Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. ...
Lire la suiteHelps its readers better analyze M&A transactions using information provided in financial statements. Covering accounting ...
Lire la suiteThe book stresses how values and perceptions shape policies, and conversely how policies can modify perceptions, and also ...
Lire la suiteThis volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
Lire la suiteThis book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
Lire la suiteThis thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut ...
Lire la suite