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...

Boston, Massachusetts. La start-up tecnologica del Professor Blaski sta lavorando allo sviluppo d...

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

Ikeda è alla ricerca della propria identità. Un incontro con una donna nello splendido scenario d...