| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910453755403321 |
|
|
Autore |
Schmid Wolf |
|
|
Titolo |
Elemente der narratologie / / Wolf Schmid |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Germany ; ; Boston, Massachusetts : , : de Gruyter, , 2014 |
|
©2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
3-11-037469-2 |
3-11-035097-1 |
|
|
|
|
|
|
|
|
Edizione |
[3., erweiterte und überarbeitete Auflage.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (308 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Narration (Rhetoric) |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Frontmatter -- Inhaltsverzeichnis -- Vorwort -- I. Merkmale des Erzählens im fiktionalen Werk -- II. Die Instanzen des Erzählwerks -- III. Die Erzählperspektive -- IV. Erzählertext und Figurentext -- V. Die narrative Konstitution: Geschehen - Geschichte - Erzählung - Präsentation der Erzählung -- Zusammenfassung -- Siglen der Primärliteratur -- Literaturverzeichnis -- Glossar und Index narratologischer Begriffe -- Index der Namen und Werke |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Der Autor entwirft in diesem Standardwerk eine wegweisende Theorie des Erzählens und analysiert zentrale narratologische Kategorien wie Fiktion, Mimesis, Autor, Leser, Erzähler, Erzählperspektive, Text, Geschichte, Erzählzeit usw. Er bestimmt alle für narrative Texte konstitutiven Merkmale, ergänzt um eine ausführliche Bibliographie und ein narratologisches Glossar. Dieses Kompendium stellt Studenten ebenso wie Wissenschaftlern aller Philologien ein grundlegendes und unerlässliches terminologisches und theoretisches Instrumentarium zur Verfügung.In der 3. Auflage ist die Theorie der Ereignishaftigkeit wesentlich erweitert und das Kapitel "Erzählperspektive" durch einen Abschnitt zur "Perspektivenstruktur" ergänzt worden. Zudem wurden alle Kapitel kritisch durchgesehen, fallweise revidiert und durch Ausführungen zur aktuellen Diskussion sowie Verweise auf rezente Publikationen erweitert. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNICASRAV0016107 |
|
|
Autore |
Faulkner, William |
|
|
Titolo |
William Faulkner |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
\Torino!, : UTET, stampa 1978 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
XXXI, 760 p. : 1 ritr. ; 18 cm |
|
|
|
|
|
|
Collana |
|
Scrittori del mondo: i Nobel |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Sul dorso: Premio Nobel 1949. |
|
|
|
|
|
|
3. |
Record Nr. |
UNISOBSOBE00048131 |
|
|
Autore |
Funaioli, Gino |
|
|
Titolo |
1 / Gino Funaioli |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bologna, : Zanichelli, 1948 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910863176403321 |
|
|
Titolo |
Advances in Design, Music and Arts : 7th Meeting of Research in Music, Arts and Design, EIMAD 2020, May 14–15, 2020 / / edited by Daniel Raposo, João Neves, José Silva, Luísa Correia Castilho, Rui Dias |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2021.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIX, 698 p. 273 illus., 203 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Springer Series in Design and Innovation, , 2661-8192 ; ; 9 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Industrial design |
Interactive multimedia |
Multimedia systems |
Graphic arts |
Industrial Design |
Media Design |
Graphic Design |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Creative graphic thinking and contemporary graphic representation -- Design for non-designers (D4ND) -- Codesigners of Classroom 52: a case study for codesign in active citizenship -- Articulating design-led active pedagogy towards craft heritage preservation in Portugal -- Graphic expression and semantic analyze on brand mark creation -- Research Project Management in Communication Design: Design Methodology Applied to Communication Design Research -- An impact-centred tool for developing design students’ capacity for sustainable transformation -- Education in a Technology-Shaped World: Which Learning Model Helps Preparing for the Knowledge-Based Societies -- Learning to communicate. Notes on the technological empowerment of communication design -- Printing laboratories practices: The i.E. Magazine case study. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book presents the outcomes of recent endeavors that will contribute to significant advances in the areas of communication |
|
|
|
|
|
|
|
|
|
|
|
|
|
design, fashion design, interior design and product design, music and musicology, as well as overlapping areas. Gathering the proceedings of the 7th EIMAD conference, held on May 14–15, 2020, and organized by the School of Applied Arts, Campus da Talagueira, in Castelo Branco, Portugal, it proposes new theoretical perspectives and practical research directions in design and music, while also discussing teaching practices and some areas of intersection. It addresses strategies for communication and culture in a global, digital world, that take into account key individual and societal needs. . |
|
|
|
|
|
|
5. |
Record Nr. |
UNIORUON00015879 |
|
|
Autore |
Lanternari, Vittorio |
|
|
Titolo |
Antropologia e imperialismo e altri saggi / Vittorio Lanternari |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Torino, : G. Einaudi, 1974 xi, 419 p. ; 21 cm |
|
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Soggetti |
|
Antropologia - Dizionari tedeschi |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
6. |
Record Nr. |
UNINA9910483576603321 |
|
|
Titolo |
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings / / edited by Gerwin Klein, Ruben Gamboa |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2014.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXII, 555 p. 90 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 8558 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Machine theory |
Artificial intelligence |
Computer science |
Software engineering |
Data protection |
Algorithms |
Formal Languages and Automata Theory |
Artificial Intelligence |
Computer Science Logic and Foundations of Programming |
Software Engineering |
Data and Information Security |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Microcode Verification – Another Piece of the Microprocessor Verification Puzzle -- Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant -- Implicational Rewriting Tactics in HOL -- A Heuristic Prover for Real Inequalities -- A Formal Library for Elliptic Curves in the Coq Proof Assistant -- Truly Modular (Co) data types for Isabelle/HOL -- Cardinals in Isabelle/HOL -- Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based Formal Proof of the |
|
|
|
|
|
|
|
|
|
|
|
Irrationality of ζ(3) -- From Operational Models to Information Theory; Side Channels in pGCL with Isabelle -- A Coq Formalization of Finitely Presented Modules -- Formalized, Effective Domain Theory in Coq -- Completeness and Decidability Results for CTL in Coq -- Hypermap Specification and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New and Formalized Proof of Abstract Completion -- HOL with Definitions: Semantics, Soundness and a Verified Implementation -- Verified Efficient Implementation of Gabow’s Strongly Connected Component Algorithm -- Recursive Functions on Lazy Lists via Domains and Topologies -- Formal Verification of Optical Quantum Flip Gate -- Compositional Computational Reflection -- An Isabelle Proof Method Language -- Proof Pearl: Proving a Simple Von Neumann Machine Turing Complete -- The Reflective Milawa Theorem Prover Is Sound (Down to the Machine Code That Runs It) -- Balancing Lists: A Proof Pearl -- Unified Decision Procedures for Regular Expression Equivalence -- Collaborative Interactive Theorem Proving with Clide -- On the Formalization of Z-Transform in HOL -- Universe Polymorphism in Coq -- Asynchronous User Interaction and Tool Integration inIsabelle/PIDE -- HOL Constant Definition Done Right -- Rough Diamond: An Extension of Equivalence-Based Rewriting -- Formal C Semantics: Comp Cert and the C Standard -- Mechanical Certification of Loop Pipelining Transformations: A Preview. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics. |
|
|
|
|
|
|
|
| |