| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIORUON00307548 |
|
|
Autore |
LEOPARDI, Giacomo |
|
|
Titolo |
Le prose morali / Giacomo Leopardi ; a cura di Ilderbrando Della Giovanna ; nuova presentazione di Giuseppe De Robertis |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Edizione |
[Firenze : Sansoni] |
|
|
|
|
|
Descrizione fisica |
|
Ed. facs. dell'orig.: Firenze : Sansoni, 1895. |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA996465290703316 |
|
|
Titolo |
Programming Languages and Systems [[electronic resource] ] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / / edited by Andrew Gordon |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-38582-0 |
9786613563743 |
3-642-11957-3 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2010.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XV, 632 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 6012 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer networks |
Computer science |
Computer programming |
Compilers (Computer programs) |
Software Engineering |
Computer Communication Networks |
Computer Science Logic and Foundations of Programming |
Programming Techniques |
Compilers and Interpreters |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
The Audacity of Hope: Thoughts on Reclaiming the Database Dream -- Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions -- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis -- Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties -- Formal Verification of Coalescing Graph-Coloring Register Allocation -- A Theory of Speculative Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear Space -- Logical Concurrency Control from Sequential Proofs -- Fluid Updates: Beyond Strong vs. Weak Updates -- Parameterized Memory Models and Concurrent Separation Logic -- Amortized Resource Analysis with Polynomial Potential -- Generative Operational Semantics for Relaxed Memory Models -- Automating Security Mediation Placement -- TRX: A Formally Verified Parser Interpreter -- On the Expressive Power of Primitives for Compensation Handling -- Separating Shape Graphs -- Deadlock-Free Channels and Locks -- Verifying a Compiler for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault Tolerant Programs -- A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While -- A Universal Calculus for Stream Processing Languages -- Enforcing Stateful Authorization and Information Flow Policies in Fine -- Stateful Contracts for Affine Types -- CFA2: A Context-Free Approach to Control-Flow Analysis -- Weighted Dynamic Pushdown Networks -- Explicit Stabilisation for Modular Rely-Guarantee Reasoning. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910350189303321 |
|
|
Autore |
Bown Alfie |
|
|
Titolo |
Post Memes : Seizing the Memes of Production / / Alfred Bown, Daniel Bristow |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Brooklyn, NY, : punctum books, 2019 |
|
Santa Barbara : , : Punctum Books, , 2019 |
|
©2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed..] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (420 pages) : illustrations; PDF, digital file(s) |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Sommario/riassunto |
|
"Art-form, send-up, farce, ironic disarticulation, pastiche, propaganda, trololololol, mode of critique, mode of production, means of politicisation, even of subjectivation - memes are the inner currency of the internet's circulatory system. Independent of any one set value, memes are famously the mode of conveyance for the alt-right, the irony left, and the apoliticos alike, and they are impervious to many economic valuations: the attempts made in co-opting their discourse in advertising and big business have made little headway, and have usually been derailed by retaliative meming. Post-Memes: Seizing the Memes of Production takes advantage of the meme's subversive adaptability and ripeness for a focused, in-depth study. Pulling together the interrogative forces of a raft of thinkers at the forefront of tech theory and media dissection, this collection of essays paves a way to articulating the semiotic fabric of the early 21st century's most prevalent means of content posting, and aims at the very seizing of the memes of production for the imagining and creation of new political horizons. With contributions from Scott and McKenzie Wark, Patricia Reed, Jay Owens, Thomas Hobson and Kaajal Modi, Dominic Pettman, Bogna M. Konior, and Eric Wilson, among others, this essay volume offers the freshest approaches available in the field of memes studies |
|
|
|
|
|
|
|
|
|
|
and inaugurates a new kind of writing about the newest manifestations of the written online. The book aims to become the go-to resource for all students and scholars of memes, and will be of the utmost interest to anyone interested in the internet's most viral phenomenon"-- |
|
|
|
|
|
| |