This volume contains the papers that were presented at the 8th International Conference on Formal...
This book constitutes the thoroughly refereed conference proceedings of the 38th International Sy...
This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022.
This book conceptualizes and synthesizes worldwide research on the quality of urban life. It look...
This book conceptualizes and synthesizes worldwide research on the quality of urban life. It look...
This volume LNCS constitutes the refereed proceedings of the 21st International Conference on Dis...
This book constitutes the thoroughly refereed conference proceedings of the 38th International Sy...
This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022...
This volume LNCS constitutes the refereed proceedings of the 21st International Conference on ...
The present investigation study was carried out on two temporary water pools along with a permane...