05587nam 22008655 450 99646544560331620230125185400.03-030-58617-010.1007/978-3-030-58617-1(CKB)4100000011631422(DE-He213)978-3-030-58617-1(MiAaPQ)EBC6420687(Au-PeEL)EBL6420687(OCoLC)1231606099(oapen)https://directory.doabooks.org/handle/20.500.12854/30961(PPN)252517660(EXLCZ)99410000001163142220201203d2020 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierErnst Denert Award for Software Engineering 2019[electronic resource] Practice Meets Foundations /edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer1st ed. 2020.Springer Nature2020Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (V, 140 p. 58 illus., 6 illus. in color.) 3-030-58616-2 Ernst Denert Software Engineering Awards 2019 -- Software Engineering -- Applications of Synchronized Pushdown Systems -- Software Developers’ Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- Applied Artifact-Based Analysis for Architecture Consistency Checking -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- Actionable Program Analyses for Improving Software Performance.This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2019. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains five papers describing the works by Sebastian Baltes (U Trier) on Software Developers’Work Habits and Expertise, Timo Greifenberg’s thesis on Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte, Marco Konersmann’s (U Duisburg-Essen) work on Explicitly Integrated Architecture, Marija Selakovic’s (TU Darmstadt) research about Actionable Program Analyses for Improving Software Performance, and Johannes Späth’s (Paderborn U) thesis on Synchronized Pushdown Systems for Pointer and Data-Flow Analysis – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.Software engineeringManagement information systemsComputer scienceSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Software Managementhttps://scigraph.springernature.com/ontologies/product-market-codes/522050Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Software EngineeringSoftware ManagementManagement of Computing and Information SystemsIT in BusinessIT OperationsSoftware DevelopmentRequirements EngineeringSoftware ModelingSoftware ResearchOpen AccessErnst Denert AwardBusiness mathematics & systemsBusiness applicationsInformation architectureMaintenance & repairsSoftware engineering.Management information systems.Computer science.Software Engineering.Software Management.Management of Computing and Information Systems.005.1Felderer Michaelauth1210532Felderer Michaeledthttp://id.loc.gov/vocabulary/relators/edtHasselbring Wilhelmedthttp://id.loc.gov/vocabulary/relators/edtKoziolek Heikoedthttp://id.loc.gov/vocabulary/relators/edtMatthes Florianedthttp://id.loc.gov/vocabulary/relators/edtPrechelt Lutzedthttp://id.loc.gov/vocabulary/relators/edtReussner Ralfedthttp://id.loc.gov/vocabulary/relators/edtRumpe Bernhardedthttp://id.loc.gov/vocabulary/relators/edtSchaefer Inaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465445603316Ernst Denert Award for Software Engineering 20193358435UNISA01397nam a2200325 i 450099100210812970753620250311110514.0990112s1977 it er 101 0 ita db1096048x-39ule_instPARLA154665ExLDip.to FilosofiaitaSocioculturale Scsita335.423Damiani, Franco174404Bakunin nell'Italia post-unitaria :1864-1867 : anticlericalismo, democrazia, questione operaia e contadina negli anni del soggiorno italiano di Bakunin /Franco DamianiMilano :Jaca book,1977265 p. ;18 cmDi fronte e attraverso. Pocket ;17Con appendice di documentiBakunin, Mihail AleksandrovicItalia1864-1867Movimento operaioItalia1864-1867ItaliaStoria1864-1867Di fronte e attraverso.Pocket ;17.b1096048x23-02-1728-06-02991002108129707536LE005 320 BAK01. DAM01. 0112005000036545le005-E0.00-l-00000.i1106986728-06-02LE009 Stor. 80-17312009000025769le009-E0.00-l-00000.i1106987928-06-02Bakunin nell'Italia post-unitaria4325377UNISALENTOle005le00901-01-99ma-itait0206371nam 22006855 450 991095393730332120250806174458.01-4684-0214-510.1007/978-1-4684-0214-8(CKB)3400000000097334(SSID)ssj0001247685(PQKBManifestationID)11774321(PQKBTitleCode)TC0001247685(PQKBWorkID)11195448(PQKB)11016905(DE-He213)978-1-4684-0214-8(MiAaPQ)EBC3082816(PPN)237997738(EXLCZ)99340000000009733420121227d1994 u| 0engurnn#008mamaatxtccrStellar Interiors Physical Principles, Structure, and Evolution /by Carl J. Hansen, Steven D Kawaler1st ed. 1994.New York, NY :Springer New York :Imprint: Springer,1994.1 online resource (XIV, 446 p.)Astronomy and Astrophysics Library,2196-9698Bibliographic Level Mode of Issuance: Monograph0-387-94138-X 1-4684-0216-1 Includes bibliographical references and index.1 Preliminaries -- 1.1 Hydrostatic Equilibrium -- 1.2 An Energy Principle -- 1.3 The Virial Theorem and Its Applications -- 1.4 The Constant-Density Model -- 1.5 Energy Generation and Transport -- 1.6 Stellar Dimensional Analysis -- 1.7 Evolutionary Lifetimes on the Main Sequence -- 1.8 Exercises -- 1.9 References and Suggested Readings -- 2 An Overview of Stellar Evolution -- 2.1 Pre-Main Sequence Evolution -- 2.2 Single Stars On and Near the Main Sequence -- 2.3 Evolution of Single Stars Off the Main Sequence -- 2.4 Late Stages of Evolution -- 2.5 Evolution in Close Binary Systems -- 2.6 Special Kinds of Stars -- 2.7 Concluding Remarks -- 2.8 Exercises -- 2.9 References and Suggested Readings -- 3 Equations of State -- 3.1 Distribution Functions -- 3.2 Blackbody Radiation -- 3.3 Ideal Monatomic Gas -- 3.4 The Saha Equation -- 3.5 Fermi-Dirac Equations of State -- 3.6 “Almost Perfect” Equations of State -- 3.7 Adiabatic Exponents and Other Derivatives -- 3.8 Exercises -- 3.9 References and Suggested Readings -- 4 Radiative and Conductive Heat Transfer -- 4.1 Radiative Transfer -- 4.2 The Diffusion Equation -- 4.3 A Brief Diversion into “?’s” -- 4.4 Radiative Opacity Sources -- 4.5 Heat Transfer by Conduction -- 4.6 Tabulated Opacities -- 4.7 References and Suggested Readings -- 5 Heat Transfer by Convection -- 5.1 The Mixing Length Theory -- 5.2 Variations on the MLT -- 5.3 References and Suggested Readings -- 6 Stellar Energy Sources -- 6.1 Gravitational Energy Sources -- 6.2 Thermonuclear Energy Sources -- 6.3 The Proton-Proton Chains -- 6.4 The Carbon-Nitrogen-Oxygen Cycles -- 6.5 Helium-Burning Reactions -- 6.6 Carbon, Neon, and Oxygen Burning -- 6.7 Silicon “Burning” -- 6.8 Neutrino Emission Mechanisms -- 6.9 Exercises -- 6.10 References and Suggested Readings -- 7 Stellar Modeling -- 7.1 TheEquations of Stellar Structure -- 7.2 Polytropic Equations of State and Polytropes -- 7.3 The Approach to Real Models -- 7.4 References and Suggested Readings -- 8 Structure and Evolution of the Sun -- 8.1 The Sun as the Prototype Star -- 8.2 From the ZAMS to the Present -- 8.3 The Solar Neutrino “Problem” -- 8.4 The Role of Rotation in Evolution -- 8.5 References and Suggested Readings -- 9 Structure and Evolution of White Dwarfs -- 9.1 Observed Properties of White Dwarfs -- 9.2 White Dwarf Evolution -- 9.3 The Magnetic White Dwarfs -- 9.4 References and Suggested Readings -- 10 Asteroseismology -- 10.1 Adiabatic Radial Pulsations -- 10.2 Nonadiabatic Radial Motions -- 10.3 An Introduction to Nonradial Oscillations -- 10.4 Helioseismology -- 10.5 Asteroseismology of White Dwarfs -- 10.6 References and Suggested Readings -- A Glossary -- B Physical and Astronomical Constants -- C Sample Computer Codes -- C.1 The ZAMS Model Builder -- C.2 Adiabatic Pulsation Code.That trees should have been cut down to provide paper for this book was an ecological afIront. From a book review. - Anthony Blond (in the Spectator, 1983) The first modern text on our subject, Structure and Evolution of the Stars, was published over thirty years ago. In it, Martin Schwarzschild described numerical experiments that successfully reproduced most of the observed properties of the majority of stars seen in the sky. He also set the standard for a lucid description of the physics of stellar interiors. Ten years later, in 1968, John P. Cox's tw~volume monograph Principles of Stellar Structure appeared, as did the more specialized text Principles of Stellar Evolution and Nuc1eosynthesis by Donald D. Clayton-and what a difference ten years had made. The field had matured into the basic form that it remains today. The past twenty-plus years have seen this branch of astrophysics flourish and develop into a fundamental pillar of modern astrophysics that addresses an enormous variety of phenomena. In view of this it might seem foolish to offer another text of finite length and expect it to cover any more than a fraction of what should be discussed to make it a thorough and self-contained reference. Well, it doesn't. Our specific aim is to introduce only the fundamentals of stellar astrophysics. You will find little reference here to black holes, millisecond pulsars, and other "sexy" objects.Astronomy and Astrophysics Library,2196-9698AstronomyObservationsAstrophysicsGeophysicsAstronomy, Observations and TechniquesAstrophysicsGeophysicsAstronomyAstrophysics.Geophysics.Astronomy, Observations and Techniques.Astrophysics.Geophysics.520523.86Hansen Carl J.authttp://id.loc.gov/vocabulary/relators/aut53762Kawaler Steven D.authttp://id.loc.gov/vocabulary/relators/autMiAaPQMiAaPQMiAaPQBOOK9910953937303321Stellar Interiors336831UNINA