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

Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysi...

This book constitutes the refereed proceedings of the 18th International Conference on Computatio...

This book constitutes the proceedings of the 18th International Conference on Quantitative Evalua...

L'azione penale obbligatoria, che regola l'attività del Pubblico Ministero italiano, è considerat...

Ikeda is in search of her own identity. An encounter with a woman in the beautiful setting of the...