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