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
Filter
  • thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology  (34)
  • thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications  (24)
  • thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering  (22)
  • CRC Press  (36)
  • Springer  (35)
  • American Chemical Society (ACS)
  • Blackwell Publishing Ltd
  • 2020-2024  (71)
Collection
Keywords
Language
Years
  • 2020-2024  (71)
Year
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Keywords: Software Engineering/Programming and Operating Systems ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Software Engineering ; Operating systems ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Mathematical theory of computation ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-05
    Description: Bioassays are among the ecotoxicologist's most effective weapons in the evaluation of water quality and the assessment of ecological impacts of effluents, chemicals, discharges, and emissions on the aquatic environment. Information on these assessment aids is needed throughout the international scientific and environmental management community. This comprehensive reference provides an excellent overview of the small-scale aquatic bioassay techniques and applications currently in use around the world. This special volume is the result of several years of collaboration between Environment Canada and Fisheries and Oceans Canada. Internationally recognized research scientists at many institutions have contributed to this state-of-the-art examination of the exciting, environmentally important field of microscale testing in aquatic toxicology. Microscale Testing in Aquatic Toxicology contains over forty chapters covering relevant principles, new techniques and recent advancements, and applications in scientific research, environmental management, academia, and the private sector.
    Keywords: aquatic toxicology ; biological methods ; chemical contamination ; Ecological Toxicology ; Environmental Toxicology ; ecotoxicology ; environmental pollution ; limnology ; Marine and Aquatic Science ; Marine Biology ; marine environmental protection ; ocean health ; toxicity test methods ; water pollution ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSP Hydrobiology::PSPM Marine biology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Publication Date: 2024-04-11
    Description: The presence of refractory organic compounds in wastewater is a global problem. Advanced oxidation processes, in general, and the Fenton oxidation process are alternative technologies for wastewater and water treatment. This book gives an overview of Fenton process principles, explains the main factors influencing this technology, includes applications, kinetic and thermodynamic calculations and presents a strong overview on the heterogeneous catalytic approach. It demonstrates that the iron-based heterogeneous Fenton process, including nanoparticles, a new complex solution, is highly efficient, environmentally friendly, and can be suitable for wastewater treatment and industrial wastewater. FEATURES Describes in detail the heterogeneous Fenton process and process applications Analyzes the advantages and disadvantages of different catalysts available and their suitability to specific processes Provides economic analysis of the Fenton process in a ready-to-use package for industrial practitioners for adaptation into already existing industrially viable technologies Promotes a modern solution to the problem of degradation of hazardous compounds through ecological and environmentally friendly processes and the use of a catalyst that can be recycled Explains highly complex data in an understandable and reader-friendly way Intended for professionals, researchers, upper-level undergraduate and graduate students in environmental engineering, materials science, chemistry, and those who work in wastewater management.
    Keywords: Advanced Oxidation Process ; Industrial Wastewater ; Iron Catalysts ; Nanotechnology, Nano-Oxides ; Refractory Organic Compounds ; Wastewater Quality Assessment ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology::TQS Sanitary and municipal engineering::TQSW Water supply and treatment ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology::TQS Sanitary and municipal engineering::TQSW Water supply and treatment ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: "Cyanobacterial toxins are among the hazardous substances most widely found in water. They occur naturally, but concentrations hazardous to human health are usually due to human activity. Therefore, to protect human health, managing lakes, reservoirs and rivers to prevent cyanobacterial blooms is critical. This second edition of Toxic Cyanobacteria in Water presents the current state of knowledge on the occurrence of cyanobacteria and cyanotoxins as well as their impacts on health through water-related exposure pathways, chiefly drinking-water and recreational activity. It provides scientific and technical background information to support hazard identification, assessment and prioritisation of the risks posed by cyanotoxins, and it outlines approaches for their management at each step of the water-use system. It sets out key practical considerations for developing management strategies, implementing efficient measures and designing monitoring programmes. This enables stakeholders to evaluate whether there is a health risk from toxic cyanobacteria and to mitigate it with appropriate measures. This book is intended for those working on toxic cyanobacteria with a specific focus on public health protection. It intends to empower professionals from different disciplines to communicate and cooperate for sustainable management of toxic cyanobacteria, including public health workers, ecologists, academics, and catchment and waterbody managers. Ingrid Chorus headed the department for Drinking-Water and Swimming-Pool Hygiene at the German Environment Agency. Martin Welker is a limnologist and microbiologist, currently with bioMérieux in Lyon, France."
    Keywords: drinking water;environmental microbiology;exposure pathways;limnology;phytoplankton;recreational water;swimming pool hygiene;toxins;water quality;water resource monitoring ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019. In that respect, it both represents a continuation of Vol. 113 in Springer’s series Lecture Notes in Computational Science and Engineering, the corresponding report of SPPEXA’s first funding phase, and provides an overview of SPPEXA’s contributions towards exascale computing in today's sumpercomputer technology. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.
    Keywords: Simulation and Modeling ; Performance and Reliability ; Computational Science and Engineering ; Input/Output and Data Communications ; Mathematical and Computational Engineering ; Numerical and Computational Physics, Simulation ; Computer Science ; Computer Hardware ; Mathematical and Computational Engineering Applications ; Theoretical, Mathematical and Computational Physics ; open access ; computational algorithms and numerical methods ; data management and exploration ; high-performance computing ; simulation software and applications ; system software and software tools ; Computer modelling & simulation ; Systems analysis & design ; Maintenance & repairs ; Maths for scientists ; Computer networking & communications ; Distributed databases ; Maths for engineers ; Mathematical physics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDE Maths for scientists ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::P Mathematics and Science::PH Physics::PHU Mathematical physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.
    Keywords: Logic Design ; Computer System Implementation ; Computer Communication Networks ; Special Purpose and Application-Based Systems ; Software Engineering ; Operating Systems ; open access ; reversible computation ; semantics of reversible computation ; formal methods ; models of computation ; circuit design ; simulation ; robotics ; debugging ; quantum computing ; wireless communications ; programming languages ; dependability ; modelling of biochemical systems ; computer networks ; engineering ; software engineering ; parallel processing systems ; theoretical computer science ; Computer architecture & logic design ; Systems analysis & design ; Network hardware ; Expert systems / knowledge-based systems ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UL Operating systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-05
    Description: This book helps readers understand the fundamental principles and phenomena that control the transfer of trace elements. It describes the occurrence and behavior of trace elements in rocks, soil, water, air, and plants, and also discusses the anthropogenic impact to the environment. In addition, the book covers the presence of trace elements in feeds, as either contaminants or as nutritional or zootechnical additives, and their transfer across the food chain to humans. All trace elements are covered-from aluminum to zirconium-as well as rare-earth elements (actinides and lanthanides).
    Keywords: Soil Science ; Environmental Health ; Environmental Chemistry ; ENVIRO ; AGRICULTURE ; CHEMLIB ; SCI-TECH ; CHEMISTRY ; ENVIRONMENTALSCIENCE ; STM ; ash ; crust ; earths ; eriksson ; fly ; fresh ; periodic ; table ; weight ; 2001a ; thema EDItEUR::P Mathematics and Science::PN Chemistry ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years.
    Keywords: Software Engineering ; Software Management ; Automotive Engineering ; Special Purpose and Application-Based Systems ; IT in Business ; Model-Driven Software Development ; Requirements Engineering ; Automotive Software Engineering ; Embedded Systems ; Open Access ; SPES Methodology ; Simulation ; Co-Design of Systems ; Business mathematics & systems ; Business applications ; Automotive technology & trades ; Automotive (motor mechanic) skills ; Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRC Automotive technology and trades ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Natural Language Processing (NLP) ; Software Engineering ; Logics and Meanings of Programs ; Computer Systems Organization and Communication Networks ; Compilers and Interpreters ; Computer Science Logic and Foundations of Programming ; Computer Engineering and Networks ; computer programming ; concurrency theory ; distributed computer systems ; formal logic ; lamdba calculi ; linguistics ; logic ; object-oriented programming ; parallel processing systems ; probabilistic programming ; process calculi ; program compilers ; semantics ; software design ; software quality ; theory ; types ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Natural language & machine translation ; Computer programming / software engineering ; Computer architecture & logic design ; Computer networking & communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-16
    Description: Work is central to people’s lives and the course of their life. The opportunities and chances an individual can have in their life are significantly connected to work. Individuals' work is also crucial for organisations, companies and for the whole of society. There is a constant need to make changes and readjustments of working life since these can deeply affect the individual and their employability. To make working lives more healthy, sustainable and attractive, being aware of the measures and changes that can be achieved in practice is of crucial importance. This book bridges the gap between the theories and explanatory models offered in research and actual work environments and workplaces. This book constitutes a theoretical framework that visualises the complexity of working life and increases the knowledge and awareness of individuals, companies, organisations and society regarding different factors and patterns. It aims to support individual reflections and joint discussions into daily operations on the individual, organisational and societal level. This book contains practical tools to use in daily working life that analyse possible risks in the work environment when planning measures and actions for health promotion. These practical tools are derived from the four spheres for action and employability in the SwAge model. Developed by the author, the SwAge model (Sustainable Working Life for All Ages) is a theoretical, explanatory model that explains the complexity of creating a healthy and sustainable working life for all ages. By using the SwAge model as a comprehensible framework, the reader will be able to visualise the complexity of factors that affect and influence whether people are able to and want to participate in working life and in the work environment, thereby contributing to increased employability. Designing Sustainable Working Lives and Environments is an essential read for students, researchers, work environment engineers, ergonomics and human factor specialists, occupational health and safety practitioners, business managers, HR staff, leadership decision-makers and labour union professionals.
    Keywords: Employability ; Occupational Health ; Meaningful work ; Happiness at work ; Working life ; Mental health at work ; thema EDItEUR::J Society and Social Sciences::JM Psychology::JMA Psychological theory, systems, schools and viewpoints ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNX Industrial relations, occupational health and safety::KNXC Health and safety in the workplace ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TD Industrial chemistry and manufacturing technologies::TDC Industrial chemistry and chemical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBD Technical design::TBDG Ergonomics ; thema EDItEUR::V Health, Relationships and Personal development ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBF Social and ethical issues ; thema EDItEUR::J Society and Social Sciences::JM Psychology::JMJ Occupational and industrial psychology ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJU Organizational theory and behaviour ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKV Environmental medicine::MKVP Occupational medicine
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    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...