This book constitutes revised selected papers from the Third International Workshop on Structured...

Modeling and Specification.- Testing and Debugging.- Model Checking and Verification.- Algorithm ...

This book constitutes revised selected papers from the 6th International Workshop on Structures O...

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International ...

Plenary Lectures.- Differential Privacy: A Survey of Results.- Special Session Lectures.- On the ...

Veri¿cation and validation.- Software engineering.- Formal speci¿cation and modeling.- Software s...

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Works...

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Works...

This book constitutes the proceedings of the 25th International Conference on Computing and Combi...

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Works...

This book constitutes the refereed workshop proceedings of the 11th International Workshop on Str...

Civil Engineering and Energy-Environment focuses on the research of civil engineering, environmen...