Cover Image
Read Now

3
Published 2011
Springer Berlin Heidelberg
“... Computing, DISC 2011, held in Rome, Italy, in September 2011. The 31 revised full papers presented together...”
Cover Image
Read Now

4
Published 2023
Springer International Publishing
Cover Image
Read Now

6
Published 2013
Springer Berlin Heidelberg
“... on Practical Aspects of Declarative Languages, PADL 2013, held in Rome, Italy, in January 2013, co-located...”
Cover Image
Read Now

7
Published 2014
Springer Berlin Heidelberg
“... Checking, held in Vahrn, Italy, in October 2012. The 7 chapters of this tutorial went through two rounds...”
Cover Image
Read Now

8
Published 2017
Springer International Publishing
“... Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers...”
Cover Image
Read Now

10
Published 2011
Springer Berlin Heidelberg
“...This book constitutes the refereed proceedings of the 22nd Annual Symposium on Combinatorial...”
Cover Image
Read Now

11
Published 2011
Springer Berlin Heidelberg
“... in Language Theory, DLT 2011, held in Milano, Italy, in July 2011. The 34 regular papers presented were...”
Cover Image
Read Now

13
Published 2019
Springer International Publishing
“... on Modeling and Using Context, CONTEXT 2019, held in Trento, Italy, in November 2019. The 20 full papers and 4...”
Cover Image
Read Now

14
Published 2022
Springer International Publishing
“... Attention to Economics and Finance” held in Lake Como School of Advanced Studies, on 22–27 July 2018...”
Cover Image
Read Now

15
Published 2024
Springer Nature Switzerland
“... structures (WARA22)". The purpose of the workshop WARA22 was to present the current state of the art both...”
Cover Image
Read Now

16
Published 2013
Springer International Publishing
“... and Applications, WILF 2013, held in Genoa, Italy, in November 2013. After a rigorous peer-review selection process...”
Cover Image
Read Now

17
Published 2020
Springer International Publishing
“...This book constitutes the refereed proceedings of the 22nd International Conference on Knowledge...”
Cover Image
Read Now

18
Published 2011
Springer Berlin Heidelberg
“... Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011. The 34 full...”
Cover Image
Read Now

19
Published 2023
Springer International Publishing
“... on Operational Research Applied to Health Services (ORAHS 2022) held in Bergamo, Italy, July 2022. ORAHS 2022...”
Cover Image
Read Now

20
Published 2013
Springer Berlin Heidelberg
“..., Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co...”