Software Technology: 10 Years of Innovation in IEEE Computer

Software Technology: 10 Years of Innovation in IEEE Computer

The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Autonomy Requirements Engineering for Space Missions

Innovations in Signal Processing and Embedded Systems: Proceedings of ICISPES 2021

Recent Advances in Artificial Intelligence and Smart Applications: Proceedings of RAAISA 2023

Recent Advances in Artificial Intelligence and Smart Applications: Proceedings of RAAISA 2024

Provably Correct Systems

Industry 4.0: Managing Digital Transformation Using Disruptive Technologies

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

Nature of Computation and Communication: International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

Applications of Networks, Sensors and Autonomous Systems Analytics: Proceedings of ICANSAA 2020

Biologically-Inspired Collaborative Computing: IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings