Napoli è certamente da annoverare tra le capitali internazionali del Barocco, ha infatti influenzato la regione campana e non solo. Il barocco napoletano ha di certo creato spazi ampi, ma ha anche genialmente utilizzato e trasformato spazi già densamente costruiti e labirintici. Dagli inizi del Seicento a metà del Settecento la cultura architettonica barocca ha dato un nuovo volto alla città e al territorio della regione. La Cappella del Tesoro di San Gennaro, la Cappella di San Severo, la Chiesa dell'Egiziaca sono divenute simbolo del tessuto urbano, come altri luoghi di culto. E con loro i grandi Palazzi, da Donn'Anna a Posillipo a quello dei duchi Serra di Cassano, lungo la via Monte di Dio. Infine le famose guglie barocche hanno disegnato i profili delle piazze e della città. La ricchezza della Campania non è da meno, lo testimoniano gli edifici e í monumenti di Nola e di Salerno, la Certosa di Padula e molti altri siti. Da Ischia a Sant'Agata dei Goti, il barocco ha caratterizzato il paesaggio, dalla costa ai monti. Un modo dI sicuro fascino per visitare Napoli e la Campania è seguirne gli itinerari Barocchi.

Droghe, per usare la più generica ma efficace traduzione dall'inglese: dagli antidepressivi alle anfetamine, passando per eroina, cocaina e quant'altro la chimica sia riuscita ad inventare e la criminalità organizzata abbia poi messo sul mercato. Il più colossale affare degli ultimi settant'anni, pari a quelli delle armi e del petrolio. E qualsiasi numero possiamo immaginare per dare un'idea di quanti ci siano rimasti sotto, sarebbe sempre riduttivo. Una strage colossale.

Il lavoro, con il suo portato di speranze e fatiche, conduce a ripensare un elemento essenziale nella vita degli individui e, osservato nella sua evoluzione, diviene per noi oggi specchio dei cambiamenti di vita individuale e collettiva. In questo volume si analizza la storia delle attività produttive, del movimento sindacale e dei lavoratori, aprendo finestre su alcuni aspetti chiave dello sviluppo del Mezzogiorno e del Sannio. Quest'ultimo, area interna ed impervia della Campania, in poco più di un decennio, tra gli anni Sessanta e Settanta, subì una repentina trasformazione. Il passaggio da società prevalentemente agricola a società postindustriale fu talmente radicale e accelerato che in alcuni casi polverizzò le stesse memorie, bruciando tappe e scansioni di modelli economici tradizionali, lasciando poco tempo al tessuto sociale per la loro sedimentazione e comprensione e producendo forti elementi di lacerazione, come l'intenso flusso migratorio dai piccoli centri rurali. Il tema del lavoro viene affrontato in un'ottica interdisciplinare, affinché uno sguardo multiplo possa aiutare a meglio comprendere la complessità dei fenomeni e le interconnessioni che sfuggono ad approcci settoriali. L'analisi storica, economica e sociologica si intreccia così con l'etnomusicologia, l'iconografia e la cinematografia, recuperando l'esperienza dei mondi senza scrittura, fatti di livelli espressivi e di registri linguistici diversi...

This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn's lemma.

Novanta scritti dei più importanti storici dell'architettura italiana in un omaggio a Alfonso Gambardella, già preside della Facoltà di Architettura Luigi Vanvitelli di Napoli. Il volume è una panoramica sulla storia dell'architettura dall'antichità ai nostri giorni.