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.
Software for dependable systems [[electronic resource] ] : sufficient evidence? / / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies
| Software for dependable systems [[electronic resource] ] : sufficient evidence? / / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies |
| Pubbl/distr/stampa | Washington, D.C., : National Academies Press, c2007 |
| Descrizione fisica | 1 online resource (147 p.) |
| Disciplina | 005 |
| Altri autori (Persone) |
JacksonDaniel
MillettLynette I ThomasMartyn |
| Soggetto topico |
Computer software - Reliability
Software engineering Systems software - Reliability |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-94144-8
9786610941445 0-309-66738-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910452084403321 |
| Washington, D.C., : National Academies Press, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software for dependable systems [[electronic resource] ] : sufficient evidence? / / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies
| Software for dependable systems [[electronic resource] ] : sufficient evidence? / / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies |
| Pubbl/distr/stampa | Washington, D.C., : National Academies Press, c2007 |
| Descrizione fisica | 1 online resource (147 p.) |
| Disciplina | 005 |
| Altri autori (Persone) |
JacksonDaniel
MillettLynette I ThomasMartyn |
| Soggetto topico |
Computer software - Reliability
Software engineering Systems software - Reliability |
| ISBN |
0-309-17929-7
1-280-94144-8 9786610941445 0-309-66738-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910778119203321 |
| Washington, D.C., : National Academies Press, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software for dependable systems : sufficient evidence? / / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies
| Software for dependable systems : sufficient evidence? / / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Washington, D.C., : National Academies Press, c2007 |
| Descrizione fisica | 1 online resource (147 p.) |
| Disciplina | 005 |
| Altri autori (Persone) |
JacksonDaniel
MillettLynette I ThomasMartyn |
| Soggetto topico |
Computer software - Reliability
Software engineering Systems software - Reliability |
| ISBN |
0-309-17929-7
1-280-94144-8 9786610941445 0-309-66738-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | FrontMatter -- Preface -- Acknowledgment of Reviewers -- Contents -- Summary -- 1 Assessment: Software Systems and Dependability Today -- 2 Proposed Approach -- 3 Broader Issues -- 4 Findings and Recommendations -- 5 Bibliography -- Appendixes -- A: Biographies of Committee Members and Staff -- B: Open Session Briefers -- C: Statement of Task. |
| Record Nr. | UNINA-9910809016803321 |
| Washington, D.C., : National Academies Press, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Visual Political Communication / / edited by Anastasia Veneti, Daniel Jackson, Darren G. Lilleker
| Visual Political Communication / / edited by Anastasia Veneti, Daniel Jackson, Darren G. Lilleker |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 288 p. 35 illus., 16 illus. in color.) |
| Disciplina | 320.014 |
| Soggetto topico |
Political communication
Europe—Politics and government Elections Political sociology Communication Political Communication European Politics Electoral Politics Political Sociology Media and Communication |
| ISBN | 3-030-18729-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction: Visual Political Communication (Darren G. Lilleker, Anastasia Veneti, Daniel Jackson) -- Part I Theoretical and Methodological Issues in Visual Political Communication -- 2 The Digital Transformation of Visual Politics (Paul Messaris) -- 3 The power of visual political communication: pictorial politics through the lens of communication psychology (Darren G. Lilleker) -- 4 The Interdisciplinary Roots and Digital Branches of Visual Political Communication Research (Roman Gerodimos) -- 5 Visual Methods for Political Communication Research: Modes and Affordances (Luc Pauwels, University of Antwerp) -- Part II The Use of Visuals in Political Campaigning -- 6 From Analogue to Digital Negativity ‒ Attacks and Counter-Attacks, Satire and Absurdism on Election Posters Offline and Online (Bengt Johansson, Christina Holtz-Bacha) -- 7 Political parties and their pictures. Visual communication on Instagram in Swedish and Norwegian election campaigns (Uta Russmann, Jakob Svensson, Anders Olof Larsson) -- 8 Visual Political Communication in Italian electoral campaigns (Edoardo Novelli) -- Part III Visual Governance -- 9 The Visual Presidency of Donald Trump First Hundred Days: Political Image Making and Digital Media (Ryan T. Strand, Dan Schill) -- 10 Greek Political Leaders on Instragram: Between ‘soft’ and ‘hard’ personalisation (Stamatis Poulakidakos, Iliana Giannouli) -- 11The political power of smiling. How politicians’ displays of happiness affect viewers’ gaze behavior and political judgments (Michael Sülflow, Marcus Maurer) -- Part IV Citizen-led Forms of Visual Political Communication -- 12 #MoreInCommon: Collective Mourning Practices on Twitter and the Iconisation of Jo Cox (Katy Parry) -- 13 Picturing the political: Embodied visuality of protest imagery (Bolette B. Blaagaard) -- 14 Connective Politics, Videos and Algorithms: YouTube’s Mediation of Audiovisual Political Communication (Andrea Medrado, Simone do Vale, Adilson Cabral). |
| Record Nr. | UNINA-9910338027603321 |
| Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||