| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910451213003321 |
|
|
Autore |
Brennan Teresa <1952-2003, > |
|
|
Titolo |
The interpretation of the flesh : Freud and femininity / / Teresa Brennan |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London ; ; New York : , : Routledge, , 1992 |
|
|
|
|
|
|
|
ISBN |
|
1-134-90507-6 |
0-203-01110-4 |
1-280-33528-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (285 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Femininity |
Femininity - History - 20th century |
Psychoanalysis and feminism |
Mind and body |
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 (p. [241]-258) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Book Cover; Title; Contents; Preface; Abbreviations; Note on translations and texts; The riddle of femininity; The riddle's repression; The division of attention; The involution of the drives; The original superego; Conclusion: the riddle again; Bibliography: Freud; Select bibliography; Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The `riddle of femininity', like Freud's reference to women's sexuality as a `dark continent', has been treated as a romantic aside or a sexist evasion, rather than a problem to be solved. In this first comprehensive study, Teresa Brennan suggests that by placing these theories in the context of Freud's work overall, we will begin to understand why femininity was such a riddle for Freud. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNICASUMC0979682 |
|
|
Titolo |
1: Comuni di Alvignano, Baia e Latina, Caiazzo, Castel Campagnano, Castel di Sasso, Dragoni, Piana di Monte Verna, Ruviano / [a cura di Lorenzo Quilici e Stefania Quilici Gigli] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Roma, : L'Erma di Bretschneider, [2004] |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
451 p., [5] c. di tav. : ill. ; 26 cm. |
|
|
|
|
|
|
Collana |
|
Atlante tematico di topografia antica , . Supplementi ; 15.1 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
3. |
Record Nr. |
UNINA9910349397403321 |
|
|
Titolo |
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / / edited by Jing Sun, Meng Sun |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXII, 474 p. 115 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 11232 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer science |
Electronic digital computers - Evaluation |
Computers |
Professions |
Machine theory |
Computers, Special purpose |
Software Engineering |
Computer Science Logic and Foundations of Programming |
System Performance and Evaluation |
The Computing Profession |
Formal Languages and Automata Theory |
|
|
|
|
|
|
|
|
|
|
|
|
Special Purpose and Application-Based Systems |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods. |
|
|
|
|
|
|
|
| |