ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
  • 1
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Unknown
    Cham : Springer
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Keywords: Environment ; Climate change ; Remote sensing ; Physics ; Environment ; Climate Change ; Remote Sensing/Photogrammetry ; Energy Efficiency ; Climate Change/Climate Change Impacts ; Applied and Technical Physics
    Description / Table of Contents: Part I The Urban Heat Island – Evidence, Measures and Tools --- Forecasting Models for Urban Warming in Climate Change --- Assessment Indication and Gold Standard --- Methodologies for UHI Analysis --- Decision Support Systems for Urban Planning --- Part II Pilot Actions in European Cities --- Counteracting Urban Heat Islands: Solutions for European Cities.
    Pages: Online-Ressource (LIII, 400 pages) , 213 illustrations
    ISBN: 9783319104256
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Unknown
    Cham : Springer
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Keywords: Physics ; History ; Nuclear physics ; Heavy ions ; Hadrons ; Particle acceleration ; Physics ; Nuclear Physics, Heavy Ions, Hadrons ; History and Philosophical Foundations of Physics ; Particle Acceleration and Detection, Beam Physics ; History of Science
    Description / Table of Contents: Part I Reminiscences: Rolf Hagedorn and Relativistic Heavy Ion Research.-- Part II The Hagedorn Temperature --- Part III Melting Hadrons, Boiling Quarks Heavy Ion Path to Quark-Gluon Plasma --- Acronyms
    Pages: Online-Ressource (XVI, 441 pages)
    ISBN: 9783319175454
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Keywords: Physics ; Mathematical physics ; Quantum physics ; Physics ; Quantum Physics ; Mathematical Applications in the Physical Sciences ; History and Philosophical Foundations of Physics
    Description / Table of Contents: I The Cellular Automaton Interpretation as a general doctrine: Motivation for this work --- Deterministic models in quantum notation --- Interpreting quantum mechanics --- Deterministic quantum mechanics --- Concise description of the CA Interpretation --- Quantum gravity --- Information loss --- More problems --- Alleys to be further investigated and open questions --- Conclusions --- II Calculation Techniques: Introduction to part II --- More on cogwheels --- The continuum limit of cogwheels, harmonic rotators and oscillators --- Locality --- Fermions --- PQ theory --- Models in two space-time dimensions without interactions --- Symmetries --- The discretised Hamiltonian formalism in PQ theory --- Quantum Field Theory --- The cellular automaton --- The problem of quantum locality --- Conclusions of part II --- Some remarks on gravity in 2+1 dimensions --- A summary of our views on Conformal Gravity --- Abbreviations.
    Pages: Online-Ressource (XVIII, 298 pages) , 21 illustrations, 19 illustrations in color
    ISBN: 9783319412856
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Keywords: Physics ; Complexity, Computational ; Economic theory ; Social sciences ; Physics ; Data-driven Science, Modeling and Theory Building ; Methodology of the Social Sciences ; Economic Theory/Quantitative Economics/Mathematical Methods ; Operations Research/Decision Theory ; Complexity ; Computational Social Sciences
    Description / Table of Contents: Non-Equilibrium Social Science & Policy --- Economics --- Social Psychology and Narrative Economy --- Sociology and Non-Equilibrium Social Science --- Geography far from Equilibrium --- Cities in Disequilibrium --- The Evolutionary Theory of Globalization --- Systems, Networks, and Policy --- Towards a Complexity-Friendly Policy: breaking the vicious circle of equilibrium thinking in economic and public policy --- The Information Economy --- Complexity Science & the Art of Policy Making --- The Complexity of Government --- The Room Around the Elephant: Tackling Context-Dependency in the Social Sciences --- Global Systems Science and Policy --- Index.
    Pages: Online-Ressource (VIII, 232 pages)
    ISBN: 9783319424248
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Unknown
    Cham : Springer
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    Unknown
    Cham : Springer
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    Keywords: Physics ; Quantum field theory ; String theory ; Elementary particles (Physics) ; Physics ; Elementary Particles, Quantum Field Theory ; Quantum Field Theories, String Theory
    Description / Table of Contents: Preface --- Gauge Theories and the Standard Model --- QCD: The Theory of Strong Interactions --- The Theory of Electroweak Interactions --- References
    Pages: Online-Ressource (XIV, 173 pages) , 60 illustrations, 34 illustrations in color
    ISBN: 9783319519203
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Keywords: Physics ; Mathematical physics ; Quantum physics ; Physics ; Quantum Physics ; Mathematical Applications in the Physical Sciences ; History and Philosophical Foundations of Physics
    Description / Table of Contents: I The Cellular Automaton Interpretation as a general doctrine: Motivation for this work --- Deterministic models in quantum notation --- Interpreting quantum mechanics --- Deterministic quantum mechanics --- Concise description of the CA Interpretation --- Quantum gravity --- Information loss --- More problems --- Alleys to be further investigated and open questions --- Conclusions --- II Calculation Techniques: Introduction to part II --- More on cogwheels --- The continuum limit of cogwheels, harmonic rotators and oscillators --- Locality --- Fermions --- PQ theory --- Models in two space-time dimensions without interactions --- Symmetries --- The discretised Hamiltonian formalism in PQ theory --- Quantum Field Theory --- The cellular automaton --- The problem of quantum locality --- Conclusions of part II --- Some remarks on gravity in 2+1 dimensions --- A summary of our views on Conformal Gravity --- Abbreviations.
    Pages: Online-Ressource (XVIII, 298 pages) , 21 illustrations, 19 illustrations in color
    ISBN: 9783319412856
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    Keywords: Environment ; Climate change ; Remote sensing ; Physics ; Environment ; Climate Change ; Remote Sensing/Photogrammetry ; Energy Efficiency ; Climate Change/Climate Change Impacts ; Applied and Technical Physics
    Description / Table of Contents: Part I The Urban Heat Island – Evidence, Measures and Tools --- Forecasting Models for Urban Warming in Climate Change --- Assessment Indication and Gold Standard --- Methodologies for UHI Analysis --- Decision Support Systems for Urban Planning --- Part II Pilot Actions in European Cities --- Counteracting Urban Heat Islands: Solutions for European Cities.
    Pages: Online-Ressource (LIII, 400 pages) , 213 illustrations
    ISBN: 9783319104256
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Keywords: Physics ; History ; Nuclear physics ; Heavy ions ; Hadrons ; Particle acceleration ; Physics ; Nuclear Physics, Heavy Ions, Hadrons ; History and Philosophical Foundations of Physics ; Particle Acceleration and Detection, Beam Physics ; History of Science
    Description / Table of Contents: Part I Reminiscences: Rolf Hagedorn and Relativistic Heavy Ion Research.-- Part II The Hagedorn Temperature --- Part III Melting Hadrons, Boiling Quarks Heavy Ion Path to Quark-Gluon Plasma --- Acronyms
    Pages: Online-Ressource (XVI, 441 pages)
    ISBN: 9783319175454
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Keywords: Physics ; Complexity, Computational ; Economic theory ; Social sciences ; Physics ; Data-driven Science, Modeling and Theory Building ; Methodology of the Social Sciences ; Economic Theory/Quantitative Economics/Mathematical Methods ; Operations Research/Decision Theory ; Complexity ; Computational Social Sciences
    Description / Table of Contents: Non-Equilibrium Social Science & Policy --- Economics --- Social Psychology and Narrative Economy --- Sociology and Non-Equilibrium Social Science --- Geography far from Equilibrium --- Cities in Disequilibrium --- The Evolutionary Theory of Globalization --- Systems, Networks, and Policy --- Towards a Complexity-Friendly Policy: breaking the vicious circle of equilibrium thinking in economic and public policy --- The Information Economy --- Complexity Science & the Art of Policy Making --- The Complexity of Government --- The Room Around the Elephant: Tackling Context-Dependency in the Social Sciences --- Global Systems Science and Policy --- Index.
    Pages: Online-Ressource (VIII, 232 pages)
    ISBN: 9783319424248
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    Keywords: Physics ; Epistemology ; Philosophy and science ; Probabilities ; Physics ; History and Philosophical Foundations of Physics ; Theoretical, Mathematical and Computational Physics ; Epistemology ; Probability Theory and Stochastic Processes ; Philosophy of Science
    Description / Table of Contents: Part I Embedded observers, reflexive perception and representation: Intrinsic and extrinsic observation mode --- Embedded observers and self-expression --- Reflexive measurement --- Intrinsic self-representation --- Part II Provable unknowns: On what is entirely hopeless --- Forecasting and unpredictability --- Induction by rule inference --- Other types of recursion theoretic unknowables --- What if there are no laws? Emergence of laws --- Part III Quantum unknowns: "Shut up and calculate" --- Evolution by permutation --- Quantum mechanics in a nutshell --- Quantum oracles --- Vacuum fluctuations --- Radioactive decay --- Part IV Exotic unknowns: Classical continua and infinities --- Classical (in)determinism --- Deterministic chaos --- Partition logics, finite automata and generalized urn models --- Part V Transcendence: Miracles --- Dualistic interfaces --- Part VI Executive summary: Executive summary --- Appendix A: Formal (in)computability and randomness --- B: Two particle correlations and expectations
    Pages: Online-Ressource (XIV, 219 pages) , 32 illustrations, 24 illustrations in color
    ISBN: 9783319708157
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Keywords: Physics ; Matrix theory ; Algebra ; Mathematical physics ; Quantum physics ; Physics ; Quantum Physics ; Mathematical Physics ; History and Philosophical Foundations of Physics ; Linear and Multilinear Algebras, Matrix Theory
    Description / Table of Contents: Introduction --- Part I Co(X) and B(H): Classical physics on a finite phase space --- Quantum mechanics on a finite-dimensional Hilbert space --- Classical physics on a general phase space --- Quantum physics on a general Hilbert space --- Symmetry in quantum mechanics --- Part II Between Co(X) and B(H): Classical models of quantum mechanics --- Limits: Small hbar --- Limits: large N --- Symmetry in algebraic quantum theory --- Spontaneous Symmetry Breaking --- The Measurement Problem --- Topos theory and quantum logic --- Appendix A: Finite-dimensional Hilbert spaces --- Appendix B: Basic functional analysis --- Appendix C: Operator algebras --- Appendix D: Lattices and logic --- Appendix E: Category theory and topos theory --- References
    Pages: Online-Ressource (XXXVI, 861 pages) , 9 illustrations, 8 illustrations in color
    ISBN: 9783319517773
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    Keywords: Physics ; Quantum optics ; Physics ; Optics, Lasers, Photonics, Optical Devices ; Quantum Optics ; Popular Science in Physics ; History and Philosophical Foundations of Physics
    Description / Table of Contents: History --- A brief history of light --- Ibn Al-Haitham – Father of modern optics --- Optical Sources --- Femtosecond light --- Laser --- LED light --- Electron optics --- Applications --- Biophotonics --- Optical communication --- Optical astronomy --- Solar cells --- Optics in Remote Sensing --- Optics in nanotechnology --- Optics in art --- Eye --- Optics in medicine --- Optical illusions --- Quantum Optics --- Optical tests of foundations of physics --- Nonlinear Optics: Historical Perspectives and New Opportunities --- Quantum communication --- Nature of photon --- Atom optics --- Coherent effects: From EIT to slow light
    Pages: Online-Ressource (XX, 504 pages) , 355 illustrations, 277 illustrations in color
    ISBN: 9783319319032
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...