Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Automata, Logics, and Infinite Games [[electronic resource] ] : A Guide to Current Research / / edited by Erich Grädel, Wolfgang Thomas, Thomas Wilke
| Automata, Logics, and Infinite Games [[electronic resource] ] : A Guide to Current Research / / edited by Erich Grädel, Wolfgang Thomas, Thomas Wilke |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (VIII, 392 p.) |
| Disciplina | 004/.01/51 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer science Theory of Computation Computer Science, general |
| ISBN | 3-540-36387-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ?-Automata -- Infinite Games -- Determinization and Complementation -- Determinization of Büchi-Automata -- Complementation of Büchi Automata Using Alternation -- Determinization and Complementation of Streett Automata -- Parity Games -- Memoryless Determinacy of Parity Games -- Algorithms for Parity Games -- Tree Automata -- Nondeterministic Tree Automata -- Alternating Tree Automata and Parity Games -- Modal ?-Calculus -- Modal ?-Calculus and Alternating Tree Automata -- Strictness of the Modal ?-Calculus Hierarchy -- Monadic Second-Order Logic -- Decidability of S1S and S2S -- The Complexity of Translating Logic to Finite Automata -- Expressive Power of Monadic Second-Order Logic and Modal ?-Calculus -- Tree-like Models -- Prefix-Recognizable Graphs and Monadic Logic -- The Monadic Theory of Tree-like Structures -- Two-Way Tree Automata Solving Pushdown Games -- Guarded Logics -- to Guarded Logics -- Automata for Guarded Fixed Point Logics -- Appendices -- Some Fixed Point Basics. |
| Record Nr. | UNISA-996465276203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automata, Logics, and Infinite Games : A Guide to Current Research / / edited by Erich Grädel, Wolfgang Thomas, Thomas Wilke
| Automata, Logics, and Infinite Games : A Guide to Current Research / / edited by Erich Grädel, Wolfgang Thomas, Thomas Wilke |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (VIII, 392 p.) |
| Disciplina | 004/.01/51 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer science Theory of Computation Computer Science, general |
| ISBN | 3-540-36387-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ?-Automata -- Infinite Games -- Determinization and Complementation -- Determinization of Büchi-Automata -- Complementation of Büchi Automata Using Alternation -- Determinization and Complementation of Streett Automata -- Parity Games -- Memoryless Determinacy of Parity Games -- Algorithms for Parity Games -- Tree Automata -- Nondeterministic Tree Automata -- Alternating Tree Automata and Parity Games -- Modal ?-Calculus -- Modal ?-Calculus and Alternating Tree Automata -- Strictness of the Modal ?-Calculus Hierarchy -- Monadic Second-Order Logic -- Decidability of S1S and S2S -- The Complexity of Translating Logic to Finite Automata -- Expressive Power of Monadic Second-Order Logic and Modal ?-Calculus -- Tree-like Models -- Prefix-Recognizable Graphs and Monadic Logic -- The Monadic Theory of Tree-like Structures -- Two-Way Tree Automata Solving Pushdown Games -- Guarded Logics -- to Guarded Logics -- Automata for Guarded Fixed Point Logics -- Appendices -- Some Fixed Point Basics. |
| Record Nr. | UNINA-9910143897203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bildmedien : Festschrift für Klaus Sachs-Hombach zum 65. Geburtstag / / hrsg. von Jan-Noël Thon, Frauke Berndt
| Bildmedien : Festschrift für Klaus Sachs-Hombach zum 65. Geburtstag / / hrsg. von Jan-Noël Thon, Frauke Berndt |
| Pubbl/distr/stampa | Berlin ; ; Boston : , : De Gruyter, , [2022] |
| Descrizione fisica | 1 online resource (VIII, 464 p.) |
| Soggetto topico | LITERARY CRITICISM / European / General |
| Soggetto non controllato |
Image
aesthetics media semiotics visual culture |
| ISBN | 3-11-076395-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Frontmatter -- Inhaltsverzeichnis -- Geleitwort -- Zur Theorie der Visualisierung, rhetorisch -- Bild, Zeichen und ästhetische Erfahrung -- Zur reflexiven Logik des Ikonischen: Ausschnitt aus einer postphänomenologischen Bildtheorie -- Das Lochblech der Phantasie: Was passiert, wenn Bilder interpretiert werden? -- Bilder als Darstellungen von Vorstellungen -- Bild und Text im Wechselspiel: Psychologische Perspektiven des Bildverstehens -- Farbe, Leinwand und Schultische als visuelle Medien -- Zeichenhafter Widerstand im Zwischenraum -- Von der Fiktionalität der Bilder zur Illusion der digitalen Fotografie -- How to do things with photographs: Überlegungen zu einer Praxeologie der Fotografie -- Der Präsidentenbesuch: Barack Obama und die Faktizität des Bildes -- Das Foto als wahrnehmungsnaher Zeigefinger in digitalen Mediendispositiven -- Live aus dem Hotspot der Interpretationslust: Das politische Selfie im Spannungsfeld verteilter Handlungsmächte und autorialer Konstrukte -- Erzählende Bilder? -- Soziale Imaginationen im narrativen Bildverstehen -- Sanduhren: Zur Ambiguität von Erzählung und visueller Form -- Das literarische Porträt im russischen Fin de Siècle -- Ich sehe was, was du nicht siehst: Clemens Setz’ ästhetischer Realismus -- Novel Lessons in Microeconomics: On the Money Image in Enzensberger’s Critique of Impure Reason -- Im Angesicht der Toten: Die Leichenschauszene im TV-Krimi als empathisches Szenario -- Über die (Un)Lesbarkeit von Bildern: Abu Ghraib im Film -- Ich hab’ Dich gedisst, Du Opfer! Deutscher Rap und visuelle (Anti-) Mobbing-Strategien in Musikvideos -- „Du lebst und thust mir nichts“: Digitale Bildlichkeit zwischen Stillstand, Bewegung und Beseelung -- Die Prozeduralität technischer Bilder: Immersive Bildmedien als dynamische Erlebnisräume -- Eine Theorie propriozeptiver Bilder -- Bildmedium Computerspiel? Zur ästhetischen Komplexität aktueller Indie Games -- Autor*innen |
| Record Nr. | UNISA-996500671003316 |
| Berlin ; ; Boston : , : De Gruyter, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Gehörlose und Hörende : Raummodellierung im Kontext von Behinderung und Interkulturalität / / Caroline-Sophie Pilling
| Gehörlose und Hörende : Raummodellierung im Kontext von Behinderung und Interkulturalität / / Caroline-Sophie Pilling |
| Autore | Pilling Caroline-Sophie |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Bielefeld : , : transcript Verlag, , [2022] |
| Descrizione fisica | 1 online resource (176 p.) |
| Disciplina | 305.9082 |
| Collana | Gesellschaft der Unterschiede |
| Soggetto topico | SOCIAL SCIENCE / People with Disabilities |
| Soggetto non controllato |
Body
Cultural Studies Culture Difference Disability Studies Homi K. Bhabha Identity Inclusion Interculturalism Listeners Power Social Inequality Space Third Room |
| ISBN | 3-8394-6343-2 |
| Classificazione | DT 1500 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Frontmatter -- Inhalt -- Danke -- Vorwort -- 1 Einleitung -- 2 Gehörlose und Hörende -- 3 Inklusion -- 4 Kulturalität -- 5 Räume -- 6 Methodisches Vorgehen -- 7 Empirische Diskussion -- 8 Ergebnisdarstellung -- 9 Resümee -- 10 Literaturverzeichnis |
| Record Nr. | UNISA-996582042103316 |
Pilling Caroline-Sophie
|
||
| Bielefeld : , : transcript Verlag, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
