1.

Record Nr.

UNINA9910453079803321

Titolo

Explorations in communication and history [[electronic resource] /] / edited by Barbie Zelizer

Pubbl/distr/stampa

Milton Park, Abingdon, Oxon ; ; New York, : Routledge, 2008

ISBN

1-135-96959-0

1-281-83756-3

9786611837563

0-203-88860-X

Descrizione fisica

1 online resource (241 p.)

Collana

Shaping inquiry in culture, communication and media studies

Altri autori (Persone)

ZelizerBarbie

Disciplina

302.2

Soggetti

Communication - History

Mass media - History

Electronic books.

Lingua di pubblicazione

Inglese

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

Book Cover; Title; Copyright; Contents; When disciplines engage; Part 1: Overview Communication and history; Introduction: Communication and history; Chapter 1 History as a communication problem; Chapter 2 Democratic theory and the history of communications; Chapter 3 Communication and history; Part 2: Audiences; Introduction: Audiences, communication and history; Chapter 4 Does textual analysis tell us anything about past audiences?; Chapter 5 The citizen audience: Crowds, publics and individuals

Chapter 6 Seeking the historical audience: Interdisciplinary lessons in the recovery of media practicesPart 3: Technology; Introduction: Technology, communication and history; Chapter 7 Printing and the manuscript revolution; Chapter 8 Governing by television; Chapter 9 Newswork, technology, and cultural form, 1837-1920; Part 4: Journalism; Introduction: Journalism, communication and history; Chapter 10 The history of journalism and the history of the book; Chapter 11 Public spheres, imagined communities, and the underdeveloped historical understanding of journalism

Chapter 12 How to think about journalism: Looking backward, going



forwardIndex

Sommario/riassunto

When and how do communication and history impact each other? How do disciplinary perspectives affect what we know?Explorations in Communication and History addresses the link between what we know and how we know it by tracking the intersection of communication and history. Asking how each discipline has enhanced and hindered our understanding of the other, the book considers what happens to what we know when disciplines engage. Through a critical collection of essays written by top scholars in the field, the book addresses the engagement of communication and hi

2.

Record Nr.

UNISA996466341303316

Titolo

Logics of Programs [[electronic resource] ] : Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 / / edited by E. Clarke, D. Kozen

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1984

ISBN

3-540-38775-7

Edizione

[1st ed. 1984.]

Descrizione fisica

1 online resource (VI, 531 p.)

Collana

Lecture Notes in Computer Science, , 0302-9743 ; ; 164

Disciplina

005.1015113

Soggetti

Computer logic

Mathematical logic

Logics and Meanings of Programs

Mathematical Logic and Formal Languages

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di contenuto

A static analysis of CSP programs -- Compactness in semantics for merge and fair merge -- Algebraic tools for system construction -- PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness -- The intractability of validity in logic programming and dynamic logic -- A semantics and proof system for communicating processes -- Non-standard fixed points in first



order logic -- Automatic verification of asynchronous circuits -- Mathematics as programming -- Characterization of acceptable by algol-like programming languages -- A rigorous approach to fault-tolerant system development -- A sound and relatively complete axiomatization of clarke's language L4 -- Deciding branching time logic: A triple exponential decision procedure for CTL -- Equations in combinatory algebras -- Reasoning about procedures as parameters -- Introducing institutions -- A complete proof rule for strong equifair termination -- Necessary and sufficient conditions for the universality of programming formalisms -- There exist decidable context free propositonal dynamic logics -- A decision procedure for the propositional ?-calculus -- A verifier for compact parallel coordination programs -- Information systems, continuity and realizability -- A complete system of temporal logic for specification schemata -- Reasoning in interval temporal logic -- Hoare's logic for programs with procedures — What has been achieved? -- A theory of probabilistic programs -- A low level language for obtaining decision procedures for classes of temporal logics -- Deriving efficient graph algorithms (summary) -- An introduction to specification logic -- An interval-based temporal logic -- Property preserving homomorphisms of transition systems -- From denotational to operational and axiomatic semantics for ALGOL-like languages: An overview -- Yet another process logic -- A proof system for partial correctness of dynamic networks of processes -- Errata.



3.

Record Nr.

UNISALENTO991001026909707536

Autore

Truesdell, Clifford Ambrose

Titolo

Introduction to rational elasticity / C. C. Wang and C. Truesdell

Pubbl/distr/stampa

Leyden : Noordhoff International Publ., c1973

ISBN

9001937101

Descrizione fisica

xii, 556 p. ; 24 cm

Collana

Monographs and textbooks on mechanics of solids and fluids. Mechanics of continua

Classificazione

AMS 70-02

Altri autori (Persone)

Wang, Chao-Cheng

Disciplina

531.3823

Soggetti

Elasticity

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Includes bibliographical references