Software Architecture
This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...
اقرأ المزيد
Software Technologies
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...
اقرأ المزيد
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
اقرأ المزيد
Statistical Population Genomics
This book presents state-of-the-art inference methods in population genomics, focusing on data analysis based on rigorous ...
اقرأ المزيد
Structural Information and Communication Complexity
This book constitutes the refereed conference proceedings of the 27th International Colloquium on Structural Information ...
اقرأ المزيد
Structural Information and Communication Complexity : 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings
This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information ...
اقرأ المزيد
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
This book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
اقرأ المزيد
Sustainable Internet
The 3rd Asian Internet Engineering Conference (AINTEC) followed the ?rst two successful editions held in Bangkok, Thailand, ...
اقرأ المزيد
Synchronizing Internet Protocol Security (SIPSec)
Synchronizing Internet Protocol Security (SIPSec) focuses on the combination of theoretical investigation and practical implementation, ...
اقرأ المزيد
System Analysis and Modeling
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...
اقرأ المزيد
System Analysis and Modeling: Language Profiles
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
اقرأ المزيد
Systems, Software and Services Process Improvement
This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
اقرأ المزيد
Technologies for Advanced Heterogeneous Networks
The Asian Internet Engineering Conference (AINTEC) brings together researchers and engineers interested in practical and ...
اقرأ المزيد
Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
اقرأ المزيد
Testing of Communicating Systems (vol. # 3964)
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
اقرأ المزيد
The Austin Protocol Compiler
The Austin Protocol Compiler presents a protocol specification language called the Timed Abstract Protocol (TAP) notation. ...
اقرأ المزيد
The Complete IS-IS Routing Protocol
The book presents a wide range of problems concerning operation of the IS-IS routing protocol based on ISO-OSI standards, ...
اقرأ المزيد
The Future of Digital Work: The Challenge of Inequality : IFIP WG 8.2, 9.1, 9.4 Joint Working Conference, IFIPJWC 2020, Hyderabad, India, December 10–11, 2020, Proceedings
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 Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020, Proceedings
The objective of this work is to detect Alzheimer’s disease using Magnetic Resonance Imaging. For this, we use a three-dimensional ...
اقرأ المزيد
The Multi-Agent Programming Contest 2019 : Agents Assemble – Block by Block to Victory
This book constitutes the 14th edition of the annual Multi-Agent Programming Contest, MAPC 2019, and presents its participants. The ...
اقرأ المزيد
