This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference ...
Lire la suiteThis book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...
Lire la suiteThis book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...
Lire la suiteThis book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
Lire la suiteThis book constitutes the refereed conference proceedings of the 27th International Colloquium on Structural Information ...
Lire la suiteThis book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
Lire la suiteThe 3rd Asian Internet Engineering Conference (AINTEC) followed the ?rst two successful editions held in Bangkok, Thailand, ...
Lire la suiteThis volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
Lire la suiteThe Asian Internet Engineering Conference (AINTEC) brings together researchers and engineers interested in practical and ...
Lire la suiteThis book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
Lire la suiteThis volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
Lire la suiteThe Austin Protocol Compiler presents a protocol specification language called the Timed Abstract Protocol (TAP) notation. ...
Lire la suiteThis book constitutes the refereed proceedings of the IFIP WG 8.2, 9.1, 9.4 Joint Working Conference on the Future of Digital ...
Lire la suiteThe objective of this work is to detect Alzheimer’s disease using Magnetic Resonance Imaging. For this, we use a three-dimensional ...
Lire la suiteThis book constitutes the 14th edition of the annual Multi-Agent Programming Contest, MAPC 2019, and presents its participants. The ...
Lire la suiteThis Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
Lire la suiteThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Lire la suiteThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Lire la suiteThis book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...
Lire la suite