# Engineering of Complex Computer Systems

Canonical: https://www.bookquiver.com/yuan-zhou/engineering-of-complex-computer-systems/9783032008275

JSON version (same data): https://www.bookquiver.com/yuan-zhou/engineering-of-complex-computer-systems/9783032008275.json

![Engineering of Complex Computer Systems](https://quivercdn.com/covers/springer-nature-switzerland/yuan-zhou/engineering-of-complex-computer-systems_978-30-3200-827-5-34eccce9.webp?v=2026-11-10%2021%3A46%3A55)

- Book: [Engineering of Complex Computer Systems](https://www.bookquiver.com/yuan-zhou/engineering-of-complex-computer-systems) ([Engineering of Complex Computer Systems.md](https://www.bookquiver.com/yuan-zhou/engineering-of-complex-computer-systems.md))
- Authors: [Yuan Zhou](https://www.bookquiver.com/yuan-zhou)
- Publisher: Springer Nature Switzerland
- ISBN: 978-30-3200-827-5
- Pages: 536
- Language: en_US
- Binding: Softcover

## Description

This book constitutes the refereed proceedings of the 29th International Conference on Engineering of Complex Computer Systems, ICECCS 2025, which took place in Hangzhou, China, during July 2-4, 2025. The 21 full papers, 3 short papers and 8 position papers included in this book were carefully reviewed and selected from 70 submissions. They were organized in topical sections as follows: Machine Learning for Complex Systems; Trustworthy Deep Learning; Edge Computing Systems; Large Language Models Empowered Software Engineering; Formal Methods; Program Analysis; Position Papers: Large Language Model Agents; Position Papers: Software Engineering for Large Language Models; and Position Papers: Large Language Models for Software Engineering. set programming; functional programming; languages, methods and tools; and declarativesolutions.