| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910454470103321 |
|
|
Autore |
Leitch Thomas M |
|
|
Titolo |
Film adaptation and its discontents [[electronic resource] ] : from Gone with the Wind to The Passion of the Christ / / Thomas Leitch |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Baltimore, Md., : Johns Hopkins University Press, 2007 |
|
|
|
|
|
|
|
ISBN |
|
0-8018-9187-6 |
1-4356-9256-X |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (369 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Film adaptations - History and criticism |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. [325]-338) and index. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996490345603316 |
|
|
Autore |
Löh Clara |
|
|
Titolo |
Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology / / Clara Löh |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer, , [2022] |
|
©2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
9783031146497 |
9783031146480 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (152 pages) |
|
|
|
|
|
|
Collana |
|
Surveys and Tutorials in the Applied Mathematical Sciences ; ; v.11 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Automatic theorem proving - Computer programs |
Demostració automàtica de teoremes |
Programes d'ordinador |
Llibres electrònics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
| |