ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Books  (61)
  • Environmental Management  (38)
  • Software engineering  (23)
  • 2015-2019  (61)
  • 1975-1979
  • 1
    Unknown
    Ecosystem Services for Well-Being in Deltas : Integrated Assessment for Policy Analysis (2018)
    Cham : Palgrave Macmillan
    Details
    Keywords: Environmental policy ; Environmental management ; Sustainable development ; Natural resources ; Environmental Geography ; Environmental Policy ; Environmental Management ; Sustainable Development ; Natural Resources
    Description / Table of Contents: Section 1: Research Highlights and Framework --- 1. Ecosystem Services, Well-Being and Deltas: Current Knowledge and Understanding; W. Neil Adger et al. --- 2. Ecosystem Services Linked to Livelihoods and Well-Being in the Ganges-Brahmaputra-Meghna Delta; Helen Adams, W. Neil Adger and Robert J. Nicholls --- 3. An Integrated Approach Providing Scientific and Policy Relevant Insights for South-West Bangladesh; Robert J Nicholls et al. --- 4. Integrative Analysis for the Ganges-Brahmaputra-Meghna Delta, Bangladesh; Robert J Nicholls et al. --- Section 2: Present Status of the Ganges-Brahmaputra-Meghna Delta --- 5. Recent Trends in Ecosystem Services in Coastal Bangladesh; John A Dearing and Sarwar Hossain --- 6. Governance of Ecosystem Services Across Scales in Bangladesh ; Andrew Allan and Michelle Lim --- 7. Health, Livelihood and Well-Being in the Coastal Delta of Bangladesh; Mofizur Rahman and Sate Ahmad --- 8. Floods and the Ganges-Brahmaputra-Meghna Delta; Anisul Haque and Robert J Nicholls --- Section 3: Scenarios for Policy Analysis --- 9. Integrating Science and Policy Using Stakeholder-Engaged Scenarios; Emily J Barbour et al. --- 10. Incorporating Stakeholder Perspectives in Scenario Development; Andrew Allan, Michelle Lim and Emily J Barbour --- 11. Regional Climate Change over South Asia; John Caesar and Tamara Janes --- 12. Future Scenarios of Economic Development; Alistair Hunt --- Section 4: Observations and Potential Trends --- 13. Biophysical Modelling of the Ganges, Brahmaputra and Meghna Catchment; Paul G Whitehead --- 14. Marine Dynamics and Productivity in the Bay of Bengal; Susan Kay, John Caesar and Tamara Janes --- 15. A Sustainable Future Supply of Fluvial Sediment for the Ganges-Brahmaputra Delta; Stephen E Darby et al. --- 16. Present and Future Fluvial, Tidal and Storm Surge Flooding in Coastal Bangladesh; Anisul Haque, Susan Kay and Robert J Nicholls --- 17. Modelling Tidal River Salinity in Coastal Bangladesh; Lucy Bricheno and Judtih Wold --- 18. Mechanisms and Drivers of Soil Salinity in Coastal Bangladesh; Mashfiqus Salehin et al. --- 19. Population Dynamics in the South-West of Bangladesh; Sylvia Szabo, Sate Ahmad and W Neil Adger --- 20. Land Cover and Land Use Analysis in Coastal Bangladesh;Anirban Mukhopadhyay et al. --- 21. Social, Economic and Environmental Dimensions and Drivers of Poverty in South-West Coastal Bangladesh; Fiifi Amoako Johnson and Craig W Hutton --- 22. Defining Social-Ecological Systems in South-West Bangladesh; Helen Adams et al. --- 23. Characterising Associations Between Poverty and Ecosystem Services; Helen Adams et al. --- Section 5: Present and Future Ecosystem Services --- 24. Prospects for Agriculture under Climate Change and Soil Salinisation; Derek Clarke et al. --- 25. Marine Ecosystems and Fisheries: Trends and Prospect; Manuel Barange et al. --- 26. Dynamics of the Sundarbans Mangroves in Bangladesh Under Climate Change; Anirban Mukhopadhyay et al. --- 27. Hypertension and Malnutrition as Health Outcomes Related to Ecosystem Services; Ali Ahmed et al. Section 6: Integration and Dissemination --- 28. Integrative Analysis Spplying the Delta Dynamic Integrated Emulator Model in South-West Coastal Bangladesh; Attila N. Lázár et al. --- 29. Communicating Integrated Analysis Research Findings; Mashrekur Rahman and Munsur Rahman
    Pages: Online-Ressource (L, 593 pages) , 147 illustrations, 1 illustrations in color
    ISBN: 9783319710938
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-71093-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    Unknown
    Earth Observation Open Science and Innovation (2018)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Remote sensing ; Environmental management ; Earth Sciences ; Earth Sciences, general ; Big Data ; Remote Sensing/Photogrammetry ; Environmental Management ; Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics)
    Description / Table of Contents: This book is published open access under a CC BY 4.0 license. Over  the  past  decades,  rapid developments in digital and sensing technologies, such  as the Cloud, Web and Internet of Things, have dramatically changed the way we live and work. The digital transformation is revolutionizing our ability to monitor our planet and transforming the  way we access, process and exploit Earth Observation data from satellites. This book reviews these megatrends and their implications for the Earth Observation community as well as the wider data economy. It provides insight into new paradigms of Open Science and Innovation applied to space data, which are characterized by openness, access to large volume of complex data, wide availability of new community tools, new techniques for big data analytics such as Artificial Intelligence, unprecedented level of computing power, and new types of collaboration among researchers, innovators, entrepreneurs and citizen scientists. In addition, this book aims to provide readers with some reflections on the future of Earth Observation, highlighting through a series of use cases not just the new opportunities created by the New Space revolution, but also the new challenges that must be addressed in order to make the most of the large volume of complex and diverse data delivered by the new generation of satellites.  
    Pages: Online-Ressource (VIII, 332 pages) , 116 illustrations, 111 illustrations in color
    ISBN: 9783319656335
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-65633-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    Unknown
    The Essence of Software Engineering (2018)
    Cham : Springer
    Details
    Keywords: Software engineering ; Management information systems ; Information Systems ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: 1 The Leading Role of Software and Systems Architecture in the Age of Digitization --- 2 Formal Methods and Agile Development: Towards a Happy Marriage --- 3 Escaping Method Prison – On the Road to Real Software Engineering --- 4 What is software?: The Role of Empirical Methods in Answering the Question --- 5 Only the Architecture You Need --- 6 Variability in standard software products Introducing software product line engineering to the insurance industry --- 7 Using Design Thinking for Requirements Engineering in the Context of Digitalization and Digital Transformation – a Motivation and an Experience Report --- 8 Towards Deviceless Edge Computing: Challenges, Design Aspects & Models for Serverless paradigm at the Edge --- 9 Data-driven decisions and actions in today’s software development --- 10 Software Architecture: Past, Present, Future --- 11 Software Product Lines --- 12 Enabling Flexible and Robust Business Process Automation for the Agile Enterprise --- 13 Achievements, Failures, and the Future of Model-based Software Engineering
    Pages: Online-Ressource (XV, 236 pages) , 98 illustrations, 51 illustrations in color
    ISBN: 9783319738970
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-73897-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    Unknown
    Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Software engineering ; Algorithms ; Computer logic ; Mathematical logic ; Artificial intelligence ; Computer simulation ; Computer Science ; Logics and Meanings of Programs ; Software Engineering ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages ; Algorithm Analysis and Problem Complexity ; Simulation and Modeling
    Description / Table of Contents: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications
    Pages: Online-Ressource (XX, 545 pages) , 106 illustrations
    ISBN: 9783319961422
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-96142-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    Unknown
    Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Software engineering ; Algorithms ; Computer logic ; Mathematical logic ; Artificial intelligence ; Computer simulation ; Computer Science ; Logics and Meanings of Programs ; Software Engineering ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages ; Algorithm Analysis and Problem Complexity ; Simulation and Modeling
    Description / Table of Contents: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications
    Pages: Online-Ressource (XIX, 703 pages) , 146 illustrations
    ISBN: 9783319961453
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-96145-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    Unknown
    Earth Observation Open Science and Innovation (2018)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Remote sensing ; Environmental management ; Earth Sciences ; Earth Sciences, general ; Big Data ; Remote Sensing/Photogrammetry ; Environmental Management ; Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics)
    Description / Table of Contents: This book is published open access under a CC BY 4.0 license. Over  the  past  decades,  rapid developments in digital and sensing technologies, such  as the Cloud, Web and Internet of Things, have dramatically changed the way we live and work. The digital transformation is revolutionizing our ability to monitor our planet and transforming the  way we access, process and exploit Earth Observation data from satellites. This book reviews these megatrends and their implications for the Earth Observation community as well as the wider data economy. It provides insight into new paradigms of Open Science and Innovation applied to space data, which are characterized by openness, access to large volume of complex data, wide availability of new community tools, new techniques for big data analytics such as Artificial Intelligence, unprecedented level of computing power, and new types of collaboration among researchers, innovators, entrepreneurs and citizen scientists. In addition, this book aims to provide readers with some reflections on the future of Earth Observation, highlighting through a series of use cases not just the new opportunities created by the New Space revolution, but also the new challenges that must be addressed in order to make the most of the large volume of complex and diverse data delivered by the new generation of satellites.  
    Pages: Online-Ressource (VIII, 332 pages) , 116 illustrations, 111 illustrations in color
    ISBN: 9783319656335
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-65633-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    Unknown
    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89366-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Data structures (Computer science) ; Computer logic ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Computing Milieux ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation
    Description / Table of Contents: Theorem Proving --- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning --- Efficient verification of imperative programs using auto2 --- Frame Inference for Inductive Entailment Proofs in Separation Logic --- Verified Model Checking of Timed Automata --- SAT and SMT I --- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams --- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving --- Automatic Generation of Precise and Useful Commutativity Conditions --- Bit-Vector Model Counting using Statistical Estimation --- Deductive Verification --- Hoare Logics for Time Bounds --- A Verified Implementation of the Bounded List Container --- Automating Deductive Verification for Weak-Memory Programs --- Software Verification and Optimisation --- Property Checking Array Programs Using Loop Shrinking --- Invariant Synthesis for Incomplete Verification Engines --- Accelerating Syntax-Guided Invariant Synthesis --- Daisy - Framework for Analysis and Optimization of Numerical Programs --- Model Checking --- Oink: an Implementation and Evaluation of Modern Parity Game Solvers --- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) --- Generation of Minimum Tree-like Witnesses for Existential CTL --- From Natural Projection to Partial Model Checking and Back --- Machine Learning --- ICE-based Refinement Type Discovery for Higher-Order Functional Programs --- Strategy Representation by Decision Trees in Reactive Synthesis --- Feature-Guided Black-Box Safety Testing of Deep Neural Networks.
    Pages: Online-Ressource (XX, 429 pages) , 93 illustrations
    ISBN: 9783319899602
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89960-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    Unknown
    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89366-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer hardware ; Computer organization ; Software engineering ; Computer logic ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Computer Systems Organization and Communication Networks ; Computing Methodologies ; Computing Milieux ; Computer Hardware
    Description / Table of Contents: Concurrent and Distributed Systems --- Computing the concurrency threshold of sound free-choice workflow nets --- Fine-Grained Complexity of Safety Verification --- Parameterized verification of synchronization in constrained reconfigurable broadcast networks --- EMME: a formal tool for the ECMAScript Memory Model Evaluation --- SAT and SMT II --- What a Difference a Variable Makes --- Abstraction Refinement for Emptiness Checking of Alternating Data Automata --- Revisiting Enumerative Instantiation --- An Non-linear Arithmetic Procedure for Control-Command Software Verification --- Security and Reactive Systems --- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection --- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts --- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties --- The Refinement Calculus of Reactive Systems Toolset --- Static and Dynamic Program Analysis --- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation --- Optimal Dynamic Partial Order Reduction with Observers --- Structurally Defined Conditional Data-flow Static Analysis --- Geometric Nontermination Arguments --- Hybrid and Stochastic Systems --- Efficient dynamic error reduction for hybrid systems reachability analysis --- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic --- Multi-Cost Bounded Reachability in MDPs --- A Statistical Model Checker for Nondeterminism and Rare Events --- Temporal logic and mu-calculus --- Permutation Games for the Weakly Aconjunctive mu-Calculus --- Symmetry Reduction for the Local Mu-Calculus --- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models --- 7th Competition on Software Verification (SV-COMP) --- 2LS: Memory Safety and Non-Termination (Competition contribution) --- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) --- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-Based Dependency Analysis (Competition Contribution) --- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) --- Map2Check using LLVM and KLEE (Competition Contribution) --- Symbiotic 5: Boosted Instrumentation (Competition Contribution) --- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) --- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) --- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)
    Pages: Online-Ressource (XX, 465 pages) , 92 illustrations
    ISBN: 9783319899633
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89963-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    Unknown
    Agile Processes in Software Engineering and Extreme Programming : 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Agile requirements --- COSMIC User Story Standard --- Improving Mockup-based Requirement Specification with End-User Annotations --- Agile testing --- Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment --- Software tester, we want to hire you! An analysis of the demand for soft skills --- Developers' initial perceptions on TDD practice: A thematic analysis with distinct domains and languages --- Myths and Facts about Static Application Security Testing Tools: An Action Research at Telenor Digital --- Automated Acceptance Tests as Software Requirements: An Experiment to Compare the Applicability of Fit tables and Gherkin Language --- Agile transformation --- Interface Problems of Agile in a Non-Agile Environment --- Enterprise agility: Why is transformation so hard? --- Technical and Organizational Agile Practices: A Latin-American Survey --- Agile Software Development { Adoption & Maturity: An Activity Theory Perspective --- Scaling agile --- Do Agile Methods Work for Large Software Projects? --- Learning in the Large - An Exploratory Study of Retrospectives in Large-Scale Agile Development --- Reporting in Agile Portfolio Management: Routines, Metrics and Artefacts to Maintain an Effective Oversight --- Inter-team Coordination in Large-Scale Agile Development: A Case Study of Three Enabling Mechanisms --- Supporting Large-Scale Agile Development with Domain-driven Design --- Towards Agile Scalability Engineering --- Human-centric agile --- Stress in Agile Software Development: Practices and Outcomes --- Teamwork quality and team performance: Exploring differences between small and large agile projects --- Continuous experimentation --- Challenges and Strategies for Undertaking Continuous Experimentation to Embedded Systems: Industry and Research Perspectives --- ICOs overview: should investors choose an ICO developed with the Lean Startup methodology?
    Pages: Online-Ressource (XV, 309 pages) , 50 illustrations
    ISBN: 9783319916026
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-91602-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    Unknown
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89363-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    Unknown
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89363-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    Unknown
    Ecosystem Services for Well-Being in Deltas : Integrated Assessment for Policy Analysis (2018)
    Cham : Palgrave Macmillan
    Details
    Keywords: Environmental policy ; Environmental management ; Sustainable development ; Natural resources ; Environmental Geography ; Environmental Policy ; Environmental Management ; Sustainable Development ; Natural Resources
    Description / Table of Contents: Section 1: Research Highlights and Framework --- 1. Ecosystem Services, Well-Being and Deltas: Current Knowledge and Understanding; W. Neil Adger et al. --- 2. Ecosystem Services Linked to Livelihoods and Well-Being in the Ganges-Brahmaputra-Meghna Delta; Helen Adams, W. Neil Adger and Robert J. Nicholls --- 3. An Integrated Approach Providing Scientific and Policy Relevant Insights for South-West Bangladesh; Robert J Nicholls et al. --- 4. Integrative Analysis for the Ganges-Brahmaputra-Meghna Delta, Bangladesh; Robert J Nicholls et al. --- Section 2: Present Status of the Ganges-Brahmaputra-Meghna Delta --- 5. Recent Trends in Ecosystem Services in Coastal Bangladesh; John A Dearing and Sarwar Hossain --- 6. Governance of Ecosystem Services Across Scales in Bangladesh ; Andrew Allan and Michelle Lim --- 7. Health, Livelihood and Well-Being in the Coastal Delta of Bangladesh; Mofizur Rahman and Sate Ahmad --- 8. Floods and the Ganges-Brahmaputra-Meghna Delta; Anisul Haque and Robert J Nicholls --- Section 3: Scenarios for Policy Analysis --- 9. Integrating Science and Policy Using Stakeholder-Engaged Scenarios; Emily J Barbour et al. --- 10. Incorporating Stakeholder Perspectives in Scenario Development; Andrew Allan, Michelle Lim and Emily J Barbour --- 11. Regional Climate Change over South Asia; John Caesar and Tamara Janes --- 12. Future Scenarios of Economic Development; Alistair Hunt --- Section 4: Observations and Potential Trends --- 13. Biophysical Modelling of the Ganges, Brahmaputra and Meghna Catchment; Paul G Whitehead --- 14. Marine Dynamics and Productivity in the Bay of Bengal; Susan Kay, John Caesar and Tamara Janes --- 15. A Sustainable Future Supply of Fluvial Sediment for the Ganges-Brahmaputra Delta; Stephen E Darby et al. --- 16. Present and Future Fluvial, Tidal and Storm Surge Flooding in Coastal Bangladesh; Anisul Haque, Susan Kay and Robert J Nicholls --- 17. Modelling Tidal River Salinity in Coastal Bangladesh; Lucy Bricheno and Judtih Wold --- 18. Mechanisms and Drivers of Soil Salinity in Coastal Bangladesh; Mashfiqus Salehin et al. --- 19. Population Dynamics in the South-West of Bangladesh; Sylvia Szabo, Sate Ahmad and W Neil Adger --- 20. Land Cover and Land Use Analysis in Coastal Bangladesh;Anirban Mukhopadhyay et al. --- 21. Social, Economic and Environmental Dimensions and Drivers of Poverty in South-West Coastal Bangladesh; Fiifi Amoako Johnson and Craig W Hutton --- 22. Defining Social-Ecological Systems in South-West Bangladesh; Helen Adams et al. --- 23. Characterising Associations Between Poverty and Ecosystem Services; Helen Adams et al. --- Section 5: Present and Future Ecosystem Services --- 24. Prospects for Agriculture under Climate Change and Soil Salinisation; Derek Clarke et al. --- 25. Marine Ecosystems and Fisheries: Trends and Prospect; Manuel Barange et al. --- 26. Dynamics of the Sundarbans Mangroves in Bangladesh Under Climate Change; Anirban Mukhopadhyay et al. --- 27. Hypertension and Malnutrition as Health Outcomes Related to Ecosystem Services; Ali Ahmed et al. Section 6: Integration and Dissemination --- 28. Integrative Analysis Spplying the Delta Dynamic Integrated Emulator Model in South-West Coastal Bangladesh; Attila N. Lázár et al. --- 29. Communicating Integrated Analysis Research Findings; Mashrekur Rahman and Munsur Rahman
    Pages: Online-Ressource (L, 593 pages) , 147 illustrations, 1 illustrations in color
    ISBN: 9783319710938
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-71093-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    Unknown
    Observing the Volcano World : Volcano Crisis Communication (2018)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Geology ; Natural disasters ; Environmental management ; Communication ; Earth Sciences ; Natural Hazards ; Geology ; Environmental Management ; Communication Studies
    Description / Table of Contents: Part I: Bill McGuire --- Volcano Crisis Communication: Challenges and Solutions in the 21st Century --- Volcanic Gases: Silent Killers --- The Communication and Risk Management of Volcanic Ballistic Hazards --- Part One Summary: Adapting Warnings for Volcanic Hazards --- Part II: Gill Jolly --- Volcanic Unrest and Hazard Communication in Long Valley Volcanic Region, California --- Organisational Response to the 2007 Ruapehu Crater Lake Dam-Break Lahar in New Zealand: Use of Communication in Creating an Effective Response --- Social Representation of Human Resettlement Associated with Risk from Volcán de Colima, Mexico --- Part Two Summary: Observing Volcanic Crises --- Part III: Deanne Bird and Kat Haynes --- Communicating Information on Eruptions and Their Impacts from the Earliest Times Until the Late Twentieth Century --- “There’s no Plastic in Our Volcano”: A Story About Losing and Finding a Path to Participatory Volcanic Risk Management in Colombia --- Challenges of Volcanic Crises on Small Islands States --- Living with an Active Volcano: Informal and Community Learning for Preparedness in South of Japan --- Part Three Summary: Communicating into the Future. Volcanic Crisis Communication: Where Do We Go from Here?
    Pages: Online-Ressource (XV, 771 pages)
    ISBN: 9783319440972
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-44097-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    Unknown
    Designing Sustainable Technologies, Products and Policies : From Science to Innovation (2018)
    Cham : Springer
    Details
    Keywords: Sustainable development ; Environmental management ; Renewable energy sources ; Industrial management-Environmen ; Sustainable Development ; Environmental Management ; Renewable and Green Energy ; Environmental Science and Engineering ; Sustainability Management
    Description / Table of Contents: Part I: Introducing Life Cycle Management --- Introduction: Life Cycle Management --- Life Cycle Management: Implementing Sustainability in Business Practice --- Life Cycle Management as a Way to Operationalize Sustainability Within Organizations --- How to Implement Life Cycle Management in Business? --- Life Cycle Sustainability Assessment: A Tool for Exercising due Diligence in Life Cycle Management --- Life Cycle Management: Labeling, Declarations and Certifications at the Product Level —Different Approaches --- Mainstreaming the Use of Life Cycle Management in Small and Medium Sized Enterprises Using a Sector Based and Regional Approach --- Part II: Advancing the Implementation of Life Cycle Management in Business Practice --- From Projects to Processes to Implement Life Cycle Management in Business --- How to Make the LCA Team a Business Partner --- Sustainability Improvements and Life Cycle Approaches in Industry Partnerships --- Sustainable Value Creation with Life Cycle Management --- Part III: Life Cycle Management as Part of Sustainable Consumption and Production Strategies and Policies --- Hotspots Analysis: Providing the Focus for Action --- From Sustainable Production to Sustainable Consumption.-Life Cycle Management Responsibilities and Procedures in the Value Chain --- Policy Options for Life Cycle Assessment Deployment in Legislation --- Part IV: Mainstreaming and Capacity Building on Life Cycle Management --- Taking Life Cycle Management Mainstream: Integration in Corporate Finance and Accounting --- Building Organizational Capability for Life Cycle Management --- Promoting Life Cycle Thinking, Life Cycle Assessment and Life Cycle Management Within Business in Brazil --- Mainstreaming Life Cycle Sustainability Management in Rapidly Growing and Emerging Economies Through Capacity-building.-Communication and Collaboration as Essential Elements for Mainstreaming Life Cycle Management.-Part V: Implementation and Case Studies of Life Cycle Management in Different Business and Industry Sector --- Exploring Challenges and Opportunities of Life Cycle Management in the Electricity Sector --- Life Cycle Management Applied to Urban Fabric Planning --- Implementing Life Cycle Engineering in Automotive Development as a Helpful Management Tool to Support Design for Environment --- Managing Life cycle Sustainability Aspects in the Automotive Industry --- Life Cycle Management as a Way to Operationalize the Creating Shared Value Concept in the Food and Beverage Industry: A Case Study
    Pages: Online-Ressource (XIV, 520 pages) , 106 illustrations, 27 illustrations in color
    ISBN: 9783319669816
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-66981-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    Unknown
    Biofuels and Sustainability : Holistic Perspectives for Policy-making (2018)
    Tokyo : Springer
    Details
    Keywords: Environment ; Renewable energy resources ; Energy policy ; Energy and state ; Ecosystems ; Renewable energy sources ; Alternate energy sources ; Green energy industries ; Environmental law ; Environmental policy ; Environmental management ; Sustainable development ; Environment ; Sustainable Development ; Energy Policy, Economics and Management ; Ecosystems ; Environmental Management ; Renewable and Green Energy ; Environmental Law/Policy/Ecojustice
    Description / Table of Contents: Preface.-Introduction.-Part 1: Biofuels and Sustainability Conceptual Framework --- Chapter 1. Sustainability Science Perspective for Biofuels [Takeuchi, Matsuda] --- Chapter 2. Stakeholder perspectives and Multilevel Governance [Shiroyama, Matsuura] --- Chapter 3. Applying stakeholder perspectives to sustainable biofuel strategy: a summary of our analyses [Shiroyama, Matsuura].-Part 2: Impacts on land use and ecosystem services --- Chapter 4. Global Economic and Environmental Impacts - Economic Impacts of biofuels and related policy [Suzuki and Takahashi] --- Chapter 5. Global Economic and Environmental Impacts - Environmental impacts of biofuel production on the GHG emission reduction [Hanaki] --- Chapter 6. Impacts at the National & Regional Scales - Land use change impacts [Hayashi] --- Chapter 7. Impacts at the National & Regional Scales - Socioeconomic impacts in East Asia [Elder, Kozima, Sano and Hayashi] --- Chapter 8. Social, Economic and Political Impacts - Socio-Political impacts to the roles of stakeholders [Shiroyama and Matsuura ] --- Chapter 9. Social, Economic and Political Impacts - Impacts on ecosystem services [Alexandros and Stromberg] --- Part 3: Sustainable biofuels strategy options --- Chapter 10. Roadmap for building sustainable strategy options - Developing sustainable strategy options [Shiroyama and Matsuura] --- Chapter 11. Roadmap for building sustainable strategy options - Application of Ontology for developing strategy options [Kozaki, Mizoguchi and Saito] --- Chapter 12. Key strategies for policy makers - Global Strategies options [Arai, Matsuda and Suzuki] --- Chapter 13. Key strategies for policy makers - Regional Strategy options for East Asia [Elder, Kozima, Sano and Hayashi] --- Chapter 14. Key strategies for policy makers - National strategy options for Japan [Shiroyama, Matsuura and Saito]
    Pages: Online-Ressource (VI, 265 pages) , 72 illustrations, 22 illustrations in color
    ISBN: 9784431548959
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-54895-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    Unknown
    Advancing Energy Policy : Lessons on the integration of Social Sciences and Humanities (2018)
    Cham : Palgrave Pivot
    Details
    Keywords: Energy ; Energy policy ; Energy and state ; Environmental geography ; Environmental management ; Energy ; Energy Policy, Economics and Management ; Environment Studies ; Environmental Geography ; Environmental Management
    Description / Table of Contents: Foreword 1. Making Multiple Views Count – Why Energy Research Needs to Be Interdisciplinary; Gerd Schönwälder --- Foreword 2. Multidisciplinary Partnerships for Access to Energy; Lidia Borrell-Damián --- Foreword 3. Energy Policies Outside the Silos; Ernst Ulrich von Weizsäcker --- Chapter 1. Introduction: Mobilising the Energy-Related Social Sciences and Humanities; Chris Foulds, Rosie Robison --- Part I. Energy as a Social Issue --- Chapter 2. Plugging the Gap Between Energy Policy and the Lived Experience of Energy Poverty: Five Principles for a Multidisciplinary Approach; Lucie Middlemiss, Ross Gillard, Victoria Pellicer, Koen Straver --- Chapter 3. Shaping Blue Growth: Social Sciences at the Nexus Between Marine Renewables and Energy Policy; Sandy Kerr, Laura Watts, Ruth Brennan, Rhys Howell, Marcello Graziano, Anne Marie O’Hagan, Dan van der Horst, Stephanie Weir, Glen Wright, Brian Wynne --- Chapter 4. Looking for Perspectives! EU Energy Policy in Context; Anna Åberg, Johanna Höffken, Susanna Lidström --- Part II. Social Sciences and Humanities in Interdisciplinary Endeavours --- Chapter 5. Achieving Data Synergy: The Socio-Technical Process of Handling Data; Sarah Higginson, Marina Topouzi, Carlos Andrade-Cabrera, Ciara O’Dwyer, Sarah Darby, Donal Finn --- Chapter 6. Building Governance and Energy Efficiency: Mapping the Interdisciplinary Challenge; Frankie McCarthy, Susan Bright, Tina Fawcett --- Chapter 7. Crossing Borders: Social Sciences and Humanities Perspectives on European Energy Systems Integration; Antti Silvast, Ronan Bolton, Vincent Lagendijk, Kacper Szulecki --- Chapter 8. A Complementary Understanding of Residential Energy Demand, Consumption and Services; Ralitsa Hiteva, Matthew Ives, Margot Weijnen, Igor Nikolic --- Part III. Interplay with Energy Policymaking Environments --- Chapter 9. Imaginaries and Practices: Learning from ‘ENERGISE’ About the Integration of Social Sciences with the EU Energy Union; Audley Genus, Frances Fahy, Gary Goggins, Marfuga Iskandarova, Senja Laakso --- Chapter 10. Challenges Ahead: Understanding, Assessing, Anticipating and Governing Foreseeable Societal Tensions to Support Accelerated Low-Carbon Transitions in Europe; Bruno Turnheim, Joeri H. Wesseling, Bernhard Truffer, Harald Rohracher, Luis Carvalho, Claudia R. Binder --- Chapter 11. Towards a Political Ecology of EU Energy Policy; Gavin Bridge, Stefania Barca, Begüm Özkaynak, Ethemcan Turhan, Ryan Wyeth --- Afterword 1. Important Contributions Towards Renewal of a Stubborn Energy Research and Policy Agenda; Harold Wilhite --- Afterword 2. A New Energy Storyline; Inês Campos
    Pages: Online-Ressource (XXVII, 193 pages) , 11 illustrations
    ISBN: 9783319990972
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-99097-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    Unknown
    Earth Observation Open Science and Innovation (2018)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Remote sensing ; Environmental management ; Earth Sciences ; Earth Sciences, general ; Big Data ; Remote Sensing/Photogrammetry ; Environmental Management ; Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics)
    Description / Table of Contents: This book is published open access under a CC BY 4.0 license. Over  the  past  decades,  rapid developments in digital and sensing technologies, such  as the Cloud, Web and Internet of Things, have dramatically changed the way we live and work. The digital transformation is revolutionizing our ability to monitor our planet and transforming the  way we access, process and exploit Earth Observation data from satellites. This book reviews these megatrends and their implications for the Earth Observation community as well as the wider data economy. It provides insight into new paradigms of Open Science and Innovation applied to space data, which are characterized by openness, access to large volume of complex data, wide availability of new community tools, new techniques for big data analytics such as Artificial Intelligence, unprecedented level of computing power, and new types of collaboration among researchers, innovators, entrepreneurs and citizen scientists. In addition, this book aims to provide readers with some reflections on the future of Earth Observation, highlighting through a series of use cases not just the new opportunities created by the New Space revolution, but also the new challenges that must be addressed in order to make the most of the large volume of complex and diverse data delivered by the new generation of satellites.  
    Pages: Online-Ressource (VIII, 332 pages) , 116 illustrations, 111 illustrations in color
    ISBN: 9783319656335
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-65633-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 20
    Unknown
    The Ecological Scarcity Method for the European Union : A Volkswagen Research Initiative: Environmental Assessments (2018)
    Wiesbaden : Springer
    Details
    Keywords: Environment ; Environmental management ; Sustainable development ; Pollution prevention ; Environment ; Environmental Management ; Sustainable Development ; Industrial Pollution Prevention
    Description / Table of Contents: This book is published open access under a CC BY 4.0 license. This report transfers the Ecological Scarcity Method (ESM) to the EU and its 28 member states. It provides a powerful tool for unbiased environmental assessments in enterprises and surveys the current impacts and the targets published by environmental authorities, specifically the European Environment Agency. ESM assesses environmental impacts of manufacturing sites and production processes. Developed in 1990 in Switzerland, ESM has already gained regulatory status in proving entitlements for tax exemptions. The method assesses all important impacts in air, water, energy consumption, waste generation and freshwater consumption and also supports en vironmental investment decisions. Contents Methodological Basics  Data Research and Results Eco Factors for EU28 Target Groups Practitioners in industries and public authorities in the field of Environment  Researchers and students of Ecological Sciences and Industrial Management About the Authors Dr. Stephan Ahbe is initiator and author of Swiss Ecological Scarcity Method published in 1990 and today develops Environmental Management Systems at SYRCON in Darmstadt, Germany. Dr. Simon Weihofen is Environmental and Energy Manager in Group Management at E.ON SE in Essen, Germany. Dr. Steffen Wellge is an Environmental and Energy Management Specialist at the Volkswagen Group Research, Wolfsburg, Germany
    Pages: Online-Ressource (XIV, 93 pages) , 5 illustrations
    ISBN: 9783658195069
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-19506-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    Unknown
    Rangeland Systems : Processes, Management and Challenges (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Ecology ; Climate change ; Environmental law ; Environmental policy ; Environmental management ; Environment ; Environmental Management ; Environmental Law/Policy/Ecojustice ; Ecology ; Climate Change
    Description / Table of Contents: 1. Conceptual development toward a rangeland systems framework --- Part: 1 Processes --- 2. Woody plant encroachment --- 3. Ecohydrology: processes and implications for rangelands --- 4. Soil and belowground processes --- 5. Structural heterogeneity as the basis for rangeland management --- 6. Non-equilibrium ecology and resilience theory --- 7. Ecological consequences of climate change on rangelands --- Part: 2 Management --- 8. Rangelands as social-ecological systems --- 9. State and transition models: theory, applications, and challenges --- 10. Livestock production systems --- 11. Adaptive management of rangeland systems --- 12. Managing the livestock-wildlife interface on rangelands --- Part: 3 Challenges --- 13. Invasive plant species and novel rangeland systems --- 14. Rangeland ecosystem services: nature´s supply and humans´ demand --- 15. Managing climate change risks in rangeland systems --- 16. Monitoring protocols: options, approaches, implementation, benefits --- 17. Rangeland systems in developing nations: conceptual advances and societal implications
    Pages: Online-Ressource (XV, 661 pages) , 101 illustrations, 69 illustrations in color
    ISBN: 9783319467092
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-46709-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 22
    Unknown
    Open Source Systems: Towards Robust Practices : 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Software engineering ; Computers ; Law and legislation ; Management information systems ; Computer Science ; Management of Computing and Information Systems ; Software Engineering ; Legal Aspects of Computing ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: This book is open access under a CC BY license. This book constitutes the refereed proceedings of the 13th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2017, held in Buenos Aires, Argentina, in May 2017. The 16 revised full papers and 3 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics related to free, libre, and open source software (FLOSS), including: licensing, strategies, and practices; case studies; projects, communication, and participation; tools; and project management, development and evaluation
    Pages: Online-Ressource (XIV, 220 pages) , 37 illustrations
    ISBN: 9783319577357
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57735-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 23
    Unknown
    S-BPM in the Production Industry : A Stakeholder Approach (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Industrial management ; Software engineering ; Application software ; Computer Science ; Computer Appl. in Administrative Data Processing ; Business Process Management ; Information Systems Applications (incl. Internet) ; Software Engineering ; Software Management
    Description / Table of Contents: Introduction --- Industrial Challenges. S-BPM's Industrial Capabilities --- Lot-Size One Production. People-Centred Production Design --- Human-Controlled Production --- Learnings --- The Future: Obstacles and Opportunities
    Pages: Online-Ressource (XIV, 232 pages) , 78 illustrations
    ISBN: 9783319484662
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-48466-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 24
    Unknown
    Habitats and Biota of the Gulf of Mexico: Before the Deepwater Horizon Oil Spill : Volume 2: Fish Resources, Fisheries, Sea Turtles, Avian Resources, Marine Mammals, Diseases and Mortalities (2017)
    New York, NY : Springer
    Details
    Keywords: Environment ; Environmental management ; Marine sciences ; Freshwater ; Environment ; Environmental Management ; Marine & Freshwater Sciences
    Description / Table of Contents: This book is open access under a CC BY-NC 2.5 license. The Gulf of Mexico is an open and dynamic marine ecosystem rich in natural resources but heavily impacted by human activities, including agricultural, industrial, commercial and coastal development. Nutrients and pollutants from coastal communities and dozens of rivers flow into the Gulf, including material from the Mississippi River watershed, which drains over one third of continental United States. The Gulf of Mexico has been continuously exposed to petroleum hydrocarbons for millions of years from natural oil and gas seeps on the sea floor, and more recently from oil drilling and production activities located in the water near and far from shore. Major accidental oil spills in the Gulf are infrequent; two of the most significant include the Ixtoc I blowout in the Bay of Campeche in 1979 and the Deepwater Horizon Oil Spill in 2010. Unfortunately, baseline assessments of the status of habitats and biota in the Gulf of Mexico before these spills either were not available, or the data had not been systematically compiled in a way that would help scientists assess the potential short-term and long-term effects of such events. This 2-volume series compiles and summarizes thousands of data sets showing the status of habitats and biota in the Gulf of Mexico before the Deepwater Horizon Oil Spill that began on April 20, 2010. Volume 1 begins with an overview of the following 13 chapters and focuses on the big picture rather than the details of habitat quality and biota.  Volume 1 covers: • Water and sediment quality and contaminants, to provide perspective on environmental conditions in the Gulf. • Natural oil and gas seeps in the Gulf of Mexico, to identify natural sources of exposure to petroleum hydrocarbons. • Coastal habitats, including flora and fauna and coastal geology. • Offshore benthos and plankton, with an analysis of current knowledge on energy capture and energy flows in the Gulf. • Shellfish and finfish resources that provide the basis for commercial and recreational fisheries. Volume 2 covers: • Historical data on commercial and recreational fisheries, with an analysis of marketing trends and drivers. • Ecology, populations and risks to birds, sea turtles and marine mammals in the Gulf of Mexico. • A final chapter extensively illustrated with original images on diseases and mortalities of fish and other animals that inhabit the Gulf of Mexico.  Chapters in these volumes have been peer reviewed by scientific experts in the subject areas covered.  Hopefully, the collection and analysis of such data for the Gulf of Mexico will be continued and sponsored by responsible federal and state agencies with the frequency needed to accurately assess potential damage to natural resources from ecologically harmful events that may occur in the future
    Pages: Online-Ressource (LXV, 891 pages) , 551 illustrations, 519 illustrations in color
    ISBN: 9781493934560
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4939-3456-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 25
    Unknown
    Freshwater Governance for the 21st Century (2017)
    Cham : Springer
    Details
    Keywords: Environmental management ; International relations ; Behavioral sciences ; Environmental law ; Environmental policy ; Water ; Water Policy/Water Governance/Water Management ; Environmental Law/Policy/Ecojustice ; Environmental Management ; International Relations ; Behavioral Sciences
    Description / Table of Contents: 1. Introduction and Reflections --- 2. The Establishment of Catchment Management Agencies in South Africa with Reference to the Flussgebietsgemeinschaft Elbe: Some Practical Considerations --- 3. Towards Inclusive Water Governance: OECD Evidence and Key Principles of Stakeholder Engagement in the Water Sector --- 4. Free-Market Economics and Developmental Statism as Political Paradigms: Implications for Water Governance Theory and Practice in Developing Countries --- 5. Urban Water Governance as a Function of the “Urban Hydrosocial Transition” --- 6. Urban Water Governance for the 21st Century: A Portfolio-Based Approach to Planning and Management --- 7. Rights-Based Freshwater Governance for the 21st Century: Beyond an Exclusionary Focus on Domestic Water uses --- 8. Inclusive Transboundary Water Governance --- 9. Mechanisms for Inclusive Governance --- 10. Water Integrity - from Concept to Practice --- 11. Addressing the Groundwater Governance Challenge: A Call from the “Groundwater Governance: A Global Framework for Action” Project --- 12. Water Governance Futures in South Asia and Southern Africa: Déjà vu all Over Again?
    Pages: Online-Ressource (XXVII, 250 pages) , 39 illustrations, 28 illustrations in color
    ISBN: 9783319433509
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-43350-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 26
    Unknown
    Evaluating Climate Change Action for Sustainable Development (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Climate change ; Environmental management ; Sustainable development ; Environment ; Climate Change ; Sustainable Development ; Climate Change/Climate Change Impacts ; Environmental Management
    Description / Table of Contents: 1. Introduction --- 2. Action on Climate Change: What Does it Mean and Where Does it Lead To? --- Part 1. Policy --- 3. Mainstreaming Impact Evidence in Climate Change and Sustainable Development --- 4. Pathway to Impact: Supporting and Evaluating Enabling Environments for Research for Development --- 5. Lessons from Taking Stock of 12 years of Swiss International Cooperation on Climate Change --- 6. An Analytical Framework for Evaluating a Diverse Climate Change Portfolio --- 7. Enhancing the Joint Crediting Mechanism MRV to Contribute to Sustainable Development --- Part 2. Climate Change Mitigation --- 8. Using Mixed Methods to Assessing Trade-offs Between Agricultural Decisions and Deforestation --- 9. Methodological Approach of the GEF IEO’s Climate Change Mitigation Impact Evaluation: Assessing Progress in Market Change for Reduction of CO2 Emissions --- 10. Integrating Avoided Emissions in Climate Change Evaluation Policies for LDCs: The Case of Passive Solar Houses in Afghanistan --- 11. Sustainable Development, Climate Change, and Renewable Energy in Rural Central America --- 12. Unpacking the Black Box of Technology Distribution, Development Potential and Carbon Markets Benefits --- Part 3. Climate Change Adaptation.-13. What do Evaluations Tell Us About Climate Change Adaptation? Meta-Analysis with a Realist Approach --- 14. Adaptation Processes in Agriculture and Food Security: Insights from Evaluating Behavioral Changes in West Africa --- 15. Using Participatory Approaches in Measuring Resilience and Development in Isiolo County, Kenya --- 16. Evaluating Climate Change Adaptation in Practice: A Child-Centred, Community-Based Project in the Philippines --- 17. Drought Preparedness Policies and Climate Change Adaptation and Resilience Measures in Brazil: An Institutional Change Assessment --- 18. The Adaptation M&E Navigator: A Decision Support Tool for the Selection of Suitable Approaches to Monitor and Evaluate Adaptation to Climate Change
    Pages: Online-Ressource (XXIV, 355 pages) , 44 illustrations, 36 illustrations in color
    ISBN: 9783319437026
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-43702-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 27
    Unknown
    The Interconnected Arctic — UArctic Congress 2016 (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Climate change ; Medical research ; Environmental management ; Economics ; Quality of life ; Environment ; Environmental Management ; Climate Change/Climate Change Impacts ; Quality of Life Research ; Environment Studies ; Economic Systems
    Description / Table of Contents: Part I Vulnerability of the Arctic environments. Chapter 1 Mysteries of the geological history of the Cenozoic Arctic Ocean sea ice cover --- Chapter 2 Response of Arctic alpine biota to climate change -evidence from Polar Urals GLORIA summits --- Chapter 3 The features of natural and artificial recovery in quarries of the forest-tundra zone of Western Siberia --- Chapter 4 The concept of hierarchical structure of large marine ecosystems in the zoning of Russian Arctic shelf seas --- Chapter 5 Changing climate and outbreaks of forest pest insects in a cold northern country, Finland --- Chapter 6 Wood-based energy as a strategy for climate change mitigation in the Arctic –Perspectives on assessment of climate impacts and resource efficiency with Life Cycle Assessment --- Chapter 7. Geospatial analysis of persistent organic pollutant deposits in the Arctic ecosystems and environment --- Chapter 8 Hydrological probabilistic model MARCS and its application to simulate the probability density functions of multi-year maximal runoff: the Russian Arctic as a case of study --- Chapter 9 Student contribution: Assessment of Atmospheric Circulation in the Atlantic-Eurasian Region and Arctic Using Climate Indices. The Possible Applications of these Indices in Long-term Weather Forecasts --- Chapter 10 Student contribution: Difficulties of Geological Engineering in Arctic Seas --- Part II Vulnerability of the Arctic societies. Chapter 11 The Health Transition: A challenge to indigenous peoples in the Arctic --- Chapter 12 Uncertainties in Arctic socio-economic scenarios --- Chapter 13 Importance of consideration of climate change at managing fish stocks: A case of northern Russian fisheries --- Chapter 14 Preservation of territories and traditional activities of the northern indigenous peoples in the period of the Arctic industrial development --- Chapter 15 The Arctic journey – design experiments in the north --- Chapter 16 The Bicycle and the Arctic. Resilient and sustainable transport in times of climate change --- Part III Building the long-term human capacity. Chapter 17 Human capital development in the Russian Arctic --- Chapter 18 Impact of wages on employment and migration in the High North of Russia --- chapter 19 Well-being in an Arctic city. Designing a longitudinal study on student relationships and perceived quality of life --- Chapter 20 Researching Links between Teacher Wellbeing and Educational Change: Case Studies from Kazakhstan and Sakha Republic --- chapter 21 Student contribution: Well-being at the Polish polar station, Svalbard: Adaptation to extreme environments --- Part IV Arcitc tourism. Chapter 22 Tourism futures in the Arctic --- chapter 23 Uniqueness as a draw for riding under the midnight sun --- Chapter 24 Arctic tourism: the design approach with reference to the Russian North --- Part V Arctic safety. Chapter 25 Maritime operations and emergency preparedness in the Arctic –competence standards for search and rescue operations contingencies in polar waters --- Chapter 26 Risk reduction as a result of implementation of the functional based IMO Polar Code in the Arctic cruise industry --- Chapter 27 Safety of industrial development and transportation routes in the Arctic (SITRA) -collaboration project for research and education of future High North experts --- Chapter 28 Safe Snow and Ice Construction to Arctic Conditions --- Chapter 29 The components of psychological safety of oil and gas shift workers in the Arctic --- Part VI Circumpolar, inclusive and reciprocal Arctic. Chapter 30 Where is gender? Cracking the Arctic box and its persistent “gender neutral” research agendas --- Chapter 31 Towards an Arctic awakening: Neocolonialism, sustainable development, emancipatory research, collective action, and Arctic regional policymaking
    Pages: Online-Ressource (XIV, 311 pages) , 78 illustrations, 69 illustrations in color
    ISBN: 9783319575322
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57532-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 28
    Unknown
    Rangeland Systems : Processes, Management and Challenges (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Ecology ; Climate change ; Environmental law ; Environmental policy ; Environmental management ; Environment ; Environmental Management ; Environmental Law/Policy/Ecojustice ; Ecology ; Climate Change
    Description / Table of Contents: 1. Conceptual development toward a rangeland systems framework --- Part: 1 Processes --- 2. Woody plant encroachment --- 3. Ecohydrology: processes and implications for rangelands --- 4. Soil and belowground processes --- 5. Structural heterogeneity as the basis for rangeland management --- 6. Non-equilibrium ecology and resilience theory --- 7. Ecological consequences of climate change on rangelands --- Part: 2 Management --- 8. Rangelands as social-ecological systems --- 9. State and transition models: theory, applications, and challenges --- 10. Livestock production systems --- 11. Adaptive management of rangeland systems --- 12. Managing the livestock-wildlife interface on rangelands --- Part: 3 Challenges --- 13. Invasive plant species and novel rangeland systems --- 14. Rangeland ecosystem services: nature´s supply and humans´ demand --- 15. Managing climate change risks in rangeland systems --- 16. Monitoring protocols: options, approaches, implementation, benefits --- 17. Rangeland systems in developing nations: conceptual advances and societal implications
    Pages: Online-Ressource (XV, 661 pages) , 101 illustrations, 69 illustrations in color
    ISBN: 9783319467092
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-46709-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 29
    Unknown
    Scaling a Software Business : The Digitalization Journey (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Common challenges with software --- The map --- A holistic view to change --- The compass --- The journeys --- Co-develop in a community --- Charing is caring --- A thriving Open Source culture behind the wall --- Keeping the doors open.- Building ecosystems --- Pushing the boundaries --- Add supplementary services --- Adding Internet to things --- Boosting product sales by services --- Deliver 24/7 --- Pruning a bush --- Ensuring prima deliveries --- Pump up the volume --- Global R&D goes agile with SAFe --- Multi-site development --- Agile and disciplined --- Scaling Agile in Automotive --- Scaling Agile in Life sciences --- Outside the box --- Efficient communication --- Outsourcing Strategy at Sony Mobile --- Not so shore anymore --- Play it again, Sam, backwards --- First things first --- Robotic growing pains --- Softhouse reflects on architecture changes --- From mobile to Platform --- Your journey
    Pages: Online-Ressource (XXIII, 242 pages)
    ISBN: 9783319531168
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-53116-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 30
    Unknown
    Agile Processes in Software Engineering and Extreme Programming : 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Improving Agile Processes --- Reflection in Agile Retrospectives --- What influences the speed of prototyping? An empirical investigation of twenty software startups --- Key Challenges in Agile Requirements Engineering --- A Multiple Case Study on Selecting a Technique for User-Interaction Data Collecting --- Comparing Requirements Decomposition within the Scrum, Scrum with Kanban, XP, and Banana Development Processes --- Effects of Technical Debt Awareness: A classroom study --- Agile in Organizations --- Don’t Forget to Breathe: A Controlled Trial of Mindfulness Practices in Agile Project Teams --- Enhancing Agile Team Collaboration through the use of Large Digital Multi-touch Cardwalls --- Knowledge Sharing in a Large Agile Organisation: A Survey Study --- Teaching Agile Methods to Software Engineering Professionals: 10 Years, 1000 Release Plans --- Are Software Startups Applying Agile? the State of the Practice from a Large Survey --- Adopting Test Automation on Agile Development Projects: A Grounded Theory Study of Indian Software Organizations --- Safety Critical Software --- How is security testing done in agile teams? A cross-case analysis of four software teams --- An assessment of avionics software development practice: justifications for an agile development process --- Short Research Papers --- Inoculating an Agile Company with User-Centred Design: an Empirical Study --- On the Usage and Benefits of Agile Methods & Practices --- Checklists to Support Test Charter Design in Exploratory Testing --- Discovering Software Process Deviations Using Visualizations --- Exploring Workflow Mechanisms and Task Allocation Strategies in Agile Software Teams --- Are daily stand-up meetings valuable? A survey of developers in software teams --- Doctoral Symposium Papers --- Knowledge Management and Reflective Practice in Daily Stand-up and Retrospective Meetings --- Self-Assignment: Task Allocation Practice in Agile Software Development --- Software Development Practices Patterns.
    Pages: Online-Ressource (XIII, 306 pages) , 55 illustrations
    ISBN: 9783319576336
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57633-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 31
    Unknown
    Freshwater Governance for the 21st Century (2017)
    Cham : Springer
    Details
    Keywords: Environmental management ; International relations ; Behavioral sciences ; Environmental law ; Environmental policy ; Water ; Water Policy/Water Governance/Water Management ; Environmental Law/Policy/Ecojustice ; Environmental Management ; International Relations ; Behavioral Sciences
    Description / Table of Contents: 1. Introduction and Reflections --- 2. The Establishment of Catchment Management Agencies in South Africa with Reference to the Flussgebietsgemeinschaft Elbe: Some Practical Considerations --- 3. Towards Inclusive Water Governance: OECD Evidence and Key Principles of Stakeholder Engagement in the Water Sector --- 4. Free-Market Economics and Developmental Statism as Political Paradigms: Implications for Water Governance Theory and Practice in Developing Countries --- 5. Urban Water Governance as a Function of the “Urban Hydrosocial Transition” --- 6. Urban Water Governance for the 21st Century: A Portfolio-Based Approach to Planning and Management --- 7. Rights-Based Freshwater Governance for the 21st Century: Beyond an Exclusionary Focus on Domestic Water uses --- 8. Inclusive Transboundary Water Governance --- 9. Mechanisms for Inclusive Governance --- 10. Water Integrity - from Concept to Practice --- 11. Addressing the Groundwater Governance Challenge: A Call from the “Groundwater Governance: A Global Framework for Action” Project --- 12. Water Governance Futures in South Asia and Southern Africa: Déjà vu all Over Again?
    Pages: Online-Ressource (XXVII, 250 pages) , 39 illustrations, 28 illustrations in color
    ISBN: 9783319433509
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-43350-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 32
    Unknown
    Evaluating Climate Change Action for Sustainable Development (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Climate change ; Environmental management ; Sustainable development ; Environment ; Climate Change ; Sustainable Development ; Climate Change/Climate Change Impacts ; Environmental Management
    Description / Table of Contents: 1. Introduction --- 2. Action on Climate Change: What Does it Mean and Where Does it Lead To? --- Part 1. Policy --- 3. Mainstreaming Impact Evidence in Climate Change and Sustainable Development --- 4. Pathway to Impact: Supporting and Evaluating Enabling Environments for Research for Development --- 5. Lessons from Taking Stock of 12 years of Swiss International Cooperation on Climate Change --- 6. An Analytical Framework for Evaluating a Diverse Climate Change Portfolio --- 7. Enhancing the Joint Crediting Mechanism MRV to Contribute to Sustainable Development --- Part 2. Climate Change Mitigation --- 8. Using Mixed Methods to Assessing Trade-offs Between Agricultural Decisions and Deforestation --- 9. Methodological Approach of the GEF IEO’s Climate Change Mitigation Impact Evaluation: Assessing Progress in Market Change for Reduction of CO2 Emissions --- 10. Integrating Avoided Emissions in Climate Change Evaluation Policies for LDCs: The Case of Passive Solar Houses in Afghanistan --- 11. Sustainable Development, Climate Change, and Renewable Energy in Rural Central America --- 12. Unpacking the Black Box of Technology Distribution, Development Potential and Carbon Markets Benefits --- Part 3. Climate Change Adaptation.-13. What do Evaluations Tell Us About Climate Change Adaptation? Meta-Analysis with a Realist Approach --- 14. Adaptation Processes in Agriculture and Food Security: Insights from Evaluating Behavioral Changes in West Africa --- 15. Using Participatory Approaches in Measuring Resilience and Development in Isiolo County, Kenya --- 16. Evaluating Climate Change Adaptation in Practice: A Child-Centred, Community-Based Project in the Philippines --- 17. Drought Preparedness Policies and Climate Change Adaptation and Resilience Measures in Brazil: An Institutional Change Assessment --- 18. The Adaptation M&E Navigator: A Decision Support Tool for the Selection of Suitable Approaches to Monitor and Evaluate Adaptation to Climate Change
    Pages: Online-Ressource (XXIV, 355 pages) , 44 illustrations, 36 illustrations in color
    ISBN: 9783319437026
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-43702-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    Unknown
    Habitats and Biota of the Gulf of Mexico: Before the Deepwater Horizon Oil Spill : Volume 1: Water Quality, Sediments, Sediment Contaminants, Oil and Gas Seeps, Coastal Habitats, Offshore Plankton and Benthos, and Shellfish (2017)
    New York, NY : Springer
    Details
    Keywords: Environment ; Environmental management ; Marine sciences ; Freshwater ; Environment ; Environmental Management ; Marine & Freshwater Sciences
    Description / Table of Contents: 1.Habitats And Biota Of The Gulf Of Mexico: An Overview --- 2.Water Quality Of The Gulf Of Mexico --- 3.Sediments Of The Gulf Of Mexico --- 4.Sediment Contaminants Of The Gulf Of Mexico --- 5.Oil And Gas Seeps In The Gulf Of Mexico.- 6.Coastal Habitats Of The Gulf Of Mexico --- 7.Offshore Plankton And Benthos Of The Gulf Of Mexico --- 8.Shellfish Of The Gulf Of Mexico --- Appendix A:List of Acronyms, Abbreviations, and Symbols --- Appendix B: Unit Conversion Table.-  Index
    Pages: Online-Ressource (LIX, 868 pages) , 551 illustrations, 519 illustrations in color
    ISBN: 9781493934478
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4939-3447-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 34
    Unknown
    Renewing Local Planning to Face Climate Change in the Tropics (2017)
    Cham : Springer
    Details
    Keywords: Geography ; Climate change ; Remote sensing ; Environmental management ; Geography ; Remote Sensing/Photogrammetry ; Environmental Management ; Climate Change/Climate Change Impacts
    Description / Table of Contents: Climate services in the Tropics --- Climate planning in medium-size cities of the Tropics --- Setting up and managing automatic weather stations for remote sites monitoring: from Niger to Nepal --- Characterization of climate risks for rice crop in Casamance --- Climate change, drought and food security: a methodology for the vulnerability analysis. The case of the West Arsi Woreda in Ethiopia --- Visualize and communicate extreme weather risk to improve urban resilience --- Climate change adaptation and resilience in Mali --- Building resilience to drought in the Sahel by early risk identification and advices --- Risk analysis and evaluation to improve climate adaptation planning in Western Niger --- A simplified hydrological method for flood risk assessment at sub-basin level in Niger --- Socio-technical transitions and resilient infrastructure: analyzing changes in access to water following infrastructure upgrade in Dar es Salaam, Tanzania --- Monitoring and evaluating advocacy and mainstreaming of climate change adaptation in Haiti --- Knowledge for transformational adaptation planning: comparing the potential of forecasting and back casting methods for assessing people vulnerability --- Possible impact of pelletized crop residues use as a fuel for cooking in Niger --- An effective Mainstreaming DRR and Resilience approach in La Paz (Mexico) and San Jose (Costa-Rica) --- Climate vulnerability reduction credits: measuring results of adaptation; potential applicability for sub-Saharan communities --- Review of pilot projects on index-based insurance in Africa: insights and lessons Learned --- A new perspective for integrating climate change in local development plans
    Pages: Online-Ressource (XVI, 372 pages) , 91 illustrations
    ISBN: 9783319590967
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-59096-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 35
    Unknown
    Earthquakes, Tsunamis and Nuclear Risks : Prediction and Assessment Beyond the Fukushima Accident (2016)
    Tokyo : Springer
    Details
    Keywords: Environment ; Nuclear energy ; Natural disasters ; Probabilities ; Quality control ; Reliability ; Industrial safety ; Environmental management ; Environment ; Environmental Management ; Nuclear Energy ; Natural Hazards ; Quality Control, Reliability, Safety and Risk ; Probability Theory and Stochastic Processes
    Description / Table of Contents: Foreword --- Preface --- Cooperators --- Part 1 Active Faults --- Part 2 Seismic Source Modeling and Seismic Motion --- Part 3 Probabilistic Risk Assessment with External Hazards --- Part 4 Nuclear Risk Governance in Society
    Pages: Online-Ressource (XII, 177 pages) , 74 illustrations, 36 illustrations in color
    ISBN: 9784431558224
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-55822-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 36
    Unknown
    Radiological Issues for Fukushima’s Revitalized Future (2016)
    Tokyo : Springer
    Details
    Keywords: Environment ; Radiation protection ; Radiation ; Safety measures ; Environmental management ; Environmental pollution ; Environment ; Effects of Radiation/Radiation Protection ; Environmental Management ; Terrestrial Pollution
    Description / Table of Contents: Foreword --- Preface --- Cooperators --- Part 1 Radioactivity in the Terrestrial Environment --- Part 2 Decontamination and Radioactive Waste --- Part 3 Environmental Radiation and External Exposure --- Part 4 Radioactivity in Foods and Internal Exposure
    Pages: Online-Ressource (XIII, 232 pages) , 75 illustrations, 32 illustrations in color
    ISBN: 9784431558484
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-55848-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 37
    Unknown
    Enabling Asia to Stabilise the Climate (2016)
    Singapore : Springer
    Details
    Keywords: Environment ; Climate change ; Environmental management ; Sustainable development ; Environment ; Sustainable Development ; Climate Change Management and Policy ; Environmental Management
    Description / Table of Contents: Introduction --- Part 1: Asia is a key for sustainable low carbon society --- 1. GHG reduction potential in Asia --- 2. Transition to a low carbon future in China towards 2°C Global target --- 3. India’s GHG Emission Reduction and Sustainable Development --- 4. 80% reduction scenario in Japan --- 5. Potential of low carbon development in Vietnam, from practices to legal framework --- Part 2: Brigding the gap between modeling and real policy development --- 6. Designing a National Policy Framework for NAMAs -Lesson learnt from Thailand- --- 7. ‘Science-to-Action’ of the Sustainable Low Carbon City-region --- Part 3:Best parctices and recommendations in each sector to make it happen --- 8. Low Carbon Transport in India - Assessment of Best Practice Case Studies - --- 9. Potential of Reducing GHG Emission from REDD+ Activities in Indonesia --- 10. Fostering capacity development for ASIA leapfrog --- 11. Capacity development on GHG inventories in Asia -WGIA Workshop on Greenhouse gas Inventory in Asia- --- 12. Japan’s Comprehensive and Continual Support Package for the Creation of Scientific Climate Policies in Asia
    Pages: Online-Ressource (X, 270 pages) , 99 illustrations, 70 illustrations in color
    ISBN: 9789812878267
    URL: https://link.springer.com/openurl?genre=book&isbn=978-981-287-826-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    Unknown
    China’s New Sources of Economic Growth : Vol. 1: Reform, Resources and Climate Change (2016)
    Canberra : ANU Press
    Details
    Keywords: China ; Economic Growth ; Economic Management ; Environmental Management
    Description / Table of Contents: China’s change to a new model of growth, now called the ‘new normal’, was always going to be hard. Events over the past year show how hard it is. The attempts to moderate the extremes of high investment and low consumption, the correction of overcapacity in the heavy industries that were the mainstays of the old model of growth, the hauling in of the immense debt hangover from the fiscal and monetary expansion that pulled China out of the Great Crash of 2008 would all have been hard at any time. They are harder when changes in economic policy and structure coincide with stagnation in global trade and rising protectionist sentiment in developed countries, extraordinarily rapid demographic change and recognition of the urgency of easing the environmental damage from the old model. China’s economy has slowed and there are worries that the authorities will not be able to contain the slowdown within preferred limits. This year’s Update explores the challenge of the slowdown in growth and the change in economic structure. Leading experts on China’s economy and environment review change within China’s new model of growth, and its interaction with ageing, environmental pressure, new patterns of urbanisation, and debt problems at different levels of government. It illuminates some new developments in China’s economy, including the transformational potential of internet banking, and the dynamics of financial market instability. China’s economic development since 1978 is full of exciting change, and this year’s China Update is again the way to know it as it is happening.
    Pages: Online-Ressource (XXVI, 517 Seiten)
    ISBN: 9781760460358
    URL: http://press.anu.edu.au/node/1906
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 39
    Unknown
    Methods for Measuring Greenhouse Gas Balances and Evaluating Mitigation Options in Smallholder Agriculture (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Agriculture ; Climate change ; Environmental management ; Soil science ; Soil conservation ; Air pollution ; Life Sciences ; Agriculture ; Climate Change ; Atmospheric Protection/Air Quality Control/Air Pollution ; Soil Science & Conservation ; Environmental Management
    Description / Table of Contents: Chapter 1 Introduction to the SAMPLES Approach --- Chapter 2 Targeting Landscapes to Identify Mitigation Options --- Chapter 3 Determining Greenhouse Gas Emissions and Removals Associated with Land Use and Land Cover Change --- Chapter 4 Quantifying Greenhouse Gas Emissions from Managed and Natural Soils --- Chapter 5 A Comparison of Methodologies for Measuring Methane Emissions from Ruminants --- Chapter 6 Quantifying Tree Biomass Carbon Stocks and Fluxes in Agricultural Landscapes --- Chapter 7 Methods for Smallholder Quantification of Soil Carbon Stocks and Stock Changes --- Chapter 8 Yield Estimation of Food and Non-Food Crops in Smallholder Production Systems --- Chapter 9 Scaling Point and Plot Measurements of Greenhouse Gas Fluxes, Balances and Intensities to Whole Farms and Landscapes --- Chapter 10 Methods for Environment-Productivity Trade-off Analysis in Agricultural Systems
    Pages: Online-Ressource (XV, 203 pages) , 33 illustrations, 27 illustrations in color
    ISBN: 9783319297941
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-29794-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 40
    Unknown
    Taking Stock of Industrial Ecology (2016)
    Cham : Springer
    Details
    Keywords: Environment ; Engineering economics ; Engineering economy ; Environmental management ; Waste management ; Sustainable development ; Industrial organization ; Environmental economics ; Environment ; Sustainable Development ; Waste Management/Waste Technology ; Environmental Economics ; Industrial Organization ; Engineering Economics, Organization, Logistics, Marketing ; Environmental Management
    Description / Table of Contents: Introduction --- General reflections --- The Price of Everything and the Value of Nothing: sustainability ‘after the crisis’ --- Impacts of global trade flows --- Stocks and flows in the performance economy --- The Embeddedness of carbon in UK Lifestyles --- Ethics of Industrial Ecology --- Complexity and prediction --- Urban metabolism --- Industrial Symbiosis --- Industrial Ecology and the Solidarity Economy --- Industrial Ecology in Developing Countries --- Material Flow Analysis and Waste Management --- Social sciences in Industrial Ecology --- Life Cycle Sustainability Assessment --- Prospective Models of Society’s Future Metabolism --- Planetary boundaries and sustainable business --- Working with policymakers --- Portugal’s national waste plan --- The Industrial Ecology of the automobile
    Pages: Online-Ressource (XXI, 362 pages) , 43 illustrations, 34 illustrations in color
    ISBN: 9783319205717
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-20571-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    Unknown
    Earthquakes, Tsunamis and Nuclear Risks : Prediction and Assessment Beyond the Fukushima Accident (2016)
    Tokyo : Springer
    Details
    Keywords: Environment ; Nuclear energy ; Natural disasters ; Probabilities ; Quality control ; Reliability ; Industrial safety ; Environmental management ; Environment ; Environmental Management ; Nuclear Energy ; Natural Hazards ; Quality Control, Reliability, Safety and Risk ; Probability Theory and Stochastic Processes
    Description / Table of Contents: Foreword --- Preface --- Cooperators --- Part 1 Active Faults --- Part 2 Seismic Source Modeling and Seismic Motion --- Part 3 Probabilistic Risk Assessment with External Hazards --- Part 4 Nuclear Risk Governance in Society
    Pages: Online-Ressource (XII, 177 pages) , 74 illustrations, 36 illustrations in color
    ISBN: 9784431558224
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-55822-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 42
    Unknown
    Cyber-Physical Systems of Systems : Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy (2016)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Application software ; System theory ; Computer Science ; Computer Systems Organization and Communication Networks ; Software Engineering ; Complex Systems ; Information Systems Applications (incl. Internet) ; Computer Applications
    Description / Table of Contents: Basic concepts on systems of systems --- interfaces in evolving cyber-physical systems-of-systems --- emergence in cyber-physical systems-of-systems (CPSOSS) --- AMADEOS sysml profile for SoS conceptual modeling --- AMADEOS framework and supporting tools --- time and resilient master clocks in cyber-physical systems --- managing dynamicity in SoS --- case study definition and implementation
    Pages: Online-Ressource (XV, 257 pages) , 124 illustrations
    ISBN: 9783319475905
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-47590-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 43
    Unknown
    Radiological Issues for Fukushima’s Revitalized Future (2016)
    Tokyo : Springer
    Details
    Keywords: Environment ; Radiation protection ; Radiation ; Safety measures ; Environmental management ; Environmental pollution ; Environment ; Effects of Radiation/Radiation Protection ; Environmental Management ; Terrestrial Pollution
    Description / Table of Contents: Foreword --- Preface --- Cooperators --- Part 1 Radioactivity in the Terrestrial Environment --- Part 2 Decontamination and Radioactive Waste --- Part 3 Environmental Radiation and External Exposure --- Part 4 Radioactivity in Foods and Internal Exposure
    Pages: Online-Ressource (XIII, 232 pages) , 75 illustrations, 32 illustrations in color
    ISBN: 9784431558484
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-55848-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 44
    Unknown
    North Sea Region Climate Change Assessment (2016)
    Cham : Springer
    Details
    Keywords: Marine Sciences ; Environmental management ; Atmospheric Sciences ; Marine & Freshwater Sciences ; Environmental Management
    Description / Table of Contents: Introduction to the Assessment --- Past and Current Climate Change --- Past and Current Changes in the North Sea (and interface regions) --- Climate Change Projections --- Impacts of Current and Future Climate Change in Ecosystems --- Climate Impacts on Socio-economy
    Pages: Online-Ressource (XLV, 528 pages) , 277 illustrations, 215 illustrations in color
    ISBN: 9783319397450
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-39745-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 45
    Unknown
    Enabling Asia to Stabilise the Climate (2016)
    Singapore : Springer
    Details
    Keywords: Environment ; Climate change ; Environmental management ; Sustainable development ; Environment ; Sustainable Development ; Climate Change Management and Policy ; Environmental Management
    Description / Table of Contents: Introduction --- Part 1: Asia is a key for sustainable low carbon society --- 1. GHG reduction potential in Asia --- 2. Transition to a low carbon future in China towards 2°C Global target --- 3. India’s GHG Emission Reduction and Sustainable Development --- 4. 80% reduction scenario in Japan --- 5. Potential of low carbon development in Vietnam, from practices to legal framework --- Part 2: Brigding the gap between modeling and real policy development --- 6. Designing a National Policy Framework for NAMAs -Lesson learnt from Thailand- --- 7. ‘Science-to-Action’ of the Sustainable Low Carbon City-region --- Part 3:Best parctices and recommendations in each sector to make it happen --- 8. Low Carbon Transport in India - Assessment of Best Practice Case Studies - --- 9. Potential of Reducing GHG Emission from REDD+ Activities in Indonesia --- 10. Fostering capacity development for ASIA leapfrog --- 11. Capacity development on GHG inventories in Asia -WGIA Workshop on Greenhouse gas Inventory in Asia- --- 12. Japan’s Comprehensive and Continual Support Package for the Creation of Scientific Climate Policies in Asia
    Pages: Online-Ressource (X, 270 pages) , 99 illustrations, 70 illustrations in color
    ISBN: 9789812878267
    URL: https://link.springer.com/openurl?genre=book&isbn=978-981-287-826-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 46
    Unknown
    Agile Processes, in Software Engineering, and Extreme Programming : 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings (2016)
    Cham : Springer
    Details
    Keywords: Business ; Management information systems ; Software engineering ; Computer science ; Business and Management ; Business Information Systems ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Full Research Papers --- Experience Reports --- Empirical Studies Papers --- Doctoral Symposium Papers
    Pages: Online-Ressource (XIII, 334 pages) , 37 illustrations
    ISBN: 9783319335155
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-33515-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 47
    Unknown
    Environmental Governance of the Baltic Sea (2016)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental management ; Political science ; Wildlife ; Fish ; Marine sciences ; Freshwater ; Environment ; Environmental Management ; Political Science ; Water Policy/Water Governance/Water Management ; Marine & Freshwater Sciences ; Fish & Wildlife Biology & Management
    Description / Table of Contents: Chapter 1. Environmental Governance of the Baltic Sea: Identifying Key Challenges Research Topics and Analytical Approaches. Part 1: Interdisciplinary Case Studies of Environmental Governance --- Chapter 2. Eutrophication and the Ecosystem Approach to Management: A Case Study of Baltic Sea Environmental Governance --- Chapter 3. Fisheries: A Case Study of Baltic Sea Environmental Governance --- Chapter 4. Biological Invasions: a Case Study of Baltic Sea Environmental Governance --- Chapter 5. Governance of Chemicals in the Baltic Sea Region: A Study of Three Generations of Hazardous Substances --- Chapter 6. Oil Spills from Shipping: A Case Study of the Governance of Accidental Hazards and Intentional Pollution in the Baltic Sea --- Part 2: Cross-Case Analysis of Key Environmental Governance Challenges --- Chapter 7. The Ecosystem Approach to Management in Baltic Sea Governance: Towards Increased Reflexivity? --- Chapter 8. Science-Policy Interfaces in Baltic Sea Environmental Governance: Towards Regional Cooperation and Management of Uncertainty? --- Chapter 9. Risk Communication and the Role of the Public: Towards Inclusive Environmental Governance of the Baltic Sea? --- Chapter 10. Seeking Pathways Towards Improved Environmental Governance of the Baltic Sea
    Pages: Online-Ressource (XIX, 253 pages) , 10 illustrations, 3 illustrations in color
    ISBN: 9783319270067
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-27006-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 48
    Unknown
    North Sea Region Climate Change Assessment (2016)
    Cham : Springer
    Details
    Keywords: Marine Sciences ; Environmental management ; Atmospheric Sciences ; Marine & Freshwater Sciences ; Environmental Management
    Description / Table of Contents: Introduction to the Assessment --- Past and Current Climate Change --- Past and Current Changes in the North Sea (and interface regions) --- Climate Change Projections --- Impacts of Current and Future Climate Change in Ecosystems --- Climate Impacts on Socio-economy
    Pages: Online-Ressource (XLV, 528 pages) , 277 illustrations, 215 illustrations in color
    ISBN: 9783319397450
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-39745-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 49
    Unknown
    Methods for Measuring Greenhouse Gas Balances and Evaluating Mitigation Options in Smallholder Agriculture (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Agriculture ; Climate change ; Environmental management ; Soil science ; Soil conservation ; Air pollution ; Life Sciences ; Agriculture ; Climate Change ; Atmospheric Protection/Air Quality Control/Air Pollution ; Soil Science & Conservation ; Environmental Management
    Description / Table of Contents: Chapter 1 Introduction to the SAMPLES Approach --- Chapter 2 Targeting Landscapes to Identify Mitigation Options --- Chapter 3 Determining Greenhouse Gas Emissions and Removals Associated with Land Use and Land Cover Change --- Chapter 4 Quantifying Greenhouse Gas Emissions from Managed and Natural Soils --- Chapter 5 A Comparison of Methodologies for Measuring Methane Emissions from Ruminants --- Chapter 6 Quantifying Tree Biomass Carbon Stocks and Fluxes in Agricultural Landscapes --- Chapter 7 Methods for Smallholder Quantification of Soil Carbon Stocks and Stock Changes --- Chapter 8 Yield Estimation of Food and Non-Food Crops in Smallholder Production Systems --- Chapter 9 Scaling Point and Plot Measurements of Greenhouse Gas Fluxes, Balances and Intensities to Whole Farms and Landscapes --- Chapter 10 Methods for Environment-Productivity Trade-off Analysis in Agricultural Systems
    Pages: Online-Ressource (XV, 203 pages) , 33 illustrations, 27 illustrations in color
    ISBN: 9783319297941
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-29794-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 50
    Unknown
    Computer and Information Sciences : 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings (2016)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Software engineering ; Mathematical statistics ; Computers ; Artificial intelligence ; Computer graphics ; Computer Science ; Information Systems and Communication Service ; Artificial Intelligence (incl. Robotics) ; Computer Communication Networks ; Software Engineering/Programming and Operating Systems ; Probability and Statistics in Computer Science ; Computer Imaging, Vision, Pattern Recognition and Graphics
    Description / Table of Contents: Smart algorithms --- Data classification and processing --- Stochastic modelling --- Performance evaluation --- Queuing systems --- Wireless networks and security --- Image processing and computer vision
    Pages: Online-Ressource (XIII, 278 pages) , 75 illustrations
    ISBN: 9783319472171
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-47217-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 51
    Unknown
    Environmental Governance of the Baltic Sea (2016)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental management ; Political science ; Wildlife ; Fish ; Marine sciences ; Freshwater ; Environment ; Environmental Management ; Political Science ; Water Policy/Water Governance/Water Management ; Marine & Freshwater Sciences ; Fish & Wildlife Biology & Management
    Description / Table of Contents: Chapter 1. Environmental Governance of the Baltic Sea: Identifying Key Challenges Research Topics and Analytical Approaches. Part 1: Interdisciplinary Case Studies of Environmental Governance --- Chapter 2. Eutrophication and the Ecosystem Approach to Management: A Case Study of Baltic Sea Environmental Governance --- Chapter 3. Fisheries: A Case Study of Baltic Sea Environmental Governance --- Chapter 4. Biological Invasions: a Case Study of Baltic Sea Environmental Governance --- Chapter 5. Governance of Chemicals in the Baltic Sea Region: A Study of Three Generations of Hazardous Substances --- Chapter 6. Oil Spills from Shipping: A Case Study of the Governance of Accidental Hazards and Intentional Pollution in the Baltic Sea --- Part 2: Cross-Case Analysis of Key Environmental Governance Challenges --- Chapter 7. The Ecosystem Approach to Management in Baltic Sea Governance: Towards Increased Reflexivity? --- Chapter 8. Science-Policy Interfaces in Baltic Sea Environmental Governance: Towards Regional Cooperation and Management of Uncertainty? --- Chapter 9. Risk Communication and the Role of the Public: Towards Inclusive Environmental Governance of the Baltic Sea? --- Chapter 10. Seeking Pathways Towards Improved Environmental Governance of the Baltic Sea
    Pages: Online-Ressource (XIX, 253 pages) , 10 illustrations, 3 illustrations in color
    ISBN: 9783319270067
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-27006-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 52
    Unknown
    DevOps for Digital Leaders : Reignite Business with a Modern DevOps-Enabled Software Factory (2016)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Project management ; Software engineering ; Computer Science ; Software Engineering ; Project Management
    Description / Table of Contents: Part I: DevOps: Conflict to Collaboration --- Chapter 1: DevOps in the Ascendency --- Chapter 2: IT Impasse --- Chapter 3: DevOps Foundations --- Part II: Essential DevOps Tooling --- Chapter 4: Build: DevOps Driven APIs --- Chapter 5: Test: Championing Quality - Continuously --- Chapter 6: Deploy --- Chapter 7: Manage: Agile Operations --- Part III: Tuning and Continuous Improvement --- Chapter 8: Practical DevOps --- Chapter 9: DevOps and Real World ROI --- Chapter 10: Ready, Set, DevOps!
    Pages: Online-Ressource (XV, 173 pages) , 24 illustrations in color
    ISBN: 9781484218426
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4842-1842-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 53
    Unknown
    Solving PDEs in Python : The FEniCS Tutorial I (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Software engineering ; Algorithms ; Computer mathematics ; Visualization ; Computer software ; Numerical analysis ; Mathematics ; Computational Science and Engineering ; Algorithms ; Visualization ; Mathematical Software ; Numerical Analysis ; Software Engineering/Programming and Operating Systems
    Description / Table of Contents: 1 Preliminaries --- 2 Fundamentals: Solving the Poisson Equation --- 3 A Gallery of Finite Element Solvers --- 4 Subdomains and Boundary Conditions --- 5 Extensions: Improving the Poisson Solver --- References
    Pages: Online-Ressource (XI, 146 pages) , 17 illustrations, 16 illustrations in color
    ISBN: 9783319524627
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-52462-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 54
    Unknown
    Finite Difference Computing with Exponential Decay Models (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Computer programming ; Software engineering ; Computer mathematics ; Mathematics ; Computational Science and Engineering ; Programming Techniques ; Software Engineering ; Numerical and Computational Physics, Simulation ; Mathematical and Computational Engineering
    Description / Table of Contents: Preface --- Algorithms and implementations --- Analysis --- Generalizations --- Models --- Scientific Software Engineering --- References --- Index.
    Pages: Online-Ressource (XIV, 200 pages) , 29 illustrations
    ISBN: 9783319294391
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-29439-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 55
    Unknown
    A Practical Guide to TPM 2.0 : Using the New Trusted Platform Module in the New Age of Security (2015)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Software engineering ; Data encryption (Computer science) ; Computer Science ; Data Encryption ; Software Engineering/Programming and Operating Systems
    Description / Table of Contents: A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in real applications that the reader can try out. Simply put, this book is designed to empower and excite the programming community to go out and do cool things with the TPM. The approach is to ramp the reader up quickly and keep their interest.A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security explains security concepts, describes the TPM 2.0 architecture, and provides code and pseudo-code examples in parallel, from very simple concepts and code to highly complex concepts and pseudo-code. The book includes instructions for the available execution environments and real code examples to get readers up and talking to the TPM quickly. The authors then help the users expand on that with pseudo-code descriptions of useful applications using the TPM
    Pages: Online-Ressource (XXVII, 392 pages) , 41 illustrations
    ISBN: 9781430265849
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6584-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 56
    Unknown
    Rewilding European Landscapes (2015)
    Cham : Springer
    Details
    Keywords: Environment ; Applied ecology ; Biodiversity ; Landscape ecology ; Environmental management ; Nature conservation ; Environment ; Nature Conservation ; Environmental Management ; Biodiversity ; Landscape Ecology ; Applied Ecology
    Description / Table of Contents: Part I  - The Theory of Rewilding --- 1. Rewilding Abandoned Landscapes in Europe --- 2. European Wilderness in a Time of Farmland Abandonment --- 3. Ecosystem Services: the Opportunities of Rewilding in Europe --- Part II - Rewilding and Biodiversity --- 4. Bringing Large Mammals Back: Large Carnivores in Europe --- 5. Top Scavengers in a Wilder Europe --- 6. Rewilding: Pitfalls and Opportunities for Moths and Butterflies --- 7. Vegetation Restoration and Other Actions to Enhance Wildlife in European Agricultural Landscapes --- 8. Maintaining Disturbance-dependent Habitats.- Part III - Rewillding in Practice --- 9. Rewilding Europe: A New Strategy for an Old Continent --- 10. Preparing a New Generation of Wilderness Entrepreneurs --- 11. Towards a European Policy for Rewilding --- Index
    Pages: Online-Ressource (XXI, 227 pages) , 44 illustrations, 43 illustrations in color
    ISBN: 9783319120393
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-12039-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 57
    Unknown
    S-BPM in the Wild : Practical Value Creation (2015)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Industrial management ; Software engineering ; Application software ; Computer Science ; Computer Appl. in Administrative Data Processing ; Business Process Management ; Information Systems Applications (incl. Internet) ; Software Engineering ; Software Management
    Description / Table of Contents: 1 Introduction --- Part I Business Operation Support --- 2 Subject-Oriented Business Processes Meet Strategic Management: Two Case Studies from the Manufacturing Industry --- 3 Communication- and Value-Based Organizational Development at the University Clinic for Radiotherapy-Radiation Oncology --- 4 Introducing S-BPM at an IT Service Providers --- 5 A Service Hardware Application Case Fiducia --- 6 Designing an Agile Process Layer for Competitive Differentiation --- Part II Consultancy and Education Support --- 7 Model as You Do: Engaging an S-BPM Vendor on Process Modelling in 3D Virtual Worlds --- 8 A Tangible Modeling Interface for Subject-Oriented Business Process Management --- 9 A Reference Model for Maintenance Processes --- 10 Role and Rights Management --- 11 Embodying Business Rules in S-BPM --- 12 Agents Implementing Subject Behaviour: A Manufacturing Scenario --- Part III Technical Execution Support --- 13 An Abstract State Machine Interpreter for S-BPM --- 14 Structured Communication—Approaching S-BPM with Microsoft Technologies --- 15 ERP Integration in S-BPM Processes
    Pages: Online-Ressource (XIV, 283 pages) , 134 illustrations
    ISBN: 9783319175423
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-17542-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 58
    Unknown
    Rewilding European Landscapes (2015)
    Cham : Springer
    Details
    Keywords: Environment ; Applied ecology ; Biodiversity ; Landscape ecology ; Environmental management ; Nature conservation ; Environment ; Nature Conservation ; Environmental Management ; Biodiversity ; Landscape Ecology ; Applied Ecology
    Description / Table of Contents: Part I  - The Theory of Rewilding --- 1. Rewilding Abandoned Landscapes in Europe --- 2. European Wilderness in a Time of Farmland Abandonment --- 3. Ecosystem Services: the Opportunities of Rewilding in Europe --- Part II - Rewilding and Biodiversity --- 4. Bringing Large Mammals Back: Large Carnivores in Europe --- 5. Top Scavengers in a Wilder Europe --- 6. Rewilding: Pitfalls and Opportunities for Moths and Butterflies --- 7. Vegetation Restoration and Other Actions to Enhance Wildlife in European Agricultural Landscapes --- 8. Maintaining Disturbance-dependent Habitats.- Part III - Rewillding in Practice --- 9. Rewilding Europe: A New Strategy for an Old Continent --- 10. Preparing a New Generation of Wilderness Entrepreneurs --- 11. Towards a European Policy for Rewilding --- Index
    Pages: Online-Ressource (XXI, 227 pages) , 44 illustrations, 43 illustrations in color
    ISBN: 9783319120393
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-12039-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 59
    Unknown
    Life Cycle Management (2015)
    Dordrecht : Springer
    Details
    Keywords: Environment ; Renewable energy resources ; Environmental sciences ; Renewable energy sources ; Alternate energy sources ; Green energy industries ; Environmental management ; Sustainable development ; Environment ; Sustainable Development ; Environmental Management ; Renewable and Green Energy ; Environmental Science and Engineering
    Description / Table of Contents: Part I: Introducing Life Cycle Management --- Introduction: Life Cycle Management --- Life Cycle Management: Implementing Sustainability in Business Practice --- Life Cycle Management as a Way to Operationalize Sustainability Within Organizations --- How to Implement Life Cycle Management in Business? --- Life Cycle Sustainability Assessment: A Tool for Exercising due Diligence in Life Cycle Management --- Life Cycle Management: Labeling, Declarations and Certifications at the Product Level —Different Approaches --- Mainstreaming the Use of Life Cycle Management in Small and Medium Sized Enterprises Using a Sector Based and Regional Approach --- Part II: Advancing the Implementation of Life Cycle Management in Business Practice --- From Projects to Processes to Implement Life Cycle Management in Business --- How to Make the LCA Team a Business Partner --- Sustainability Improvements and Life Cycle Approaches in Industry Partnerships --- Sustainable Value Creation with Life Cycle Management --- Part III: Life Cycle Management as Part of Sustainable Consumption and Production Strategies and Policies --- Hotspots Analysis: Providing the Focus for Action --- From Sustainable Production to Sustainable Consumption.-Life Cycle Management Responsibilities and Procedures in the Value Chain --- Policy Options for Life Cycle Assessment Deployment in Legislation --- Part IV: Mainstreaming and Capacity Building on Life Cycle Management --- Taking Life Cycle Management Mainstream: Integration in Corporate Finance and Accounting --- Building Organizational Capability for Life Cycle Management --- Promoting Life Cycle Thinking, Life Cycle Assessment and Life Cycle Management Within Business in Brazil --- Mainstreaming Life Cycle Sustainability Management in Rapidly Growing and Emerging Economies Through Capacity-building.-Communication and Collaboration as Essential Elements for Mainstreaming Life Cycle Management.-Part V: Implementation and Case Studies of Life Cycle Management in Different Business and Industry Sector --- Exploring Challenges and Opportunities of Life Cycle Management in the Electricity Sector --- Life Cycle Management Applied to Urban Fabric Planning --- Implementing Life Cycle Engineering in Automotive Development as a Helpful Management Tool to Support Design for Environment --- Managing Life cycle Sustainability Aspects in the Automotive Industry --- Life Cycle Management as a Way to Operationalize the Creating Shared Value Concept in the Food and Beverage Industry: A Case Study
    Pages: Online-Ressource (XVII, 353 pages) , 49 illustrations, 28 illustrations in color
    ISBN: 9789401772211
    URL: https://link.springer.com/openurl?genre=book&isbn=978-94-017-7221-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 60
    Unknown
    Life Cycle Management (2015)
    Dordrecht : Springer
    Details
    Keywords: Environment ; Renewable energy resources ; Environmental sciences ; Renewable energy sources ; Alternate energy sources ; Green energy industries ; Environmental management ; Sustainable development ; Environment ; Sustainable Development ; Environmental Management ; Renewable and Green Energy ; Environmental Science and Engineering
    Description / Table of Contents: Part I: Introducing Life Cycle Management --- Introduction: Life Cycle Management --- Life Cycle Management: Implementing Sustainability in Business Practice --- Life Cycle Management as a Way to Operationalize Sustainability Within Organizations --- How to Implement Life Cycle Management in Business? --- Life Cycle Sustainability Assessment: A Tool for Exercising due Diligence in Life Cycle Management --- Life Cycle Management: Labeling, Declarations and Certifications at the Product Level —Different Approaches --- Mainstreaming the Use of Life Cycle Management in Small and Medium Sized Enterprises Using a Sector Based and Regional Approach --- Part II: Advancing the Implementation of Life Cycle Management in Business Practice --- From Projects to Processes to Implement Life Cycle Management in Business --- How to Make the LCA Team a Business Partner --- Sustainability Improvements and Life Cycle Approaches in Industry Partnerships --- Sustainable Value Creation with Life Cycle Management --- Part III: Life Cycle Management as Part of Sustainable Consumption and Production Strategies and Policies --- Hotspots Analysis: Providing the Focus for Action --- From Sustainable Production to Sustainable Consumption.-Life Cycle Management Responsibilities and Procedures in the Value Chain --- Policy Options for Life Cycle Assessment Deployment in Legislation --- Part IV: Mainstreaming and Capacity Building on Life Cycle Management --- Taking Life Cycle Management Mainstream: Integration in Corporate Finance and Accounting --- Building Organizational Capability for Life Cycle Management --- Promoting Life Cycle Thinking, Life Cycle Assessment and Life Cycle Management Within Business in Brazil --- Mainstreaming Life Cycle Sustainability Management in Rapidly Growing and Emerging Economies Through Capacity-building.-Communication and Collaboration as Essential Elements for Mainstreaming Life Cycle Management.-Part V: Implementation and Case Studies of Life Cycle Management in Different Business and Industry Sector --- Exploring Challenges and Opportunities of Life Cycle Management in the Electricity Sector --- Life Cycle Management Applied to Urban Fabric Planning --- Implementing Life Cycle Engineering in Automotive Development as a Helpful Management Tool to Support Design for Environment --- Managing Life cycle Sustainability Aspects in the Automotive Industry --- Life Cycle Management as a Way to Operationalize the Creating Shared Value Concept in the Food and Beverage Industry: A Case Study
    Pages: Online-Ressource (XVII, 353 pages) , 49 illustrations, 28 illustrations in color
    ISBN: 9789401772211
    URL: https://link.springer.com/openurl?genre=book&isbn=978-94-017-7221-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 61
    Unknown
    A Practical Guide to TPM 2.0 : Using the New Trusted Platform Module in the New Age of Security (2015)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Software engineering ; Data encryption (Computer science) ; Computer Science ; Data Encryption ; Software Engineering/Programming and Operating Systems
    Description / Table of Contents: A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in real applications that the reader can try out. Simply put, this book is designed to empower and excite the programming community to go out and do cool things with the TPM. The approach is to ramp the reader up quickly and keep their interest.A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security explains security concepts, describes the TPM 2.0 architecture, and provides code and pseudo-code examples in parallel, from very simple concepts and code to highly complex concepts and pseudo-code. The book includes instructions for the available execution environments and real code examples to get readers up and talking to the TPM quickly. The authors then help the users expand on that with pseudo-code descriptions of useful applications using the TPM
    Pages: Online-Ressource (XXVII, 392 pages) , 41 illustrations
    ISBN: 9781430265849
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6584-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...