Siamo tutti più o meno travolti dalle passioni, quelle di serie A ma anche quelle di serie B e C e fino alla Z: per una squadra di calcio, una collezione di sottobicchieri da birra, la ricerca delle pizzerie, la visita ai musei o altro ancora. E siamo anche tutti sfiorati dalla grande passione, quella delle storie d’amore immortali, esaltate dai poeti – primo in classifica Dante, seguito a ruota da Shakespeare – oppure dai pittori, dai romanzieri, dai musicisti, dai cineasti...Quest...

Opera libretto interpreted and read without singing. This audiobook is suitable for lovers of theatrical literature, for opera singers and for students of the italian language. Cavalleria Rusticana is an opera composed by Pietro Mascagni, this audiobook doesn't contain any music of the composer, it is a recited interpretation of the full opera libretto.

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking. Since 1995, he has been one of the prime movers behind the model checking tool for...