| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991003467149707536 |
|
|
Titolo |
Ephemeroidea / a cura di Marta Grandi |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bologna : Calderini, c1960 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
ix, 472 p. : ill. ; 25 cm |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Ephemeroptera |
Fauna - Italy |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910780247703321 |
|
|
Autore |
Unschuld Paul U (Paul Ulrich), <1943-> |
|
|
Titolo |
Huang Di nei jing su wen [[electronic resource] ] : nature, knowledge, imagery in an ancient Chinese medical text, with an appendix, the doctrine of the five periods and six qi in the Huang Di nei jing su wen / / Paul U. Unschuld |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berkeley, : University of California Press, 2003 |
|
|
|
|
|
|
|
ISBN |
|
1-282-75907-8 |
9786612759079 |
0-520-92849-0 |
1-59734-665-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (534 p.) |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
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. 495-502) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front matter -- Contents -- Prefatory Remarks -- I. Bibliographic History of the Su wen -- II. The Meaning of the Title Huang Di nei jing su wen -- III. Early Su wen Texts and Commentaries before the Eleventh Century -- IV. Origin and Tradition of the Textus Receptus of the Su wen -- V. A Survey of the Contents of the Su wen -- VI. Epilogue: Toward a Comparative Historical Anthropology of Medical Thought -- Notes -- Appendix. The Doctrine of the Five Periods and Six Qi in the Huang Di nei jing su wen -- Bibliography -- Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The Huang Di nei jing su wen, known familiarly as the Su wen, is a seminal text of ancient Chinese medicine, yet until now there has been no comprehensive, detailed analysis of its development and contents. At last Paul U. Unschuld offers entry into this still-vital artifact of China's cultural and intellectual past. Unschuld traces the history of the Su wen to its origins in the final centuries B.C.E., when numerous authors wrote short medical essays to explain the foundations of human health and illness on the basis of the newly developed vessel theory. He examines the meaning of the title and the way the work has been received throughout Chinese medical history, both before and after the eleventh century when the text as it is known today emerged. Unschuld's survey of the contents includes illuminating discussions of the yin-yang and five-agents doctrines, the perception of the human body and its organs, qi and blood, pathogenic agents, concepts of disease and diagnosis, and a variety of therapies, including the new technique of acupuncture. An extensive appendix, furthermore, offers a detailed introduction to the complicated climatological theories of Wu yun liu qi ("five periods and six qi"), which were added to the Su wen by Wang Bing in the Tang era. In an epilogue, Unschuld writes about the break with tradition and innovative style of thought represented by the Su wen. For the first time, health care took the form of "medicine," in that it focused on environmental conditions, climatic agents, and behavior as causal in the emergence of disease and on the importance of natural laws in explaining illness. Unschuld points out that much of what we surmise about the human organism is simply a projection, reflecting dominant values and social goals, and he constructs a hypothesis to explain the formation and acceptance of basic notions of health and disease in a given society. Reading the Su wen, he says, not only offers a better understanding of the roots of Chinese medicine as an integrated aspect of Chinese civilization; it also provides a much needed starting point for discussions of the differences and parallels between European and Chinese ways of dealing with illness and the risk of early death. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910143610903321 |
|
|
Titolo |
Computer Safety, Reliability, and Security : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings / / edited by Floor Koornneef, Meine van der Meulen |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2000.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 438 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 1943 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer engineering |
Computers |
Data encryption (Computer science) |
Software engineering |
Computers, Special purpose |
Computer logic |
Computer Engineering |
Computing Milieux |
Cryptology |
Software Engineering/Programming and Operating Systems |
Special Purpose and Application-Based Systems |
Logics and Meanings of Programs |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Invited Paper -- The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems -- Verification and Validation -- Empirical Assessment of Software On-Line Diagnostics Using Fault Injection -- Speeding-Up Fault Injection Campaigns in VHDL Models -- Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs -- Validation of Control System Specifications with Abstract Plant Models -- A Constant Perturbation Method for Evaluation of Structural Diversity in |
|
|
|
|
|
|
|
|
|
|
|
Multiversion Software -- Expert Error: The Case of Trouble-Shooting in Electronics -- The Safety Management of Data-Driven Safety-Related Systems -- Software Support for Incident Reporting Systems in Safety-Critical Applications -- Software Process Improvement -- A Dependability-Explicit Model for the Development of Computing Systems -- Deriving Quantified Safety Requirements in Complex Systems -- Improving Software Development by Using Safe Object Oriented Development : OTCD -- A Safety Licensable PES for SIL 4 Applications -- Safety and Security Issues in Electric Power Industry -- Dependability of Computer Control Systems in Power Plants -- A Method of Analysis of Fault Trees with Time Dependencies -- Formal Methods -- A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module -- Formal Methods: The Problem Is Education -- Formal Methods Diffusion: Past Lessons and Future Prospects -- Invited Paper -- Safe Tech: A Control Oriented Viewpoint -- Safety Guidelines, Standards and Certification -- Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems -- IEC 61508 — A Suitable Basis for the Certification of Safety-Critical Transport-Infrastructure Systems ?? -- Hardware Aspects -- An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems -- Programmable Electronic System Design & Verification Utilizing DFM -- SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller -- Safety Assessment I -- Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach -- Estimating Dependability of Programmable Systems Using BBNs -- Design for Safety -- Improvements in Process Control Dependability through Internet Security Technology -- A Survey on Safety-Critical Multicast Networking -- Invited Paper -- Causal Reasoning about Aircraft Accidents -- Transport & Infrastructure -- Controlling Requirements Evolution: An Avionics Case Study -- HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems -- Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components -- Safety Assessment II -- Risk Ordering of States in Safecharts -- Dependability Evaluation: Model and Method Based on Activity Theory -- Forensic Software Engineering and the Need for New Approaches to Accident Investigation. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 19th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2000, held in Rotterdam, The Netherlands in October 2000.The 33 revised full papers presented together with three invited papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on verification and validation; software process improvement; formal methods; safety guidelines, standards and certification; hardware aspects; safety assessment; design for safety; and transport and infrastructure. |
|
|
|
|
|
|
|
| |