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  (57)
  • Life sciences  (34)
  • Software engineering  (23)
  • 2015-2019  (57)
  • 1975-1979
  • 1
    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
  • 2
    Unknown
    Sago Palm : Multiple Contributions to Food Security and Sustainable Livelihoods (2018)
    Singapore : Springer
    Details
    Keywords: Life sciences ; Agriculture ; Plant science ; Botany ; Sustainable development ; Life Sciences ; Agriculture ; Plant Sciences ; Sustainable Development
    Description / Table of Contents: Part 1. Introduction of Sago Resources- Chapter 1: Status and Outlook of Global Food Security and the Role of Under-Utilized Food Resource: Sago Palm (Hiroyuki Konuma) --- Chapter 2: Growing Area of Sago Palm and Its Environment (M. H. Bintoro) --- Chapter 3: Life and Livelihood in Sago Growing Area (Yukio Toyoda) --- Part 2. Diversity of Sago Resource in Asia and Pacific --- Chapter 4: Genetic Variation, Agronomic Features of Sago Palm in Asia and Pacific (Hiroshi Ehara) --- Chapter 5: Genetic Diversity of Sago Palm Resources in Indonesia (Barahima Abbas) --- Part 3. Sago Industry Contributes for Food Security and Rural Development in Core Producing Countries --- Chapter 6: An Overview of Sago Industry Development from 20th c. to 21st c. (Jong Foh Shoon) --- Chapter 7: Suitability of Peat Swamp Areas for Commercial Production of Sago Crop - Sarawak Experience (Roland Yong Chiew Ming) --- Chapter 8: Feasibility of Small Scale Sago Industries on Small Island in East Indonesia (Wardis Girsang) --- Chapter 9: Addressing Food Insecurity through Food Safety and Cropping of Sago in Papua New Guinea (Aisak G Pue) --- Chapter 10: Conservation and Sustainable Utilization of the Fiji Sago Palm (Dick Watling) --- Part 4. Agricultural Botany of Sago Palm --- Chapter 11: Matter Production as A Basis of Starch Production in Sago Palm (Yoshinori Yamamoto) --- Chapter 12: Morphogenesis of Sago Palm (Satoshi Nakamura) --- Chapter 13: Morphological and Anatomical Characteristics of Sago Palm Starch (Yoji Nitta) --- Part 5. Growth Environment --- Chapter 14: Soil Environment in Sago Palm Forest (Masanori Okazaki) --- Chapter 15: Interaction between Microbes Activities and Sago Palm Growth (Koki Toyoda) --- Part 6. Starch Production and Utilization --- Chapter 16: Study on the Transformation in Extraction and Consumption Processes of Sago Starch in a Traditional Society of Indonesia (Yoshihiko Nishimura) --- Chapter 17: Improvement of Sago Processing Machine (Darma) --- Chapter 18: The Structure and Characteristics of Sago Starch (Masanori Okazaki) --- Chapter 19: Recovery of Starch from Sago Pith Waste and Waste Water Treatment (Budi Santoso) --- Chapter 20: Acid modification of sago starch and its fiber for industrial application (Titi Candra Sunarti) --- Part 6. New Carbohydrate Resources --- Chapter 21: Starch Properties and Uses as food for Human Health and Welfare (Kazuko Hirao) --- Chapter 21: Production, Purification and Health Benefits of Sago Sugar (Kazuko Hirao) --- Chapter 22: Production, Purification and Health Benefits of Sago Sugar (Kopli Bujang) --- Chapter 23: New Sago Starch Resources and Its Properties from Starch Pith Waste and Pacific Sago Palms (Takashi Mishima) --- Part 8. Conclusion --- Chapter 24: Outcomes and Recommendations from the 12th International Sago Symposium (Yoshinori Yamamoto)
    Pages: Online-Ressource (XIII, 330 pages) , 106 illustrations, 71 illustrations in color
    ISBN: 9789811052699
    URL: https://link.springer.com/openurl?genre=book&isbn=978-981-10-5269-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    Unknown
    Bioeconomy : Shaping the Transition to a Sustainable, Biobased Economy (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Ecosystems ; Sustainable development ; Natural resources ; Agricultural economics ; Life Sciences ; Ecosystems ; Sustainable Development ; Agricultural Economics ; Natural Resource and Energy Economics ; Natural Resources
    Description / Table of Contents: 1. Introduction --- Part I: Bioeconomy Concepts and Research Methods --- Chapter 2: Context --- Chapter 3: Bioeconomy concepts --- Chapter 4: Core principles --- Chapter 4: Inter- and Transdisciplinarity in the Bioeconomy --- Part II: Knowledge Base for Biobased Value Chains --- Chapter 5:Biobased Resources and Value Chains --- Chapter 6: Primary Production --- Chapter 7: Processing of Biobased Resources --- Chapter 8: Markets, Sustainability management and Entrepreneurship.- Part III: Transition to a Sustainable Bioeconomy --- Chapter9:  Modelling and Tools Supporting the Transition to a Bioeconomy --- Chapter 10: Environmental Economics, the Bioeconomy and the Role of Government --- Chapter 11: Economic Growth, Development, and Innovation – The Transformation towards a Knowledge-based Bioeconomy --- Chapter 12: The Bioeconomist
    Pages: Online-Ressource (VI, 354 pages) , 165 illustrations, 139 illustrations in color
    ISBN: 9783319681528
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-68152-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    Unknown
    Cosmic Ray Neutron Sensing: Estimation of Agricultural Crop Biomass Water Equivalent : Estimation of Agricultural Crop Biomass Water Equivalent (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Hydrology ; Environmental sciences ; Agriculture ; Life Sciences ; Agriculture ; Hydrology/Water Resources ; Environmental Science and Engineering
    Description / Table of Contents: Foreword --- Summary --- 2. In-Situ Destructive Sampling --- 2.1 The Concept of Representivity --- 2.2 Plant Sampling Pattern and Design --- 2.3 Biomass Water Equivalent --- 2.4 Conclusions --- 3. Remote Sensing via Satellite Imagery Analysis --- 3.1 Photo-Reflective Properties of Plants --- 3.2 Satellite Image Analysis --- 3.3 Conclusions --- 4. Estimate of Biomass Water Equivalent via the Cosmic Ray Neutron Sensor --- 4.1 The role of Biomass in the CRNS Calibration --- 4.2 Relationship between Neutrons and Crop Biomass --- 4.3 Dire4ct Relationship between Neutrons and Biomass --- 4.4 Conclusions
    Pages: Online-Ressource (X, 33 pages) , 18 illustrations, 14 illustrations in color
    ISBN: 9783319695396
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-69539-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    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
  • 6
    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
  • 7
    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
  • 8
    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
  • 9
    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
  • 10
    Unknown
    Cosmic Ray Neutron Sensing: Estimation of Agricultural Crop Biomass Water Equivalent (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Hydrology ; Environmental sciences ; Agriculture ; Life Sciences ; Agriculture ; Hydrology/Water Resources ; Environmental Science and Engineering
    Description / Table of Contents: Foreword --- Summary --- 2. In-Situ Destructive Sampling --- 2.1 The Concept of Representivity --- 2.2 Plant Sampling Pattern and Design --- 2.3 Biomass Water Equivalent --- 2.4 Conclusions --- 3. Remote Sensing via Satellite Imagery Analysis --- 3.1 Photo-Reflective Properties of Plants --- 3.2 Satellite Image Analysis --- 3.3 Conclusions --- 4. Estimate of Biomass Water Equivalent via the Cosmic Ray Neutron Sensor --- 4.1 The role of Biomass in the CRNS Calibration --- 4.2 Relationship between Neutrons and Crop Biomass --- 4.3 Dire4ct Relationship between Neutrons and Biomass --- 4.4 Conclusions
    Pages: Online-Ressource (X, 33 pages) , 18 illustrations, 14 illustrations in color
    ISBN: 9783319695396
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-69539-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    Unknown
    The Plant Stem : A Microscopic Aspect (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Forest products ; Plant anatomy ; Plant development ; Plant physiology ; Life Sciences ; Plant Anatomy/Development ; Plant Physiology ; Plant Systematics/Taxonomy/Biogeography ; Wood Science & Technology
    Description / Table of Contents: Introduction --- Preparation techniques - Making anatomical structures visible --- Morphology of the plant body --- Cellular composition of the plant bodies --- Structure of cell walls and cell contents --- Primary, secondary and tertiary meristem --- Stem anatomical structures of major taxonomic units --- Evolution of stems --- Anatomical adaptions to permanent changed environmental conditions --- Anatomical adaptions to temporarily changed environmental conditions --- Coexistence of algae, fungi and vascular plants --- Wood decay --- Fossilization, permineralization, coalification, carbonization and wetwood conservation --- Technically altered wood products
    Pages: Online-Ressource (VII, 207 pages)
    ISBN: 9783319735245
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-73524-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    Unknown
    Pre-Field Screening Protocols for Heat-Tolerant Mutants in Rice (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Agriculture ; Plant breeding ; Life Sciences ; Plant Breeding/Biotechnology ; Agriculture
    Description / Table of Contents: General Introduction --- Screening Protocols for Heat Tolerance in Rice at the Seedling and Reproductive Stages --- Validation of Screening Protocols for Heat Tolerance in Rice --- Conclusion --- References
    Pages: Online-Ressource (XII, 39 pages) , 16 illustrations, 10 illustrations in color
    ISBN: 9783319773384
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-77338-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    Unknown
    Riverine Ecosystem Management : Science for Governing Towards a Sustainable Future (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Ecosystems ; Aquatic ecology ; Conservation biology ; Ecology ; Nature conservation ; Marine sciences ; Freshwater ; Life Sciences ; Freshwater & Marine Ecology ; Ecosystems ; Conservation Biology/Ecology ; Nature Conservation ; Marine & Freshwater Sciences
    Description / Table of Contents: Chapter 1. Challenges in Riverine Ecosystem Management --- Part I Human Impacts, Mitigation and Restoration --- Chapter 2. Historic Milestones of Human River Uses and Ecological Impacts --- Chapter 3. River Morphology, Channelization, and Habitat Restoration --- Chapter 4. River Hydrology, Flow Alteration, and Environmental Flow --- Chapter 5. Hydropeaking Impacts and Mitigation --- Chapter 6. Dams: Ecological Impacts and Management --- Chapter 7. Aquatic Habitat Modeling in Running Waters --- Chapter 8. The Role of Sediment and Sediment Dynamics in the Aquatic Environment --- Chapter 9. River Connectivity, Habitat Fragmentation and Related Restoration Meas --- Chapter 10. Phosphorus and Nitrogen Dynamics in Riverine Systems: Human Impacts and Management Options --- Chapter 11. Climate Change Impacts in Riverine Ecosystems --- Chapter 12. Ecotoxicology --- Chapter 13. Land Use --- Chapter 14. Recreational Fisheries – The Need for Sustainability in Fisheries Management of Alpine Rivers --- Part II Management, Methodologies, Governance --- Chapter 15. Restoration in Integrated River Basin Management --- Chapter 16.Adaptive Management of Riverine Socio-ecological Systems --- Chapter 17. Legislative Framework for River Ecosystem Management on International and European Level --- Chapter 18. Ensuring Long-Term Cooperation Over Transboundary Water Resources Through Joint River Basin Management --- Chapter 19. Biomonitoring and Bioassessment --- Chapter 20. Biodiversity and Freshwater Information Systems --- Chapter 21. Ecosystem Services in River Landscapes --- Chapter 22. Public Participation and Environmental Education --- Chapter 23. NGOs in Freshwater Resource Management --- Part III Case Studies --- Chapter 24. Danube Under Pressure: Hydropower Rules the Fish --- Chapter 25. Danube Floodplain Lobau --- Chapter 26. Danube Sturgeons: Past and Future --- Chapter 27. Healthy Fisheries Sustain Society and Ecology in Burkina Faso --- Chapter 28. The Tisza River: Managing a Lowland River in the Carpathian Basin --- Part IV Summary --- Chapter 29. Landmarks, Advances and Future Challenges in Riverine Ecosystem Management
    Pages: Online-Ressource (VII, 571 pages) , 123 illustrations, 82 illustrations in color
    ISBN: 9783319732503
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-73250-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    Unknown
    Proceedings of the Scientific-Practical Conference "Research and Development - 2016" (2018)
    Cham : Springer
    Details
    Keywords: Materials science ; Life sciences ; Transportation engineering ; Traffic engineering ; Environment ; Nanotechnology ; Materials Science ; Nanotechnology ; Transportation Technology and Traffic Engineering ; Environment, general ; Life Sciences, general
    Description / Table of Contents: Multimodal Control System of Active Lower Limb Exoskeleton with Feedback --- Investigation and Development of Methods for Improving Robustness of Automatic Speech Recognition Algorithms in Complex Acoustic Environments --- Smart Endoscope—Firmware Complex for Real-Time Analysis and Recognition of Endoscopic Videos --- The Development of Constructive-Technological Decisions on Creation of a Family of Microelectronic Elements on the «Silicon on Insulator» (SOI) Structures to Provide the Ability to Create Sensors of External Influences of a Various Functional Purpose --- Thermopile IR Sensor Arrays --- Development Signal Processing Integrated Circuit for Position Sensors with High Resolution --- Brain-Controlled Biometric Signals Employed to Operate External Technical Devices --- Improving Talent Management with Automated Competence Assessment: Research Summary
    Pages: Online-Ressource (XVII, 730 pages) , 311 illustrations, 187 illustrations in color
    ISBN: 9783319628707
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-62870-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    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
  • 16
    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
  • 17
    Unknown
    Bioeconomy : Shaping the Transition to a Sustainable, Biobased Economy (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Ecosystems ; Sustainable development ; Natural resources ; Agricultural economics ; Life Sciences ; Ecosystems ; Sustainable Development ; Agricultural Economics ; Natural Resource and Energy Economics ; Natural Resources
    Description / Table of Contents: 1. Introduction --- Part I: Bioeconomy Concepts and Research Methods --- Chapter 2: Context --- Chapter 3: Bioeconomy concepts --- Chapter 4: Core principles --- Chapter 4: Inter- and Transdisciplinarity in the Bioeconomy --- Part II: Knowledge Base for Biobased Value Chains --- Chapter 5:Biobased Resources and Value Chains --- Chapter 6: Primary Production --- Chapter 7: Processing of Biobased Resources --- Chapter 8: Markets, Sustainability management and Entrepreneurship.- Part III: Transition to a Sustainable Bioeconomy --- Chapter9:  Modelling and Tools Supporting the Transition to a Bioeconomy --- Chapter 10: Environmental Economics, the Bioeconomy and the Role of Government --- Chapter 11: Economic Growth, Development, and Innovation – The Transformation towards a Knowledge-based Bioeconomy --- Chapter 12: The Bioeconomist
    Pages: Online-Ressource (VI, 354 pages) , 165 illustrations, 139 illustrations in color
    ISBN: 9783319681528
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-68152-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    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
  • 19
    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
  • 20
    Unknown
    The GEO Handbook on Biodiversity Observation Networks (2017)
    Cham : Springer
    Details
    Keywords: Life sciences ; Applied ecology ; Biodiversity ; Ecosystems ; Conservation biology ; Ecology ; Community psychology ; Environmental psychology ; Life Sciences ; Applied Ecology ; Biodiversity ; Conservation Biology/Ecology ; Ecosystems ; Community and Environmental Psychology
    Description / Table of Contents: 1. The Biodiversity Data Impediment to a Sustainable World (Working in a Networked World) --- 2. Essential Biodiversity Variables --- 3. Stratification and Terrestrial Ecosystem Observations --- 4. Ecosystem Services --- 5. Species Observations --- 6. Monitoring Changes in Genetic Diversity --- 7. Marine and Coastal Systems --- 8. Biodiversity Observations for Freshwater Ecosystems --- 9. Remote Sensing for Biodiversity --- 10. Involving Citizen Scientists in Biodiversity Observation --- 11. Biodiversity Modelling --- 12. Cyber-Architecture --- 13. Using Data for Decision-Making: From Observations To Indicators and Other Policy Tools --- 14. Capacity Building in Biodiversity Monitoring – Case Studies
    Pages: Online-Ressource (XII, 326 pages) , 34 illustrations, 27 illustrations in color
    ISBN: 9783319272887
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-27288-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    Unknown
    The GEO Handbook on Biodiversity Observation Networks (2017)
    Cham : Springer
    Details
    Keywords: Life sciences ; Applied ecology ; Biodiversity ; Ecosystems ; Conservation biology ; Ecology ; Community psychology ; Environmental psychology ; Life Sciences ; Applied Ecology ; Biodiversity ; Conservation Biology/Ecology ; Ecosystems ; Community and Environmental Psychology
    Description / Table of Contents: 1. The Biodiversity Data Impediment to a Sustainable World (Working in a Networked World) --- 2. Essential Biodiversity Variables --- 3. Stratification and Terrestrial Ecosystem Observations --- 4. Ecosystem Services --- 5. Species Observations --- 6. Monitoring Changes in Genetic Diversity --- 7. Marine and Coastal Systems --- 8. Biodiversity Observations for Freshwater Ecosystems --- 9. Remote Sensing for Biodiversity --- 10. Involving Citizen Scientists in Biodiversity Observation --- 11. Biodiversity Modelling --- 12. Cyber-Architecture --- 13. Using Data for Decision-Making: From Observations To Indicators and Other Policy Tools --- 14. Capacity Building in Biodiversity Monitoring – Case Studies
    Pages: Online-Ressource (XII, 326 pages) , 34 illustrations, 27 illustrations in color
    ISBN: 9783319272887
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-27288-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 22
    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
  • 23
    Unknown
    Diversity and Evolution of Butterfly Wing Patterns : An Integrative Approach (2017)
    Singapore : Springer
    Details
    Keywords: Life sciences ; Developmental biology ; Evolutionary biology ; Animal genetics ; Entomology ; Biomathematics ; Life Sciences ; Animal Genetics and Genomics ; Evolutionary Biology ; Mathematical and Computational Biology ; Developmental Biology ; Entomology
    Description / Table of Contents: Foreword --- Preface --- Contributors --- Part I. The Nympalid Groundplan (NGP) and Diversification --- Chapter1:The common developmental origin of eyespots and parafocal elements;And a new model-mechanism for color pattern formation --- Chapter2:Exploring color pattern diversification in early lineages of Satyrinae (Nymphalidae) --- Chapter3:Camouflage variation on a theme of the Nymphalid Ground Plan --- Chapter4:Morphological evolution repeatedly caused by mutations in signaling ligand genes --- Part II. Eyespots and Evolution --- Chapter5:Physiology and evolution of wing pattern plasticity in Bicyclus butterflies: a critical review ofthe literature --- Chapter6:Spatial variation in boundary conditions can govern selection and location of eyespots inbutterfly wings --- Chapter7:Self-Similarity, Distortion Waves, and the Essence of Morphogenesis: A Generalized View ofColor Pattern Formation in Butterfly Wings --- Part III. Developmental Genetics --- Chapter8:A practical guide to CRISPR/Cas9 genome editing in Lepidoptera --- Chapter9:What can we learn about adaptation from the wing pattern genetics of Heliconiusbutterflies? --- Chapter10:Molecular mechanism and evolutionary process underlying female-limited Batesian mimicry in Papilio polytes --- Part IV. Ecological Aspects and Adaptation --- Chapter11:Chemical Ecology of Poisonous Butterflies: Model or Mimic?— A Paradox of Sexual Dimorphisms in Müllerian Mimicry --- Chapter12:A model for population dynamics of the mimetic butterfly Papilio polytesin Sakishima Islands, Japan (II) --- Chapter13:Evolutionary trends in phenotypic elements of seasonal forms of the tribe Junoniini(Lepidoptera: Nymphalidae) --- Chapter14:Estimating the mating success of male butterflies in the field.-Part V. Color Patterns of Larva and Other Insects --- Chapter15:Molecular Mechanisms of Larval Color Pattern Switch in the Swallowtail Butterfly --- Chapter16:Drosophila guttifera as a model system for elucidating color pattern formation --- Chapter17:Molecular mechanisms underlying color vision and color formation in dragonflies
    Pages: Online-Ressource (XII, 321 pages) , 103 illustrations, 89 illustrations in color
    ISBN: 9789811049569
    URL: https://link.springer.com/openurl?genre=book&isbn=978-981-10-4956-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 24
    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
  • 25
    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
  • 26
    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
  • 27
    Unknown
    Biotechnologies for Plant Mutation Breeding : Protocols (2017)
    Cham : Springer
    Details
    Keywords: Life sciences ; Genetic engineering ; Agriculture ; Plant genetics ; Plant breeding ; Life Sciences ; Plant Breeding/Biotechnology ; Agriculture ; Genetic Engineering ; Plant Genetics & Genomics
    Description / Table of Contents: Mutagenesis for Crop Breeding and Functional Genomics --- Chemical and Physical Mutagenesis in Jatropha curcas --- Chemical Mutagenesis and Chimera Dissolution in Vegetatively Propagated Banana --- Mutation Induction Using Gamma Irradiation and Embryogenic Cell Suspensions in Plantain (Musa spp.) --- Optimization of Somatic Embryogenesis in Cassava --- Creation of a TILLING Population in Barley after Chemical Mutagenesis with Sodium Azide and MNU --- Site-Directed Mutagenesis in Barley by Expression of TALE Nuclease in Embryogenic Pollen --- Doubled Haploidy as a Tool for Chimera Dissolution of TALEN-Induced Mutations in Barley --- Field Evaluation of Mutagenized Rice Material --- Root Phenotyping Pipeline for Cereal Plants --- Breeding New Aromatic Rice with High Iron using Gamma Radiation and Hybridization --- Utilizing NIRS for Qualitative and Non-Destructive Identification of Seed Mutants in Large Populations --- Protocols for Proteome Analyses of Jatropha curcas --- Low-Cost Methods for DNA Extraction and Quantification --- A Protocol for Benchtop Extraction of Single-Strand-Specific Nucleases for Mutation Discovery --- A Protocol for Validation of Doubled Haploid Plants by Enzymatic Mismatch Cleavage --- Bioinformatics-Based Assessment of the Relevance of Candidate Genes for Mutation Discovery --- Mutation Detection by Analysis of DNA Heteroduplexes in TILLING Populations of Diploid Species --- Determining Mutation Density using Restriction Enzyme Sequence Comparative Analysis (RESCAN) --- Next-Generation Sequencing for Targeted Discovery of Rare Mutations in Rice
    Pages: Online-Ressource (XX, 340 pages) , 76 illustrations, 69 illustrations in color
    ISBN: 9783319450216
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-45021-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 28
    Unknown
    The Gene Ontology Handbook (2017)
    New York, NY : Humana Press
    Details
    Keywords: Life sciences ; Bioinformatics ; Life Sciences ; Bioinformatics
    Description / Table of Contents: Primer on Ontologies --- The Gene Ontology and the Meaning of Biological Function --- Primer on the Gene Ontology --- Best Practices in Manual Annotation with the Gene Ontology --- Computational Methods for Annotation Transfers from Sequence --- Text Mining to Support Gene Ontology Curation and Vice Versa --- How Does the Scientific Community Contribute to Gene Ontology? --- Evaluating Computational Gene Ontology Annotations --- Evaluating Functional Annotations of Enzymes Using the Gene Ontology --- Community-Based Evaluation of Computational Function Prediction --- Get GO!: Retrieving GO Data Using AmiGO, QuickGO, API, Files, and Tools --- Semantic Similarity in the Gene Ontology --- Gene-Category Analysis --- Gene Ontology: Pitfalls, Biases, and Remedies --- Visualizing GO Annotations --- A Gene Ontology Tutorial in Python --- Annotation Extensions --- The Evidence and Conclusion Ontology (ECO): Supporting GO Annotations --- Complementary Sources of Protein Functional Information: The Far Side of GO --- Integrating Bio-Ontologies and Controlled Clinical Terminologies: From Base Pairs to Bedside Phenotypes --- The Vision and Challenges of the Gene Ontology
    Pages: Online-Ressource (XII, 305 pages) , 56 illustrations, 50 illustrations in color
    ISBN: 9781493937431
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4939-3743-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 29
    Unknown
    Technological and Institutional Innovations for Marginalized Smallholders in Agricultural Development (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Management ; Industrial management ; Geography ; Agriculture ; Agricultural economics ; Life Sciences ; Agriculture ; Agricultural Economics ; Geography, general ; Innovation/Technology Management
    Description / Table of Contents: Foreword --- 1. Innovation for Marginalized Smallholder Farmers and Development: an Overview and Implications for Policy and Research --- Part 1 Innovation for the Rural Poor: Theory, Trends and Impacts --- 2. Institutional and technological innovations in polycentric systems –pathways for escaping marginality --- 3. Innovations for Food and Nutrition Security: Impacts and Trends --- 4. Psychology of Innovation: Innovating human psychology? --- 5. An optimization model for technology adoption of marginalized smallholders --- Part 2 Diversification of Agricultural Production and Income --- 6. The BRAC Approach to Small Farmers' Innovations --- 7. Agricultural Research and Extension Linkages in Amhara Region, Ethiopia --- 8. Transaction costs on the Ethiopian formal seed market and innovations for encouraging private sector investments --- 9. Agricultural Service Delivery Through Mobile Phone: Local innovations and Technological Opportunities in Kenya --- 10. Identification and Acceleration of Farmer Innovativeness in Upper East Ghana --- 11. Gender, social equity and innovations in smallholder farming systems: pitfalls and pathways --- 12. Assessing the Sustainability of Agricultural Technology Options for Poor Rural Farmers --- 13. Land Degradation and Sustainable Land Management Innovations in Central Asia --- 14. Biomass-based value web. A Novel Perspective for Emergng Bioeconomies in Sub-Saharan Africa --- Part 3 Sustainable Intensification of Agriculture --- 15. Adoption of Stress-tolerant Rice Varieties in Bangladesh --- 16. More than cereal based cropping innovations for improving food and livelihood security of poor small holders in marginal areas of Bangladesh --- 17. Integrated Rice-fish Farming System in Bangladesh: An Ex-Ante Value Chain Evaluation Framework --- 18. Technologies for Maize, Wheat, Rice and Pulses in Marginal Districts of Odisha and Bihar --- 19. Technological Innovations for Smallholder Farmers in Ghana --- 20. Potential impacts of yield increasing crop technologies on poverty reduction in two districts of Ethiopia
    Pages: Online-Ressource (XV, 435 pages) , 80 illustrations, 50 illustrations in color
    ISBN: 9783319257181
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-25718-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 30
    Unknown
    Biodiversity Conservation and Phylogenetic Systematics : Preserving our evolutionary heritage in an extinction crisis (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Biodiversity ; Nature conservation ; Life Sciences ; Biodiversity ; Nature Conservation ; Plant Systematics/Taxonomy/Biogeography ; Animal Systematics/Taxonomy/Biogeography
    Description / Table of Contents: Phylogenetics and conservation biology: drawing a path into the diversity of life --- The value of phylogenetic diversity --- The PD phylogenetic diversity framework: linking evolutionary history to feature diversity for biodiversity conservation --- Reconsidering the loss of evolutionary history: how does non-random extinction prune the tree-of-life?- Phylogenetics and conservation in New Zealand: the long and the short of it --- What is the meaning of extreme phylogenetic diversity? The case of phylogenetic relict species --- Using phylogenetic dissimilarities among sites for biodiversity assessments and conservation --- Phylogenetic diversity measures and their decomposition: a framework based on hill numbers --- Split diversity: measuring and optimizing biodiversity using phylogenetic split networks --- The rarefaction of phylogenetic diversity: formulation, extension and application --- Support in area prioritization using phylogenetic information --- Assessing hotspots of evolutionary history with data from multiple phylogenies: an analysis of endemic clades from New Caledonia --- Representing hotspots of evolutionary history in systematic conservation planning for European mammals --- Priorities for conservation of the evolutionary history of amphibians in the cerrado --- Global spatial analyses of phylogenetic conservation priorities for aquatic mammals --- Metapopulation capacity meets evolutionary distinctness: spatial fragmentation complements phylogenetic rarity in prioritization. - Patterns of species, phylogenetic and mimicry diversity of clearwing butterflies in the Neotropics --- Conservation of phylogenetic diversity in Madagascar’s largest endemic plant family, Sarcolaenaceae --- The future of phylogenetic systematics in conservation biology: linking biodiversity and society
    Pages: Online-Ressource (XVII, 390 pages) , 79 illustrations
    ISBN: 9783319224619
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-22461-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 31
    Unknown
    Protocols for Pre-Field Screening of Mutants for Salt Tolerance in Rice, Wheat and Barley (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Genetic engineering ; Agriculture ; Plant physiology ; Plant breeding ; Life Sciences ; Plant Breeding/Biotechnology ; Agriculture ; Genetic Engineering ; Plant Physiology
    Description / Table of Contents: Introduction --- Objectives --- Protocol for measuring soil salinity --- Protocol for screening for salt tolerance in rice --- Protocol for screening for salt tolerance in barley and wheat.  
    Pages: Online-Ressource (X, 37 pages) , 7 illustrations, 6 illustrations in color
    ISBN: 9783319265902
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-26590-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 32
    Unknown
    Stable Isotopes to Trace Migratory Birds and to Identify Harmful Diseases : An Introductory Guide (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Animal ecology ; Community ecology, Biotic ; Environmental monitoring ; Life Sciences ; Animal Ecology ; Community & Population Ecology ; Monitoring/Environmental Analysis
    Description / Table of Contents: FOREWORD --- 2. GENERAL INTRODUCTION --- 2.1. Background analysis --- 2.2. Migratory Birds and HPAI --- 2.3. Using SIA to understand the dissemination of HPAI – The way ahead! --- 3. ANIMAL MIGRATION TRACKING METHODS --- 3.1. Extrinsic Markers --- 3.2. Intrinsic Markers --- 3.3. The Stable Isotopes of Water on a Spatial Scale --- 3.4. Deriving isoscapes in the absence of GNIP data --- 3.5. Use of Stable Isotopes in Migration Studies --- 3.6. Approaches for Determining Migratory Connectivity --- 4. PRACTICAL CONSIDERATIONS --- 4.1. Sample Collection and Tissue Preparation --- 4.2. Other Stable Isotopes for Migration Research --- 5. REFERENCES
    Pages: Online-Ressource (XII, 49 pages) , 15 illustrations, 4 illustrations in color
    ISBN: 9783319282985
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-28298-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    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
  • 34
    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
  • 35
    Unknown
    Advances in Wheat Genetics: From Genome to Field : Proceedings of the 12th International Wheat Genetics Symposium (2016)
    Tokyo : Springer
    Details
    Keywords: Life sciences ; Agriculture ; Plant biochemistry ; Plant genetics ; Life Sciences ; Plant Genetics & Genomics ; Agriculture ; Plant Biochemistry
    Description / Table of Contents: Part I Wheat Genetics: Past, Present, and Future --- 1 Prof. H. Kihara’s genome concept and advancements in wheat cytogenetics in his school --- 2 How a gene from Japan revolutionized the world of wheat: CIMMYT’s quest for combining genes to mitigate threats to global food security --- Part II Germplasm and Genetic Diversity --- 3 Genetic resources of Triticum --- 4 Development of core set of wheat (Triticum spp.) germplasm conserved in the National Genebank in India --- 5 Transfer to wheat of potentially new stem rust resistance genes from Aegilops speltoides --- 6 Genetic variation and its geographical distribution in Aegilops caudata L.: morphology, hybrid sterility and gametocidal genes --- Part III Cytogenetics and Allopolyploid Evolution --- 7 Wheat chromosome analysis --- 8 New aneuploids of common wheat --- 9 Chromosomal changes over the course of polyploid wheat evolution and domestication --- Part IV Toward Whole Genome Sequencing --- 10 Comprehensive functional analyses of expressed sequence tags in common wheat --- 11 Development of the BAC physical maps of wheat chromosome 6B for its genomic sequencing --- Part V Structural and Functional Genomics --- 12 Sequencing of wheat chromosome 6B: toward functional genomics --- 13 Genetic mechanisms of vernalization requirement duration in winter wheat cultivars --- 14 Building ultra-dense genetic maps in the presence of genotyping errors and missing data --- Part VI Functional Gene Analysis and Molecular Tools --- 15 Exploiting comparative biology and genomics to understand a trait in wheat, Ph1 --- 16 The specific features of anthocyanin biosynthesis regulation in wheat --- 17 Association of wheat miRNAs with hybrid incompatibility in interspecific crosses of Triticum and Aegilops --- 18 High efficiency wheat transformation mediated by Agrobacterium tumefaciens --- 19 extra early-flowering (exe) mutants in einkorn wheat generated by heavy-ion beam irradiation --- Part VII Biotic Stress Response --- 20 Stem rust resistance - two approaches --- 21 Germplasm enhancement for resistance to Pyrenophora tritici-repentis in wheat --- 22 Next Generation Sequencing enabled genetics in hexaploid wheat --- Part VIII Abiotic Stress Response --- 23 Genomics approaches to dissect the genetic basis of drought resistance in durum wheat --- 24 Hybrid breeding in wheat --- 25 Broadening the genetic diversity of common and durum wheat for abiotic stress tolerance breeding --- 26 Early maturity in wheat for adaptation to high temperature stress --- 27 Gene expression profiles involved in development of freezing tolerance in common wheat --- Part IX Improvement of Grain Quality --- 28 Coping with wheat quality in a changing environment - Proteomics evidence for stress caused by environmental changes --- 29 Starch modification: a model for wheat MAS breeding --- 30 Quality characteristics of soft kernel durum - a new cereal crop --- 31 Proposal of international gluten research group --- 32 Enlargement of the genetic diversity for grain quality in bread wheat through alien introgression --- 33 Complex G x E interactions and QTL clusters govern end-use quality traits in hexaploid wheat --- 34 A consistent QTL for flour yield on chromosome 3B in the soft winter wheat variety, Kitahonami --- Part X Marker-Assisted Breeding --- 35 Recent improvements in Japanese wheat varieties --- 36 Determining the order of resistance genes Qsng-3BS, Fhb1 and Sr2 and combining them in coupling on wheat chromosome 3BS --- 37 Meta-analysis of resistance to Fusarium head blight in tetraploid wheat – implications for durum wheat breeding --- 38 Interest of a multiparental and outcrossing wheat population for fine mapping --- 39 The effect of Earliness per se (Eps) genes on flowering time in bread wheat --- Part XI Toward Sustainable Wheat Production --- 40 Recapitulating the OECD-CRP session (sponsored by the OECD’s Co-operative Research Program on Biological Resource Management for Sustainable Agricultural Systems --- 41 Exploring genetic resources to increase adaptation of wheat to climate change --- 42 Genomic approaches towards durable fungal disease resistance in wheat --- 43 Review and new progress in wheat wide hybridization for improving the resistance to biotic and abiotic stresses --- 44 Global crop improvement networks to bridge technology gaps --- 45 Genomic selection in plants: empirical results and implications for wheat breeding --- 46 Dietary fibre: wheat genes for enhanced human health --- BM Appendix I: Program --- Appendix II: Poster Presentation List --- Appendix III: Committees
    Pages: Online-Ressource (XVI, 445 pages)
    ISBN: 9784431556756
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-55675-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 36
    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
  • 37
    Unknown
    Biodiversity Conservation and Phylogenetic Systematics : Preserving our evolutionary heritage in an extinction crisis (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Biodiversity ; Nature conservation ; Life Sciences ; Biodiversity ; Nature Conservation ; Plant Systematics/Taxonomy/Biogeography ; Animal Systematics/Taxonomy/Biogeography
    Description / Table of Contents: Phylogenetics and conservation biology: drawing a path into the diversity of life --- The value of phylogenetic diversity --- The PD phylogenetic diversity framework: linking evolutionary history to feature diversity for biodiversity conservation --- Reconsidering the loss of evolutionary history: how does non-random extinction prune the tree-of-life?- Phylogenetics and conservation in New Zealand: the long and the short of it --- What is the meaning of extreme phylogenetic diversity? The case of phylogenetic relict species --- Using phylogenetic dissimilarities among sites for biodiversity assessments and conservation --- Phylogenetic diversity measures and their decomposition: a framework based on hill numbers --- Split diversity: measuring and optimizing biodiversity using phylogenetic split networks --- The rarefaction of phylogenetic diversity: formulation, extension and application --- Support in area prioritization using phylogenetic information --- Assessing hotspots of evolutionary history with data from multiple phylogenies: an analysis of endemic clades from New Caledonia --- Representing hotspots of evolutionary history in systematic conservation planning for European mammals --- Priorities for conservation of the evolutionary history of amphibians in the cerrado --- Global spatial analyses of phylogenetic conservation priorities for aquatic mammals --- Metapopulation capacity meets evolutionary distinctness: spatial fragmentation complements phylogenetic rarity in prioritization. - Patterns of species, phylogenetic and mimicry diversity of clearwing butterflies in the Neotropics --- Conservation of phylogenetic diversity in Madagascar’s largest endemic plant family, Sarcolaenaceae --- The future of phylogenetic systematics in conservation biology: linking biodiversity and society
    Pages: Online-Ressource (XVII, 390 pages) , 79 illustrations
    ISBN: 9783319224619
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-22461-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    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
  • 39
    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
  • 40
    Unknown
    Bats in the Anthropocene: Conservation of Bats in a Changing World (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Climate change ; Animal ecology ; Conservation biology ; Ecology ; Vertebrates ; Life Sciences ; Conservation Biology/Ecology ; Vertebrates ; Animal Ecology ; Climate Change/Climate Change Impacts
    Description / Table of Contents: Bats in the Anthropocene --- Urbanisation and its effects on bats – a global meta-analysis --- Bats and roads --- Responses of tropical bats to habitat fragmentation, logging, and deforestation --- Insectivorous bats and silviculture: balancing timber production and bat conservation --- Bats in the anthropogenic matrix: Challenges and opportunities for the conservation of Chiroptera and their ecosystem services in agricultural landscapes --- Dark matters: the effects of artificial lighting on bats --- Bats and water: anthropogenic alterations threaten global bat populations --- White-nose syndrome in bats --- Zoonotic viruses and conservation of bats --- Impacts of Wind Energy Development on Bats: a Global Perspective --- Exploitation of Bats for Bushmeat and Medicine --- The conflict between pteropodid bats and fruit growers: species, legislation and mitigation --- Bats and buildings: The conservation of synanthropic bats --- Conservation ecology of cave bats --- The roles of taxonomy and systematics in bat conservation --- Networking networks for global bat conservation --- Cute, Creepy, or Crispy – how values, attitudes and norms shape human behavior toward bats. 
    Pages: Online-Ressource (IX, 606 pages) , 77 illustrations, 52 illustrations in color
    ISBN: 9783319252209
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-25220-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    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
  • 42
    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
  • 43
    Unknown
    Technological and Institutional Innovations for Marginalized Smallholders in Agricultural Development (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Management ; Industrial management ; Geography ; Agriculture ; Agricultural economics ; Life Sciences ; Agriculture ; Agricultural Economics ; Geography, general ; Innovation/Technology Management
    Description / Table of Contents: Foreword --- 1. Innovation for Marginalized Smallholder Farmers and Development: an Overview and Implications for Policy and Research --- Part 1 Innovation for the Rural Poor: Theory, Trends and Impacts --- 2. Institutional and technological innovations in polycentric systems –pathways for escaping marginality --- 3. Innovations for Food and Nutrition Security: Impacts and Trends --- 4. Psychology of Innovation: Innovating human psychology? --- 5. An optimization model for technology adoption of marginalized smallholders --- Part 2 Diversification of Agricultural Production and Income --- 6. The BRAC Approach to Small Farmers' Innovations --- 7. Agricultural Research and Extension Linkages in Amhara Region, Ethiopia --- 8. Transaction costs on the Ethiopian formal seed market and innovations for encouraging private sector investments --- 9. Agricultural Service Delivery Through Mobile Phone: Local innovations and Technological Opportunities in Kenya --- 10. Identification and Acceleration of Farmer Innovativeness in Upper East Ghana --- 11. Gender, social equity and innovations in smallholder farming systems: pitfalls and pathways --- 12. Assessing the Sustainability of Agricultural Technology Options for Poor Rural Farmers --- 13. Land Degradation and Sustainable Land Management Innovations in Central Asia --- 14. Biomass-based value web. A Novel Perspective for Emergng Bioeconomies in Sub-Saharan Africa --- Part 3 Sustainable Intensification of Agriculture --- 15. Adoption of Stress-tolerant Rice Varieties in Bangladesh --- 16. More than cereal based cropping innovations for improving food and livelihood security of poor small holders in marginal areas of Bangladesh --- 17. Integrated Rice-fish Farming System in Bangladesh: An Ex-Ante Value Chain Evaluation Framework --- 18. Technologies for Maize, Wheat, Rice and Pulses in Marginal Districts of Odisha and Bihar --- 19. Technological Innovations for Smallholder Farmers in Ghana --- 20. Potential impacts of yield increasing crop technologies on poverty reduction in two districts of Ethiopia
    Pages: Online-Ressource (XV, 435 pages) , 80 illustrations, 50 illustrations in color
    ISBN: 9783319257181
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-25718-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 44
    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
  • 45
    Unknown
    Impacts of the Fukushima Nuclear Accident on Fish and Fishing Grounds (2015)
    Tokyo : Springer
    Details
    Keywords: Life sciences ; Ecology ; Wildlife ; Fish ; Life Sciences ; Fish & Wildlife Biology & Management ; Ecology ; Environmental Monitoring/Analysis
    Description / Table of Contents: 1 Introduction: Overview of Our Research on Impacts of the Fukushima Dai-ichi Nuclear Power Plant Accident on Fish and Fishing Grounds --- Part I Seawater and Plankton --- 2 134Cs and 137Cs in the Seawater Around Japan and in the North Pacific --- 3 Temporal Changes in 137Cs Concentration in Zooplankton and Seawater off the Joban–Sanriku Coast, and in Sendai Bay, After the Fukushima Dai-ichi Nuclear Accident --- Part II Sediments and Benthos --- 4 Three-Dimensional Distribution of Radiocesium in Sea Sediment Derived from the Fukushima Dai-ichi Nuclear Power Plant --- 5 Radiocesium Concentrations in the Organic Fraction of Sea Sediments --- 6 Bottom Turbidity, Boundary Layer Dynamics, and Associated Transport of Suspended Particulate Materials off the Fukushima Coast --- 7 Investigation of Radiocesium Translation from Contaminated Sediment to Benthic Organisms --- Part III Marine Fish --- 8 Detection of 131I, 134Cs, and 137Cs Released into the Atmosphere from FNPP in Small Epipelagic Fishes, Japanese Sardine and Japanese Anchovy, off the Kanto Area, Japan --- 9 Radiocesium Concentration of Small Epipelagic Fishes (Sardine and Japanese Anchovy) off the Kashima-Boso Area --- 10 Why Do the Radionuclide Concentrations of Pacific Cod Depend on the Body Size? --- 11 Radiocesium Contamination Histories of Japanese Flounder (Paralichthys olivaceus) After the 2011 Fukushima Nuclear Power Plant Accident --- Part IV Mechanisms of Severe Contamination in Fish --- 12 Evaluating the Probability of Catching Fat Greenlings (Hexagrammos otakii) Highly Contaminated with Radiocesium off the Coast of Fukushima --- 13 Analysis of the Contamination Process of the Extremely Contaminated Fat Greenling by Fukushima-Derived Radioactive Material --- 14 Contamination Levels of Radioactive Cesium in Fat Greenling Caught at the Main Port of the Fukushima Dai-ichi Nuclear Power Plant --- Part V Freshwater Systems --- 15 Comparison of Radioactive Cesium Contamination of Lake Water, Bottom Sediment, Plankton, and Freshwater Fish Among Lakes of Fukushima Prefecture, Japan, After the Fukushima Fallout --- 16 Radiocesium Concentrations and Body Size of Freshwater Fish in Lake Hayama 1 Year After the Fukushima Dai-Ichi Nuclear Power Plant Accident --- 17 Spatiotemporal Monitoring of 134Cs and 137Cs in Ayu, Plecoglossus altivelis, a Microalgae-Grazing Fish, and in Their Freshwater Habitats in Fukushima --- 18 Radiocesium Concentrations in the Muscle and Eggs of Salmonids from Lake Chuzenji, Japan, After the Fukushima Fallout --- 19 Assessment of Radiocesium Accumulation by Hatchery-Reared Salmonids After the Fukushima Nuclear Accident
    Pages: Online-Ressource (XI, 238 pages) , 103 illustrations, 37 illustrations in color
    ISBN: 9784431555377
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-55537-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 46
    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
  • 47
    Unknown
    Marine Anthropogenic Litter (2015)
    Cham : Springer
    Details
    Keywords: Life sciences ; Aquatic ecology ; Life Sciences ; Freshwater & Marine Ecology
    Description / Table of Contents: Foreword --- Preface --- Part 1 A brief history of marine litter research --- Part 2 Abiotic aspects of marine litter pollution --- Global distribution, composition and abundance of marine litter --- Persistence of plastic litter in the oceans --- Part 3 Biological implications of marine litter --- Deleterious effects of litter on marine life --- The complex mixture, fate and toxicity of chemicals associated with plastic debris in the marine environment --- Marine litter as habitat and dispersal vector --- Part 4 Micro plastics --- Micro plastics in the marine environment: sources, consequences and solutions --- Methodology used for the detection and identification of micro plastics – a critical appraisal --- Sources and pathways of micro plastics to habitats --- Micro plastics in the marine environment: distribution, interactions and effects --- Modeling the role of micro plastics in bioaccumulation of organic chemicals to marine aquatic organisms. A critical review --- Nano plastics in the aquatic environment. Critical review --- Part 5 Socio-economic implications of marine anthropogenic litter --- Micro and nano-plastics and human health --- The economics of marine litter --- Regulation and management of marine litter --- Marine litter and the contribution of citizen science
    Pages: Online-Ressource (XVIII, 447 pages) , 68 illustrations, 35 illustrations in color
    ISBN: 9783319165103
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16510-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 48
    Unknown
    The Impact of Food Bioactives on Health : in vitro and ex vivo models (2015)
    Cham : Springer
    Details
    Keywords: Life sciences ; Human physiology ; Food ; Biotechnology ; Microbiology ; Life Sciences ; Food Microbiology ; Food Science ; Human Physiology
    Description / Table of Contents: Introduction --- Gastrointestinal digestion models, general introduction --- Static digestion models general introduction --- InfoGest consensus method --- Approaches to static digestion models --- Dynamic digestion models general introduction --- The TNO gastro-Intestinal Model (TIM) --- Dynamic Gastric Model (DGM) --- Human Gastric Simulator (Riddet model) --- The DIDGI® System --- General introduction to cells, cell lines and cell culture --- Epithelial cell models; General introduction --- Caco-2 cell line --- HT29 cell line --- The IPEC-J2 cell line --- Co-cultivation of Caco-2 and HT-29MT --- Innate and adaptive immune cells; General introduction --- THP-1 and U937 cells --- Peripheral blood mononuclear cells --- PBMC-derived T cells --- Dendritic Cells --- Co-culture Caco-2/ immune cells --- Enteroendocrine Cell Models: General introduction --- STC-1 cells --- NCI-H716 cells --- Murine GLUTag cells --- In vitro intestinal tissue models: General introduction --- Intestinal crypt organoids as experimental models --- Porcine ex vivo intestinal segment model --- Ussing chamber --- In vitro fermentation models: General Introduction --- One compartment fermentation model --- The TNO in vitro model of the colon - TIM-2 --- The Simulator of the Human Intestinal Microbial Ecosystem – SHIME® --- The computer-controlled multicompartmental dynamic model of the gastrointestinal system SIMGI
    Pages: Online-Ressource (XVII, 338 pages) , 57 illustrations, 35 illustrations in color
    ISBN: 9783319161044
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16104-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 49
    Unknown
    The Impact of Food Bioactives on Health : in vitro and ex vivo models (2015)
    Cham : Springer
    Details
    Keywords: Life sciences ; Human physiology ; Food ; Biotechnology ; Microbiology ; Life Sciences ; Food Microbiology ; Food Science ; Human Physiology
    Description / Table of Contents: Introduction --- Gastrointestinal digestion models, general introduction --- Static digestion models general introduction --- InfoGest consensus method --- Approaches to static digestion models --- Dynamic digestion models general introduction --- The TNO gastro-Intestinal Model (TIM) --- Dynamic Gastric Model (DGM) --- Human Gastric Simulator (Riddet model) --- The DIDGI® System --- General introduction to cells, cell lines and cell culture --- Epithelial cell models; General introduction --- Caco-2 cell line --- HT29 cell line --- The IPEC-J2 cell line --- Co-cultivation of Caco-2 and HT-29MT --- Innate and adaptive immune cells; General introduction --- THP-1 and U937 cells --- Peripheral blood mononuclear cells --- PBMC-derived T cells --- Dendritic Cells --- Co-culture Caco-2/ immune cells --- Enteroendocrine Cell Models: General introduction --- STC-1 cells --- NCI-H716 cells --- Murine GLUTag cells --- In vitro intestinal tissue models: General introduction --- Intestinal crypt organoids as experimental models --- Porcine ex vivo intestinal segment model --- Ussing chamber --- In vitro fermentation models: General Introduction --- One compartment fermentation model --- The TNO in vitro model of the colon - TIM-2 --- The Simulator of the Human Intestinal Microbial Ecosystem – SHIME® --- The computer-controlled multicompartmental dynamic model of the gastrointestinal system SIMGI
    Pages: Online-Ressource (XVII, 338 pages) , 57 illustrations, 35 illustrations in color
    ISBN: 9783319161044
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16104-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 50
    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
  • 51
    Unknown
    The Sustainability of Agro-Food and Natural Resource Systems in the Mediterranean Basin (2015)
    Cham : Springer
    Details
    Keywords: Life sciences ; Food ; Biotechnology ; Environmental sciences ; Agriculture ; Life Sciences ; Agriculture ; Food Science ; Environmental Science and Engineering
    Description / Table of Contents: Part I : Agro-Food Systems --- Food Security in the Southern Mediterranean/North Africa --- Sustainability in cereal crop production in Mediterranean environments --- Innovative crop productions for healthy foods: the case of Chia --- The hidden costs of livestock environmental sustainability: the case of Podolian cattle --- Feeding, nutrition and sustainability in dairy enterprises: the case of Mediterranean buffaloes (bubalus bubalis) --- Sustainability of sheep and goat production systems --- The role of local sheep and goat breeds and their products as a tool for sustainability and safeguard of the Mediterranean environment --- Innovative use of jenny milk from sustainable rearing --- Sustainable agricultural practices in disease defence of traditional crops in Southern Italy: the case study of tomato cherry protected by Trichoderma harzianum T-22 against Cucumber mosaic virus --- Development of integrated disease control measures for the valorisation of traditional crops in Southern Italy: the case study of "Fagiolo di Sarconi" --- Fostering sustainable climate change adaptations: a case study of the Turkish Cypriot Community’s adoption of pomegranate farming --- The role of women in the sustainability of the wine industry through the analysis of case studies --- Part II : Natural Resource Systems and Environment --- The effects of climate change on the multifunctional role of Basilicata’s forests: the effects induced on yield and CO2 absorption --- Wildlife agriculture interactions, spatial analysis and trade-off between environmental sustainability and risk of economic damage --- The sustainability of non-renewable resources use at regional level: a case study on allocation of oil royalties --- Land use sector involvement in mitigation policies across carbon markets --- Evaluating the role of soil variability on potential groundwater pollution and recharge in a Mediterranean agricultural watershed --- Grazing and biodiversity conservation: highlights on a Nature 2000 network site --- Evaluation of native grasses for sustainable turfgrass in the bioclimatic Mediterranean Region.-Biodiversity of hypogeous fungi in Basilicata --- Part III: New technologies --- New technologies for the sustainable management and planning of rural land and environment --- Processing plants and technologies for a sustainable Mediterranean food chain --- Geophysical techniques for plant, soil and root research related to Satellite technologies to support the sustainability of agricultural production --- Electrolyzed water in the food industry as supporting of environmental sustainability
    Pages: Online-Ressource (XXVIII, 397 pages) , 80 illustrations, 48 illustrations in color
    ISBN: 9783319163574
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16357-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 52
    Unknown
    Marine Anthropogenic Litter (2015)
    Cham : Springer
    Details
    Keywords: Life sciences ; Aquatic ecology ; Life Sciences ; Freshwater & Marine Ecology
    Description / Table of Contents: Foreword --- Preface --- Part 1 A brief history of marine litter research --- Part 2 Abiotic aspects of marine litter pollution --- Global distribution, composition and abundance of marine litter --- Persistence of plastic litter in the oceans --- Part 3 Biological implications of marine litter --- Deleterious effects of litter on marine life --- The complex mixture, fate and toxicity of chemicals associated with plastic debris in the marine environment --- Marine litter as habitat and dispersal vector --- Part 4 Micro plastics --- Micro plastics in the marine environment: sources, consequences and solutions --- Methodology used for the detection and identification of micro plastics – a critical appraisal --- Sources and pathways of micro plastics to habitats --- Micro plastics in the marine environment: distribution, interactions and effects --- Modeling the role of micro plastics in bioaccumulation of organic chemicals to marine aquatic organisms. A critical review --- Nano plastics in the aquatic environment. Critical review --- Part 5 Socio-economic implications of marine anthropogenic litter --- Micro and nano-plastics and human health --- The economics of marine litter --- Regulation and management of marine litter --- Marine litter and the contribution of citizen science
    Pages: Online-Ressource (XVIII, 447 pages) , 68 illustrations, 35 illustrations in color
    ISBN: 9783319165103
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16510-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 53
    Unknown
    Impacts of the Fukushima Nuclear Accident on Fish and Fishing Grounds (2015)
    Tokyo : Springer
    Details
    Keywords: Life sciences ; Ecology ; Wildlife ; Fish ; Life Sciences ; Fish & Wildlife Biology & Management ; Ecology ; Environmental Monitoring/Analysis
    Description / Table of Contents: 1 Introduction: Overview of Our Research on Impacts of the Fukushima Dai-ichi Nuclear Power Plant Accident on Fish and Fishing Grounds --- Part I Seawater and Plankton --- 2 134Cs and 137Cs in the Seawater Around Japan and in the North Pacific --- 3 Temporal Changes in 137Cs Concentration in Zooplankton and Seawater off the Joban–Sanriku Coast, and in Sendai Bay, After the Fukushima Dai-ichi Nuclear Accident --- Part II Sediments and Benthos --- 4 Three-Dimensional Distribution of Radiocesium in Sea Sediment Derived from the Fukushima Dai-ichi Nuclear Power Plant --- 5 Radiocesium Concentrations in the Organic Fraction of Sea Sediments --- 6 Bottom Turbidity, Boundary Layer Dynamics, and Associated Transport of Suspended Particulate Materials off the Fukushima Coast --- 7 Investigation of Radiocesium Translation from Contaminated Sediment to Benthic Organisms --- Part III Marine Fish --- 8 Detection of 131I, 134Cs, and 137Cs Released into the Atmosphere from FNPP in Small Epipelagic Fishes, Japanese Sardine and Japanese Anchovy, off the Kanto Area, Japan --- 9 Radiocesium Concentration of Small Epipelagic Fishes (Sardine and Japanese Anchovy) off the Kashima-Boso Area --- 10 Why Do the Radionuclide Concentrations of Pacific Cod Depend on the Body Size? --- 11 Radiocesium Contamination Histories of Japanese Flounder (Paralichthys olivaceus) After the 2011 Fukushima Nuclear Power Plant Accident --- Part IV Mechanisms of Severe Contamination in Fish --- 12 Evaluating the Probability of Catching Fat Greenlings (Hexagrammos otakii) Highly Contaminated with Radiocesium off the Coast of Fukushima --- 13 Analysis of the Contamination Process of the Extremely Contaminated Fat Greenling by Fukushima-Derived Radioactive Material --- 14 Contamination Levels of Radioactive Cesium in Fat Greenling Caught at the Main Port of the Fukushima Dai-ichi Nuclear Power Plant --- Part V Freshwater Systems --- 15 Comparison of Radioactive Cesium Contamination of Lake Water, Bottom Sediment, Plankton, and Freshwater Fish Among Lakes of Fukushima Prefecture, Japan, After the Fukushima Fallout --- 16 Radiocesium Concentrations and Body Size of Freshwater Fish in Lake Hayama 1 Year After the Fukushima Dai-Ichi Nuclear Power Plant Accident --- 17 Spatiotemporal Monitoring of 134Cs and 137Cs in Ayu, Plecoglossus altivelis, a Microalgae-Grazing Fish, and in Their Freshwater Habitats in Fukushima --- 18 Radiocesium Concentrations in the Muscle and Eggs of Salmonids from Lake Chuzenji, Japan, After the Fukushima Fallout --- 19 Assessment of Radiocesium Accumulation by Hatchery-Reared Salmonids After the Fukushima Nuclear Accident
    Pages: Online-Ressource (XI, 238 pages) , 103 illustrations, 37 illustrations in color
    ISBN: 9784431555377
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-55537-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 54
    Unknown
    The Sustainability of Agro-Food and Natural Resource Systems in the Mediterranean Basin (2015)
    Cham : Springer
    Details
    Keywords: Life sciences ; Food ; Biotechnology ; Environmental sciences ; Agriculture ; Life Sciences ; Agriculture ; Food Science ; Environmental Science and Engineering
    Description / Table of Contents: Part I : Agro-Food Systems --- Food Security in the Southern Mediterranean/North Africa --- Sustainability in cereal crop production in Mediterranean environments --- Innovative crop productions for healthy foods: the case of Chia --- The hidden costs of livestock environmental sustainability: the case of Podolian cattle --- Feeding, nutrition and sustainability in dairy enterprises: the case of Mediterranean buffaloes (bubalus bubalis) --- Sustainability of sheep and goat production systems --- The role of local sheep and goat breeds and their products as a tool for sustainability and safeguard of the Mediterranean environment --- Innovative use of jenny milk from sustainable rearing --- Sustainable agricultural practices in disease defence of traditional crops in Southern Italy: the case study of tomato cherry protected by Trichoderma harzianum T-22 against Cucumber mosaic virus --- Development of integrated disease control measures for the valorisation of traditional crops in Southern Italy: the case study of "Fagiolo di Sarconi" --- Fostering sustainable climate change adaptations: a case study of the Turkish Cypriot Community’s adoption of pomegranate farming --- The role of women in the sustainability of the wine industry through the analysis of case studies --- Part II : Natural Resource Systems and Environment --- The effects of climate change on the multifunctional role of Basilicata’s forests: the effects induced on yield and CO2 absorption --- Wildlife agriculture interactions, spatial analysis and trade-off between environmental sustainability and risk of economic damage --- The sustainability of non-renewable resources use at regional level: a case study on allocation of oil royalties --- Land use sector involvement in mitigation policies across carbon markets --- Evaluating the role of soil variability on potential groundwater pollution and recharge in a Mediterranean agricultural watershed --- Grazing and biodiversity conservation: highlights on a Nature 2000 network site --- Evaluation of native grasses for sustainable turfgrass in the bioclimatic Mediterranean Region.-Biodiversity of hypogeous fungi in Basilicata --- Part III: New technologies --- New technologies for the sustainable management and planning of rural land and environment --- Processing plants and technologies for a sustainable Mediterranean food chain --- Geophysical techniques for plant, soil and root research related to Satellite technologies to support the sustainability of agricultural production --- Electrolyzed water in the food industry as supporting of environmental sustainability
    Pages: Online-Ressource (XXVIII, 397 pages) , 80 illustrations, 48 illustrations in color
    ISBN: 9783319163574
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16357-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 55
    Unknown
    Ranaviruses : Lethal Pathogens of Ectothermic Vertebrates (2015)
    Cham : Springer
    Details
    Keywords: Life sciences ; Virology ; Animal ecology ; Aquatic ecology ; Conservation biology ; Ecology ; Wildlife ; Fish ; Environmental health ; Life Sciences ; Animal Ecology ; Environmental Health ; Fish & Wildlife Biology & Management ; Virology ; Freshwater & Marine Ecology ; Conservation Biology/Ecology
    Description / Table of Contents: Introduction --- Distribution and Phylogeny of Ranaviruses --- Host-pathogen Ecology and Evolution --- Molecular Biology of Ranaviruses --- Immune Evasion and Host Immunity --- Pathology and Diagnostics --- Design and Analysis of Ranavirus Studies --- Global Ranavirus Consortium
    Pages: Online-Ressource (X, 246 pages) , 25 illustrations, 21 illustrations in color
    ISBN: 9783319137551
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-13755-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 56
    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
  • 57
    Unknown
    Low-Cost Methods for Molecular Characterization of Mutant Plants : Tissue Desiccation, DNA Extraction and Mutation Discovery: Protocols (2015)
    Cham : Springer
    Details
    Keywords: Life sciences ; Nucleic acids ; Plant breeding ; Biology ; Technique ; Life Sciences ; Plant Breeding/Biotechnology ; Biological Techniques ; Nucleic Acid Chemistry
    Description / Table of Contents: Introduction --- Health and Safety Considerations --- Sample Collection and Storage --- Low-Cost DNA Extraction --- PCR Amplification for Low-Cost Mutation Discovery --- Enzymatic Mismatch Cleavage and Agarose Gel Evaluation of Samples --- Alternative Enzymology for Mismatch Cleavage for TILLING and Ecotilling: Extraction of Enzymes form Common Weedy Plants --- Example Data --- Conclusions.  
    Pages: Online-Ressource (X, 35 pages) , 9 illustrations, 3 illustrations in color
    ISBN: 9783319162591
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16259-1
    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...