| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910455768903321 |
|
|
Titolo |
Health effects of exposure to radon [[electronic resource] /] / Committee on Health Risks of Exposure to Radon, Board on Radiation Effects Research, Commission on Life Sciences, National Research Council |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, D.C., : National Academy Press, 1999 |
|
|
|
|
|
|
|
ISBN |
|
0-309-52374-5 |
0-585-03733-7 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (516 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Radon - Health aspects |
Radon - Toxicology |
Radon - Physiological effect |
Radiation carcinogenesis |
Indoor air pollution - Health aspects |
Health risk assessment |
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. 430-471) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
""Front Matter""; ""Preface""; ""Contents""; ""Public Summary: The Health Effects of Exposure to Indoor Radon""; ""Executive Summary""; ""1 Introduction""; ""2 The Mechanistic Basis of Radon-Induced Lung Cancer""; ""3 Models and Risk Projections""; ""4 Health Effects of Radon Progeny on Non-Lung-Cancer Outcomes""; ""Appendix A Risk Modeling and Uncertainty Analysis""; ""Appendix B Comparative Dosimetry""; ""Appendix C Tobacco-Smoking and Its Interaction with Radon""; ""Appendix D Miner Studies""; ""Appendix E Exposures of Miners to Radon Progeny"" |
""Appendix E Exposures of Miners to Radon Progeny"" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996465713803316 |
|
|
Titolo |
Graph Transformations and Model-Driven Engineering [[electronic resource] ] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / / edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-39051-4 |
9786613568434 |
3-642-17322-5 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2010.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 768 p. 328 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 5765 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer logic |
Programming languages (Electronic computers) |
Computer communication systems |
Computer programming |
Mathematical logic |
Software Engineering |
Logics and Meanings of Programs |
Programming Languages, Compilers, Interpreters |
Computer Communication Networks |
Programming Techniques |
Mathematical Logic and Formal Languages |
Aufsatzsammlung |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph Transformations: Theory and Applications -- The Edge of Graph Transformation — Graphs for Behavioural Specification -- Graph Transformation by |
|
|
|
|
|
|
|
|
|
|
Computational Category Theory -- On GS-Monoidal Theories for Graphs with Nesting -- Stochastic Modelling and Simulation of Mobile Systems -- Autonomous Units and Their Semantics – The Concurrent Case -- Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation -- Extended Triple Graph Grammars with Efficient and Compatible Graph Translators -- Controlling Reuse in Pattern-Based Model-to-Model Transformations -- Lessons Learned from Building a Graph Transformation System -- Workflow-Driven Tool Integration Using Model Transformations -- Software Architectures and Reengineering -- The Architecture Description Language MoDeL -- Towards Managing Software Architectures with Ontologies -- Using Role-Play Diagrams to Improve Scenario Role-Play -- Reverse Engineering Using Graph Queries -- Graph-Based Structural Analysis for Telecommunication Systems -- Process Support -- Do We Really Know How to Support Processes? Considerations and Reconstruction -- A Meta-Method for Defining Software Engineering Methods -- Techniques for Merging Views of Software Processes -- Embedded Systems Engineering -- Model Checking Programmable Router Configurations -- Architectural Issues of Adaptive Pervasive Systems -- Using Graph Grammars for Modeling Wiring Harnesses – An Experience Report -- Model-Driven Development with Mechatronic UML -- Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent -- Multi-view Modeling to Support Embedded Systems Engineering in SysML -- Engineering Design Applications -- Requirements Engineering in Complex Domains -- Tool Support for Dynamic Development Processes -- An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries -- Integration Tools for Consistency Management between Design Documents in Development Processes -- Towards Semantic Navigation in Mobile Robotics -- Model Driven Engineering in Operative Industrial Process Control Environments. |
|
|
|
|
|
| |