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
  • Books  (57)
  • Software Engineering  (30)
  • Sustainable development  (25)
  • Cell & Developmental Biology
  • Chemical Engineering
  • Humans
  • Inorganic Chemistry
  • Cham : Springer  (37)
  • Springer  (19)
  • De Gruyter Open Poland
Collection
Language
Years
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains eleven papers that describe the works by Jonathan Brachthäuser (EPFL Lausanne) entitled What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style, Mojdeh Golagha’s (Fortiss, Munich) thesis How to Effectively Reduce Failure Analysis Time?, Nikolay Harutyunyan’s (FAU Erlangen-Nürnberg) work on Open Source Software Governance, Dominic Henze’s (TU Munich) research about Dynamically Scalable Fog Architectures, Anne Hess’s (Fraunhofer IESE, Kaiserslautern) work on Crossing Disciplinary Borders to Improve Requirements Communication, Istvan Koren’s (RWTH Aachen U) thesis DevOpsUse: A Community-Oriented Methodology for Societal Software Engineering, Yannic Noller’s (NU Singapore) work on Hybrid Differential Software Testing, Dominic Steinhofel’s (TU Darmstadt) thesis entitled Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules, Peter Wägemann’s (FAU Erlangen-Nürnberg) work Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems, Michael von Wenckstern’s (RWTH Aachen U) research on Improving the Model-Based Systems Engineering Process, and Franz Zieris’s (FU Berlin) thesis on Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.
    Keywords: Software Engineering ; Software Development ; Requirements Engineering ; Software Modeling ; Software Research ; Ernst Denert Award ; 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::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Publication Date: 2024-04-05
    Description: This is an open access book. It is a compilation of case studies that provide useful knowledge and lessons that derive from on-the-ground activities and contribute to policy recommendations, focusing on the interlinkages between biodiversity and multiple dimensions of health (e.g., physical, mental, and spiritual) in managing socio-ecological production landscapes and seascapes (SEPLS). This book provides insights on how SEPLS approaches can contribute to more sustainable management of natural resources, achieving global biodiversity and sustainable development goals, and good health for all. It is also expected to offer useful knowledge and information for an upcoming three-year thematic assessment of “the interlinkages among biodiversity, water, food, and health” (the so-called “nexus assessment”) by the Intergovernmental Science-Policy Platform on Biodiversity and Ecosystem Services (IPBES). The book begins with an introductory chapter followed by eleven case study chapters demonstrating the nexus between biodiversity, health, and sustainable development, and then a synthesis chapter clarifying the relevance of the case study findings to policy and academic discussions. It will be of interest to scholars, policymakers, and professionals in the field related to sustainable development.
    Keywords: Conserving biodiversity ; Well-being ; Sustainable development ; Local and regional development ; COVID-19 ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PST Botany and plant sciences ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNK Conservation of the environment ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNC Applied ecology::RNCB Biodiversity ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNF Environmental management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    facet.materialart.
    Unknown
    De Gruyter | De Gruyter Open Poland
    Publication Date: 2022-11-22
    Description: This edited volume examines the opportunities to think, do, and/or create jointly afforded by digital storytelling. The contributors discuss digital storytelling in the context of educational programs, teaching anthropology, and ethnographic research involving a variety of populations and subjects that will appeal to researchers and practitioners engaged with qualitative methods and pedagogies that rely on media technology.
    Keywords: Discourse ; Climate Change ; Humans ; Nature ; Oceania ; Resilience ; Environmental Ethics ; Environmental Change ; Worldview ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes::JFFC Social impact of disasters ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFH Popular beliefs & controversial knowledge::JFHF Folklore, myths & legends ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFS Social groups::JFSL Ethnic studies::JFSL9 Indigenous peoples ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology::JHBD Population & demography ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHM Anthropology ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSX Human biology::PSXM Medical anthropology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    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 ...
  • 5
    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 ...
  • 6
    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 ...
  • 7
    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 ...
  • 8
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: Drawing on interdisciplinary, cross-national perspectives, this open access book contributes to the development of a coherent scientific discourse on social exclusion of older people. The book considers five domains of exclusion (services; economic; social relations; civic and socio-cultural; and community and spatial domains), with three chapters dedicated to analysing different dimensions of each exclusion domain. The book also examines the interrelationships between different forms of exclusion, and how outcomes and processes of different kinds of exclusion can be related to one another. In doing so, major cross-cutting themes, such as rights and identity, inclusive service infrastructures, and displacement of marginalised older adult groups, are considered. Finally, in a series of chapters written by international policy stakeholders and policy researchers, the book analyses key policies relevant to social exclusion and older people, including debates linked to sustainable development, EU policy and social rights, welfare and pensions systems, and planning and development. The book’s approach helps to illuminate the comprehensive multidimensionality of social exclusion, and provides insight into the relative nature of disadvantage in later life. With 77 contributors working across 28 nations, the book presents a forward-looking research agenda for social exclusion amongst older people, and will be an important resource for students, researchers and policy stakeholders working on ageing.
    Keywords: Demography ; Internal Medicine ; Health Psychology ; Quality of Life Research ; Aging Population ; Ageing ; Social exclusion ; Social and public policy ; Life course ; Older people ; Social relations ; Loneliness ; Rights and identity ; Service infastructure ; Sustainable development ; EU policy and social rights ; Welfare and pensions systems ; Unemployment at 50 + ; Older age divorced and widowed women ; Abuse and discrimination in older adults ; Ageing and caring in rural environments ; Long-term care institutions ; Pensions policies ; Nursing home residents ; Open access ; Population & demography ; Clinical & internal medicine ; Social & ethical issues ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology::JHBD Population and demography ; thema EDItEUR::M Medicine and Nursing::MJ Clinical and internal medicine ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine::MBNH Personal and public health / health education::MBNH4 Birth control, contraception, family planning ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBF Social and ethical issues
    Language: English
    Format: image/png
    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 two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – 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 total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Software Engineering ; Computer Engineering and Networks ; architecture verification and validation ; automata theory ; computer systems ; distributed computer systems ; embedded systems ; formal logic ; mathematics ; model checking ; model-checking ; parallel processing systems ; SAT and SMT solving ; software architecture ; static and dynamic program analysis ; theorem-proving ; verification and validation ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of the complex systems that are part of operation centers. As such, each chapter includes principles to summarize the design implication that engineers can use to inform their own design of interfaces for operation centers and similar systems. It includes example materials for the design of a fictitious system, which are referenced in the book and can be duplicated and extended for real systems. The design materials include a system overview, the system architecture, an example scenario, a stakeholder analysis, a task analysis, a description of the system and interface technology, and contextualized design guidelines. The guidelines can be specified because the user, the task, and the technology are well specified as an example. Building Better Interfaces for Remote Autonomous Systems is for working system engineers who are designing interfaces used in high throughput, high stake, operation centers (op centers) or control rooms, such as network operation centers (NOCs). Intended users will have a technical undergraduate degree (e.g., computer science) with little or no training in design, human sciences, or with human-centered iterative design methods and practices. Background research for the book was supplemented by interaction with the intended audience through a related project with L3Harris Technologies (formerly Harris Corporation).
    Keywords: User Interfaces and Human Computer Interaction ; Software Engineering ; Autonomous Systems ; User-Centered Design ; Operation Centres ; Interface Technology ; Human-Centered Design ; Open Access ; User interface design & usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners.
    Keywords: Software Engineering ; Cyber-physical systems, IoT ; Special Purpose and Application-Based Systems ; Computer Applications ; Computer-Aided Engineering (CAD, CAE) and Design ; Open Access ; Embedded and cyber-physical systems ; Software design engineering ; Model-driven software engineering ; Modelica ; Performance Analysis ; Design Languages ; System Description Languages ; System and Modeling ; DEVS ; Statecharts ; Petri Nets ; Multi-Paradigm Modeling ; AADL ; Concurrency Modeling ; Electrical engineering ; Cybernetics & systems theory ; Expert systems / knowledge-based systems ; Information technology: general issues ; Computer-aided design (CAD) ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical 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::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UG Graphical and digital media applications::UGC Computer-aided design (CAD)
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Artificial Intelligence ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Simulation and Modeling ; Computer Engineering and Networks ; Computer Science ; architecture verification and validation ; artificial intelligence ; automata theory ; computer systems ; correlation analysis ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; model checking ; programming languages ; semantics ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Artificial intelligence ; Computer networking & communications ; Computer hardware ; Computer modelling & simulation ; 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; Data Structures and Information Theory ; Natural Language Processing (NLP) ; Programming Techniques ; Theory of Computation ; Software Engineering ; architecture verification and validation ; artificial intelligence ; embedded systems ; empirical software validation ; formal logic ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; parallel processing systems ; program analysis ; program compilers ; signal processing ; software architecture ; software performance ; software selection and adaptation ; software testing and debugging ; telecommunication systems ; verification ; Operating systems ; Algorithms & data structures ; Information theory ; Natural language & machine translation ; Computer programming / software engineering ; Computer science ; Mathematical theory of computation ; 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::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 21st International Conference on Agile Software Development, XP 2020, which was planned to be held during June 8-12, 2020, at the IT University of Copenhagen, Denmark. However, due to the COVID-19 pandemic the conference was postponed until an undetermined date. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2020 provided an informal environment to network, share, and discover trends in Agile for the next 20 years. The 14 full and 2 short papers presented in this volume were carefully reviewed and selected from 37 submissions. They were organized in topical sections named: agile adoption; agile practices; large-scale agile; the business of agile; and agile and testing.
    Keywords: Software Engineering ; IT in Business ; Management of Computing and Information Systems ; IT Operations ; Agile software development ; Software creation and management ; Scrum ; Lean software development ; Process management ; open access ; Test-driven development ; Project and people management ; Software development techniques ; Risk management ; Business mathematics & systems ; Business applications ; Information architecture ; Maintenance & repairs ; 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::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 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 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.
    Keywords: Software Engineering ; Special Purpose and Application-Based Systems ; Control Structures and Microprogramming ; Computer System Implementation ; Information Systems and Communication Service ; Artificial Intelligence ; open access ; software engineering ; requirements engineering ; model-based design ; software analysis ; testing ; software architectures ; security ; model transformations ; software evolution ; software product lines ; architecting ; artificial intelligence ; computer programming ; computer systems ; embedded systems ; mathematics ; software architecture ; software design ; Expert systems / knowledge-based systems ; Algorithms & data structures ; Systems analysis & design ; Computer networking & communications ; Artificial intelligence ; 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::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Artificial Intelligence ; Information Systems and Communication Service ; Computer Hardware ; Computer Engineering and Networks ; Database Management System ; architecture verification and validation ; artificial intelligence ; computer hardware ; computer networks ; computer programming ; computer systems ; data security ; distributed computer systems ; embedded systems ; formal logic ; linguistics ; model checking ; network protocols ; parallel processing systems ; signal processing ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Artificial intelligence ; Computer hardware ; 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 ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 22nd International Conference on Agile Software Development, XP 2021, which was held virtually during June 14-18, 2021. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends.  XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Agile Turns Twenty While the World Goes Online”. The 11 full and 2 short papers presented in this volume were carefully reviewed and selected from 38 submissions. They were organized in topical sections named: agile practices; process assessment; large-scale agile; and short contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; IT in Business ; Management of Computing and Information Systems ; Software Engineering ; IT Operations ; Agile software development ; Software creation and management ; Scrum ; Lean software development ; Process management ; open access ; Test-driven development ; Project and people management ; Software development techniques ; Risk management ; Operating systems ; Business mathematics & systems ; Business applications ; Information architecture ; Maintenance & repairs ; 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::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community. It provides readers with a systematic overview of the common challenges faced by research infrastructures and how a ‘reference model guided’ engineering approach can be used to achieve greater interoperability among such infrastructures in the environmental and earth sciences. The 20 contributions in this book are structured in 5 parts on the design, development, deployment, operation and use of research infrastructures. Part one provides an overview of the state of the art of research infrastructure and relevant e-Infrastructure technologies, part two discusses the reference model guided engineering approach, the third part presents the software and tools developed for common data management challenges, the fourth part demonstrates the software via several use cases, and the last part discusses the sustainability and future directions.
    Keywords: Computer Applications ; Environment, general ; Special Purpose and Application-Based Systems ; Information Systems and Communication Service ; Software Engineering/Programming and Operating Systems ; Geography, general ; Computer and Information Systems Applications ; Environmental Sciences ; Database Management System ; Software Engineering ; Geography ; cloud computing ; cloud providers ; cloud services ; computer networks ; computing resource ; data communication systems ; databases ; distributed computer systems ; distributed systems ; engineering ; grid computing ; internet ; network protocols ; open access ; parallel processing systems ; signal processing ; telecommunication networks ; wireless telecommunication systems ; Information technology: general issues ; The environment ; Expert systems / knowledge-based systems ; Computer networking & communications ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; 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::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the 6 research workshops, the Agile Education and Training Track, the Doctoral Symposium, as well as a panel presented at XP 2020, the 21st International Conference on Agile Software Development, which was held during June 8-12, 2020. The conference was planned to take place at the IT University of Copenhagen, Denmark. Due to the COVID 19 pandemic, the conference was held online. In 2020, the following six workshops took place: Third International Workshop on Software-Intensive Business Eighth International Workshop on Large-Scale Agile Development Second European Symposium on Serverless Computing and Applications Second International Workshop on Agile Transformation First International Workshop on Agility with Microservices Programming Third International Workshop on Autonomous Agile Teams XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. The 31 papers presented in this volume were carefully reviewed and selected from overall 79 submissions. In addition to the 26 workshop papers, this volume also includes 2 papers from the Agile Education and Training Track and 3 papers from the Doctoral Symposium. Furthermore, the book contains a summary of a panel discussion with the topic “Covid-19’s Influence on the Future of Agile”.
    Keywords: Management of Computing and Information Systems ; IT in Business ; Software Engineering ; IT Operations ; XP ; Agile software development ; Extreme programming ; Lean development ; Software measurement ; open access ; Software maintenance ; Software testing ; Empirical software engineering ; Software management ; Software development techniques ; Business agility ; Information architecture ; Maintenance & repairs ; Business mathematics & systems ; Business applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Keywords: Energy ; Renewable energy resources ; Industrial management ; Environmental aspects ; Engineering design ; Renewable energy sources ; Alternate energy sources ; Green energy industries ; Sustainable development ; Energy ; Renewable and Green Energy ; Engineering Design ; Sustainable Development ; Sustainability Management
    Description / Table of Contents: PART I – Sustainable Energy for All (SE4A) --- 1. Energy and Sustainable Development --- 2. Distributed Renewable Energies --- 3. Sustainable Product-Service System --- 4. Sustainable Product-Service System applied to Distributed Renewable Energies --- PART II – Design for Sustainable Energy for All --- 5. Design for Sustainability --- 6. Human-Centred Design and Universal Design --- 7. System Design for Sustainable Energy for All (SD4SEA) --- PART III – Method for System Design for Sustainable Energy --- 8. Method for SD4SEA
    Pages: Online-Ressource (XXXIII, 208 pages) , 83 illustrations, 79 illustrations in color
    ISBN: 9783319702230
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    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 ...
  • 22
    Keywords: Energy ; Renewable energy resources ; Industrial management ; Environmental aspects ; Engineering design ; Renewable energy sources ; Alternate energy sources ; Green energy industries ; Sustainable development ; Energy ; Renewable and Green Energy ; Engineering Design ; Sustainable Development ; Sustainability Management
    Description / Table of Contents: PART I – Sustainable Energy for All (SE4A) --- 1. Energy and Sustainable Development --- 2. Distributed Renewable Energies --- 3. Sustainable Product-Service System --- 4. Sustainable Product-Service System applied to Distributed Renewable Energies --- PART II – Design for Sustainable Energy for All --- 5. Design for Sustainability --- 6. Human-Centred Design and Universal Design --- 7. System Design for Sustainable Energy for All (SD4SEA) --- PART III – Method for System Design for Sustainable Energy --- 8. Method for SD4SEA
    Pages: Online-Ressource (XXXIII, 208 pages) , 83 illustrations, 79 illustrations in color
    ISBN: 9783319702230
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Keywords: Energy ; Renewable energy resources ; Energy policy ; Energy and state ; Power electronics ; Renewable energy sources ; Alternate energy sources ; Green energy industries ; Sustainable development ; Energy ; Renewable and Green Energy ; Energy Policy, Economics and Management ; Power Electronics, Electrical Machines and Networks ; African Economics ; Sustainable Development
    Description / Table of Contents: Grid Connected Renewable Energy --- Decentralised Renewable and Household Energy Solutions --- Energy Socio-Economics (policy, economics, legal, regulatory and social issues) --- Power Generation --- Energy Research, Innovation, Education and Entrepreneurship --- Energy Resource Mapping and Planning
    Pages: Online-Ressource (XII, 151 pages) , 65 illustrations, 55 illustrations in color
    ISBN: 9783319934389
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    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 ...
  • 25
    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 ...
  • 26
    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 ...
  • 27
    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 ...
  • 28
    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 ...
  • 29
    Keywords: Sustainable development ; Environmental management ; Renewable energy sources ; Industrial management-Environmen ; Sustainable Development ; Environmental Management ; Renewable and Green Energy ; Environmental Science and Engineering ; Sustainability Management
    Description / Table of Contents: Part I: Introducing Life Cycle Management --- Introduction: Life Cycle Management --- Life Cycle Management: Implementing Sustainability in Business Practice --- Life Cycle Management as a Way to Operationalize Sustainability Within Organizations --- How to Implement Life Cycle Management in Business? --- Life Cycle Sustainability Assessment: A Tool for Exercising due Diligence in Life Cycle Management --- Life Cycle Management: Labeling, Declarations and Certifications at the Product Level —Different Approaches --- Mainstreaming the Use of Life Cycle Management in Small and Medium Sized Enterprises Using a Sector Based and Regional Approach --- Part II: Advancing the Implementation of Life Cycle Management in Business Practice --- From Projects to Processes to Implement Life Cycle Management in Business --- How to Make the LCA Team a Business Partner --- Sustainability Improvements and Life Cycle Approaches in Industry Partnerships --- Sustainable Value Creation with Life Cycle Management --- Part III: Life Cycle Management as Part of Sustainable Consumption and Production Strategies and Policies --- Hotspots Analysis: Providing the Focus for Action --- From Sustainable Production to Sustainable Consumption.-Life Cycle Management Responsibilities and Procedures in the Value Chain --- Policy Options for Life Cycle Assessment Deployment in Legislation --- Part IV: Mainstreaming and Capacity Building on Life Cycle Management --- Taking Life Cycle Management Mainstream: Integration in Corporate Finance and Accounting --- Building Organizational Capability for Life Cycle Management --- Promoting Life Cycle Thinking, Life Cycle Assessment and Life Cycle Management Within Business in Brazil --- Mainstreaming Life Cycle Sustainability Management in Rapidly Growing and Emerging Economies Through Capacity-building.-Communication and Collaboration as Essential Elements for Mainstreaming Life Cycle Management.-Part V: Implementation and Case Studies of Life Cycle Management in Different Business and Industry Sector --- Exploring Challenges and Opportunities of Life Cycle Management in the Electricity Sector --- Life Cycle Management Applied to Urban Fabric Planning --- Implementing Life Cycle Engineering in Automotive Development as a Helpful Management Tool to Support Design for Environment --- Managing Life cycle Sustainability Aspects in the Automotive Industry --- Life Cycle Management as a Way to Operationalize the Creating Shared Value Concept in the Food and Beverage Industry: A Case Study
    Pages: Online-Ressource (XIV, 520 pages) , 106 illustrations, 27 illustrations in color
    ISBN: 9783319669816
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Keywords: Environment ; Renewable energy resources ; Renewable energy sources ; Alternate energy sources ; Green energy industries ; Environmental engineering ; Biotechnology ; Sustainable development ; Environment ; Sustainable Development ; Renewable and Green Energy ; Environmental Engineering/Biotechnology ; Health Policy
    Description / Table of Contents: Part I: Introduction --- Part II: Humanitarian Technologies --- Part III: Medical Technologies --- Part IV: Renewable Energies --- Part V: Sustainable Habitat --- Part VI: Disaster Risk Reduction
    Pages: Online-Ressource (XXIII, 225 pages) , 40 illustrations, 37 illustrations in color
    ISBN: 9783319910680
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    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 ...
  • 32
    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 ...
  • 33
    Keywords: Environment ; Climate change ; Environmental management ; Sustainable development ; Environment ; Climate Change ; Sustainable Development ; Climate Change/Climate Change Impacts ; Environmental Management
    Description / Table of Contents: 1. Introduction --- 2. Action on Climate Change: What Does it Mean and Where Does it Lead To? --- Part 1. Policy --- 3. Mainstreaming Impact Evidence in Climate Change and Sustainable Development --- 4. Pathway to Impact: Supporting and Evaluating Enabling Environments for Research for Development --- 5. Lessons from Taking Stock of 12 years of Swiss International Cooperation on Climate Change --- 6. An Analytical Framework for Evaluating a Diverse Climate Change Portfolio --- 7. Enhancing the Joint Crediting Mechanism MRV to Contribute to Sustainable Development --- Part 2. Climate Change Mitigation --- 8. Using Mixed Methods to Assessing Trade-offs Between Agricultural Decisions and Deforestation --- 9. Methodological Approach of the GEF IEO’s Climate Change Mitigation Impact Evaluation: Assessing Progress in Market Change for Reduction of CO2 Emissions --- 10. Integrating Avoided Emissions in Climate Change Evaluation Policies for LDCs: The Case of Passive Solar Houses in Afghanistan --- 11. Sustainable Development, Climate Change, and Renewable Energy in Rural Central America --- 12. Unpacking the Black Box of Technology Distribution, Development Potential and Carbon Markets Benefits --- Part 3. Climate Change Adaptation.-13. What do Evaluations Tell Us About Climate Change Adaptation? Meta-Analysis with a Realist Approach --- 14. Adaptation Processes in Agriculture and Food Security: Insights from Evaluating Behavioral Changes in West Africa --- 15. Using Participatory Approaches in Measuring Resilience and Development in Isiolo County, Kenya --- 16. Evaluating Climate Change Adaptation in Practice: A Child-Centred, Community-Based Project in the Philippines --- 17. Drought Preparedness Policies and Climate Change Adaptation and Resilience Measures in Brazil: An Institutional Change Assessment --- 18. The Adaptation M&E Navigator: A Decision Support Tool for the Selection of Suitable Approaches to Monitor and Evaluate Adaptation to Climate Change
    Pages: Online-Ressource (XXIV, 355 pages) , 44 illustrations, 36 illustrations in color
    ISBN: 9783319437026
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    Keywords: Environment ; Climate change ; Environmental management ; Sustainable development ; Environment ; Climate Change ; Sustainable Development ; Climate Change/Climate Change Impacts ; Environmental Management
    Description / Table of Contents: 1. Introduction --- 2. Action on Climate Change: What Does it Mean and Where Does it Lead To? --- Part 1. Policy --- 3. Mainstreaming Impact Evidence in Climate Change and Sustainable Development --- 4. Pathway to Impact: Supporting and Evaluating Enabling Environments for Research for Development --- 5. Lessons from Taking Stock of 12 years of Swiss International Cooperation on Climate Change --- 6. An Analytical Framework for Evaluating a Diverse Climate Change Portfolio --- 7. Enhancing the Joint Crediting Mechanism MRV to Contribute to Sustainable Development --- Part 2. Climate Change Mitigation --- 8. Using Mixed Methods to Assessing Trade-offs Between Agricultural Decisions and Deforestation --- 9. Methodological Approach of the GEF IEO’s Climate Change Mitigation Impact Evaluation: Assessing Progress in Market Change for Reduction of CO2 Emissions --- 10. Integrating Avoided Emissions in Climate Change Evaluation Policies for LDCs: The Case of Passive Solar Houses in Afghanistan --- 11. Sustainable Development, Climate Change, and Renewable Energy in Rural Central America --- 12. Unpacking the Black Box of Technology Distribution, Development Potential and Carbon Markets Benefits --- Part 3. Climate Change Adaptation.-13. What do Evaluations Tell Us About Climate Change Adaptation? Meta-Analysis with a Realist Approach --- 14. Adaptation Processes in Agriculture and Food Security: Insights from Evaluating Behavioral Changes in West Africa --- 15. Using Participatory Approaches in Measuring Resilience and Development in Isiolo County, Kenya --- 16. Evaluating Climate Change Adaptation in Practice: A Child-Centred, Community-Based Project in the Philippines --- 17. Drought Preparedness Policies and Climate Change Adaptation and Resilience Measures in Brazil: An Institutional Change Assessment --- 18. The Adaptation M&E Navigator: A Decision Support Tool for the Selection of Suitable Approaches to Monitor and Evaluate Adaptation to Climate Change
    Pages: Online-Ressource (XXIV, 355 pages) , 44 illustrations, 36 illustrations in color
    ISBN: 9783319437026
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    Keywords: Earth sciences ; Natural disasters ; Engineering geology ; Engineering ; Geology ; Foundations ; Hydraulics ; Sustainable development ; Earth Sciences ; Natural Hazards ; Geoengineering, Foundations, Hydraulics ; Sustainable Development
    Description / Table of Contents: ISDR-ICL Sendai Partnerships 2015-2025 --- The ISDR-ICL Sendai Partnerships 2015-2025: Background and Content --- Forum lectures --- Rupestrian world heritage sites: Instability investigation and sustainable mitigation --- Subaerial landslide-generated waves: Numerical and laboratory simulations --- Rockfall occurrence and fragmentation --- Contribution from signatory organizations of the Sendai Partnerships --- International Consortium on Landslides (ICL) --- International Consortium on Landslides (ICL) - The proposing organization of the ISDR-ICL Sendai partnerships 2015-2025 --- United Nations Office for Disaster Risk Reduction (UNISDR) --- UNISDR‘s Contribution to Science and Technology for Disaster Risk Reduction and the Role of the International Consortium on Landslides (ICL) --- United Nations Educational, Scientific and Cultural Organization (UNESCO) --- UNESCO’s Contribution to the Implementation of UNISDR’s Global Initiative and ICL --- United Nations University (UNU) --- The United Nations University: Research and Policy Support for Environmental Risk Reduction --- World Meteorological Organization (WMO) --- Concerted International Efforts for Advancing Multi-Hazard Early Warning Systems --- International Council for Science (ICSU) --- On Future Challenges for the Integration of Science into International Policy Development for Landslide Disaster Risk Reduction --- World Federation of Engineering Organizations (WFEO) --- World Federation of Engineering Organizations Activities in Disaster Risk Reduction --- Disaster Prevention Research Institute (DPRI), Kyoto University --- National Civil Protection Department, Italian Presidency of the Council of Ministers, Government of Italy --- Understanding and Reducing Landslide Disaster Risk: Challenges and Opportunities for Italian Civil Protection --- Landslide Dynamics: ISDR-ICL Landslide Interactive Teaching Tools (LITT) --- Progress of the World Report on Landslides --- International Programme on Landslides (IPL): Objectives, History and List of World Centres of Excellence and IPL Projects --- UNESCO-KU-ICL UNITWIN Cooperation Programme for Landslides and Water-Related Disaster Risk Management. Landslides: Journal of the International Consortium on Landslides --- IPL Activities --- Advanced Technologies for Landslides (WCoE 2014-2017, IPL-196, IPL-198) --- Mechanisms of Landslides and Creep in Over-Consolidated Clays and Flysch (WCoE 2014-2017 --- Research on Heavy-Rainfall-Induced and Hydraulic-Driven Geological Hazards in China (WCoE 2014-2017). Landslide Risk Reduction in Croatia: Scientific research in the framework of the WCoE 2014-2017, IPL-173, IPL-184, ICL ABN --- Shapes and Mechanisms of Large-scale Landslides in Japan: Forecasting Analysis from an Inventory (WCoE 2014–2017 --- Retrospective and Prospects for Cold Regions Landslide Research (2012-2016) (WCoE 2014-2017, IPL-132, IPL-167, IPL-203, CRLN --- Large-scale Rockslide Inventories: from the Kokomeren River Basin to the Entire Central Asia Region (WCoE 2014-2017, IPL-106-2) --- Interventions for Promoting Knowledge, Innovations and Landslide Risk Management Practices within South and Southeast Asia (WCoE 2014-2017) --- Promoting a Global Standard for Community-based Landslide Early Warning Systems (WCoE 2014-2017, IPL-158, IPL-165) --- Model Policy Frameworks, Standards and Guidelines on Landslide Disaster Reduction (WCoE 2014-2017) --- Landslide Hazard and Risk Management (WCoE 2014-2017) --- Mitigation of Landslide Hazards in Ukraine under the Guidance of ICL: 2009–2016 (IPL-153, IPL-191) --- Development of a Hazard Evaluation Technique for Earthquake-Induced Landslides Based on an Analytic Hierarchy Process (AHP) (IPL-154) --- The Croatian-Japanese SATREPS Joint Research Project on Landslides (IPL-161)
    Pages: Online-Ressource (XXVI, 586 pages) , 372 illustrations, 350 illustrations in color
    ISBN: 9783319594699
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Keywords: Geography ; Climate change ; Regional planning ; Urban planning ; Ecosystems ; Urban ecology (Biology) ; Sustainable development ; Human geography ; Geography ; Landscape/Regional and Urban Planning ; Climate Change/Climate Change Impacts ; Urban Ecology ; Ecosystems ; Sustainable Development ; Human Geography
    Description / Table of Contents: Introduction --- Section I Scientific evidence for Nature-based solutions to climate change adaptation and mitigation in urban areas --- Section II Practical implementation and needs for a transition towards Nature-based solutions in cities --- Section III Nature-based solutions and social-environmental justice in cities --- Section IV Governance Implications and Economic Viability of Nature-based solutions --- Conclusions
    Pages: Online-Ressource (XI, 342 pages) , 60 illustrations, 42 illustrations in color
    ISBN: 9783319560915
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    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 ...
  • 38
    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 ...
  • 39
    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 ...
  • 40
    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 ...
  • 41
    Keywords: Renewable energy sources ; Electric engineering ; Sustainable development ; Renewable and Green Energy ; Physics of Energy Technology ; Popular Science in Technology ; Sustainable Development ; Climate Change/Climate Change Impacts ; Water Policy/Water Governance/Water Management
    Description / Table of Contents: 1.Introduction --- 2.The Nexus of Energy, Carbon and Water --- 3.Energy in Times after the Energy Transition --- 4.Political Implications --- 5.Closing Remarks
    Pages: Online-Ressource (XV, 110 pages) , 27 illustrations, 26 illustrations in color
    ISBN: 9783319579665
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    Keywords: Earth sciences ; Natural disasters ; Engineering geology ; Engineering ; Geology ; Foundations ; Hydraulics ; Sustainable development ; Earth Sciences ; Natural Hazards ; Geoengineering, Foundations, Hydraulics ; Sustainable Development
    Description / Table of Contents: ISDR-ICL Sendai Partnerships 2015-2025 --- The ISDR-ICL Sendai Partnerships 2015-2025: Background and Content --- Forum lectures --- Rupestrian world heritage sites: Instability investigation and sustainable mitigation --- Subaerial landslide-generated waves: Numerical and laboratory simulations --- Rockfall occurrence and fragmentation --- Contribution from signatory organizations of the Sendai Partnerships --- International Consortium on Landslides (ICL) --- International Consortium on Landslides (ICL) - The proposing organization of the ISDR-ICL Sendai partnerships 2015-2025 --- United Nations Office for Disaster Risk Reduction (UNISDR) --- UNISDR‘s Contribution to Science and Technology for Disaster Risk Reduction and the Role of the International Consortium on Landslides (ICL) --- United Nations Educational, Scientific and Cultural Organization (UNESCO) --- UNESCO’s Contribution to the Implementation of UNISDR’s Global Initiative and ICL --- United Nations University (UNU) --- The United Nations University: Research and Policy Support for Environmental Risk Reduction --- World Meteorological Organization (WMO) --- Concerted International Efforts for Advancing Multi-Hazard Early Warning Systems --- International Council for Science (ICSU) --- On Future Challenges for the Integration of Science into International Policy Development for Landslide Disaster Risk Reduction --- World Federation of Engineering Organizations (WFEO) --- World Federation of Engineering Organizations Activities in Disaster Risk Reduction --- Disaster Prevention Research Institute (DPRI), Kyoto University --- National Civil Protection Department, Italian Presidency of the Council of Ministers, Government of Italy --- Understanding and Reducing Landslide Disaster Risk: Challenges and Opportunities for Italian Civil Protection --- Landslide Dynamics: ISDR-ICL Landslide Interactive Teaching Tools (LITT) --- Progress of the World Report on Landslides --- International Programme on Landslides (IPL): Objectives, History and List of World Centres of Excellence and IPL Projects --- UNESCO-KU-ICL UNITWIN Cooperation Programme for Landslides and Water-Related Disaster Risk Management. Landslides: Journal of the International Consortium on Landslides --- IPL Activities --- Advanced Technologies for Landslides (WCoE 2014-2017, IPL-196, IPL-198) --- Mechanisms of Landslides and Creep in Over-Consolidated Clays and Flysch (WCoE 2014-2017 --- Research on Heavy-Rainfall-Induced and Hydraulic-Driven Geological Hazards in China (WCoE 2014-2017). Landslide Risk Reduction in Croatia: Scientific research in the framework of the WCoE 2014-2017, IPL-173, IPL-184, ICL ABN --- Shapes and Mechanisms of Large-scale Landslides in Japan: Forecasting Analysis from an Inventory (WCoE 2014–2017 --- Retrospective and Prospects for Cold Regions Landslide Research (2012-2016) (WCoE 2014-2017, IPL-132, IPL-167, IPL-203, CRLN --- Large-scale Rockslide Inventories: from the Kokomeren River Basin to the Entire Central Asia Region (WCoE 2014-2017, IPL-106-2) --- Interventions for Promoting Knowledge, Innovations and Landslide Risk Management Practices within South and Southeast Asia (WCoE 2014-2017) --- Promoting a Global Standard for Community-based Landslide Early Warning Systems (WCoE 2014-2017, IPL-158, IPL-165) --- Model Policy Frameworks, Standards and Guidelines on Landslide Disaster Reduction (WCoE 2014-2017) --- Landslide Hazard and Risk Management (WCoE 2014-2017) --- Mitigation of Landslide Hazards in Ukraine under the Guidance of ICL: 2009–2016 (IPL-153, IPL-191) --- Development of a Hazard Evaluation Technique for Earthquake-Induced Landslides Based on an Analytic Hierarchy Process (AHP) (IPL-154) --- The Croatian-Japanese SATREPS Joint Research Project on Landslides (IPL-161)
    Pages: Online-Ressource (XXVI, 586 pages) , 372 illustrations, 350 illustrations in color
    ISBN: 9783319594699
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Keywords: Geography ; Hydrology ; Environmental management ; Regional planning ; Urban planning ; Landscape ecology ; Sustainable development ; Geography ; Landscape/Regional and Urban Planning ; Hydrology/Water Resources ; Sustainable Development ; Water Policy/Water Governance/Water Management ; Landscape Ecology
    Description / Table of Contents: Part I: Introduction --- 1. Balanced Urban Development: Is it a myth or reality? - Part II: Peri-Urbansation --- 2. Re-Ruralising the Urban Edge: Lessons from Europe, USA & the Global South --- 3. Nimbyism and Nature – Whose Backyard is it Anyway? - 4. Connecting Urban and Rural Futures Through Rural Design --- 5. Archaeology and Contemporary Dynamics for More Sustainable, Resilient Cities in the Peri-Urban Interface --- 6. Decontamination of Urban Run-off: Importance and Methods --- Part III: Peri-Urban Culture and Socio-Economy --- 7. Socio-economy of Peri-Urban Areas: The Case of Lisbon Metropolitan Area --- 8. Changing Economic Scenario of the Peri-Urban Area of Udaipur City, India --- 9. Community Stakeholder Viewpoints on Issues of Urbanisation along the River Ma Oya, Sri Lanka --- Part IV: Peri-Urban Landuse Planning --- 10. The role of peri-urban land use planning in resilient urban agriculture: a case study of Melbourne, Australia --- 11. Engaging Peri-Urban Landholders in Natural Resources Management.-12. Urban Farming Master Plan in Western Sydney - From Planning to Reality --- Part V: Urban Water Security --- 13. Study of urban water bodies in view of potential for micro-climatic cooling and natural purification of waste water --- 14. Groundwater Crisis in a Mega City – A Case Study of New Delhi, India --- 15. Safe Water Supply Determinants in Peri-Urban Communities of South-East Nigeria --- 16. Risks of Coal Seam and Shale Gas Extraction on Groundwater and Aquifers in Eastern Australia --- Part VI: Wastewater and Irrigation --- 17. Use of recycled water for irrigation of open spaces: Benefits and Risks --- 18. Global Experiences on Wastewater Irrigation: Challenges and Prospects --- 19. Impacts of Wastewater Reuse on Peri-Urban Agriculture: Case Study in Udaipur City, India --- Part VII: Urban Agriculture and Food Security --- 20. Urban Agriculture in Cuba: Alternative Legal Structures, Crisis and Change --- 21. High quality agricultural land in Western Australia – A new decision tool for planning --- 22. Food Efficient Planning and Design for Peri-urban Neighbourhoods --- 23. Role of Peri-urban Areas in the Food System of Kampala, Uganda --- Part VIII: Climate Change Impacts and Adaptations --- 24. Climate Change Adaptation Planning with Peri-Urban Local Government in Victoria, Australia --- 25. Awareness of Climate Change Impacts and Adaptation at Local Level in Punjab, Pakistan --- 26. Urbanisation, Nutrition and Food Security: A Climatological Perspective --- 27. Coastal Urban and Peri-Urban Indigenous People’s Adaptive Capacity to Climate Change --- Part IX: Legal, Policy and Institutional Challenges --- 28. Effect of Social and Institutional Fragmentation on Collective Action in Peri-urban Settings --- 29. Gentrification versus Territorialisation: The Peri-Urban Agriculture Area in Beirut --- 30. Reimagining the “Peri-Urban” in the Mega-Urban Regions of Southeast Asia --- Part X: Integrated Urban Development --- 31. Sustainability of Water Resources in Peri-urban Landscapes: Learning from the Journey of Engagement --- 32. Development of Future Management Options for the Hawkesbury River --- 33. Planning Development to Reduce Mosquito Hazard in Coastal Peri-Urban Areas: Case Studies in NSW, Australia --- 34. An Integrated Simulation and Visualisation Platform for the Design of Sustainable Urban Developments in a Peri-Urban Context --- 35. Options and Strategies for Balanced Development for Liveable Cities: An Epilogue
    Pages: Online-Ressource (XXII, 601 pages) , 136 illustrations, 109 illustrations in color
    ISBN: 9783319281124
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Keywords: Earth sciences ; Environmental management ; Hydrogeology ; Sustainable development ; Economic growth ; Earth Sciences ; Hydrogeology ; Water Policy/Water Governance/Water Management ; Economic Growth ; Sustainable Development
    Description / Table of Contents: From the Contents: Overview concepts, approaches and challenges of integrated groundwater management --- Disentangling the complexity of a groundwater dependent socio-ecological system --- The scale of the groundwater issue internationally --- Groundwater law --- Groundwater regulation and integrated water planning
    Pages: Online-Ressource (XIII, 762 pages) , 101 illustrations
    ISBN: 9783319235769
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    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 ...
  • 46
    Keywords: Environmental management ; Cultural heritage ; Tourism ; Management ; Nature conservation ; Sustainable development ; Development economics ; Economics ; Development Economics ; Water Policy/Water Governance/Water Management ; Sustainable Development ; Nature Conservation ; Cultural Heritage ; Tourism Management
    Description / Table of Contents: Introduction --- The Jordan Valley --- Projections And Objectives --- Meeting The Strategic Planning Objectives --- The Year 2050 --- Final Conclusions And Recommendations --- Colophon.
    Pages: Online-Ressource (XLII, 239 pages) , 181 illustrations, 179 illustrations in color
    ISBN: 9783319300368
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    Keywords: Environment ; Environmental management ; Nutrition ; Medical research ; Agriculture ; Sustainable development ; Quality of life ; Environment ; Sustainable Development ; Quality of Life Research ; Water Policy/Water Governance/Water Management ; Agriculture ; Nutrition
    Description / Table of Contents: Introduction: Understanding the Complexities of Eating, Drinking, and Surviving --- Globalization and Malnutrition: Geographical Perspectives on Its Paradoxes --- Drinking Water --- The Politics and Consequences of Virtual Water Export --- Integrated Water Resources Management as a New Approach to Water Security --- Surviving as an Unequal Community: WASH for Those on the Margins --- Challenges to Food Security in a Changing World --- Moral Economies of Food in the Socialist/Post-socialist World --- The Nutrition Transition in Developing Asia: Dietary Change, Drivers and Health Impacts. Food Sovereignty and the Possibilities for an Equitable, Just and Sustainable Food System --- Food Security and Food Waste
    Pages: Online-Ressource (XI, 105 pages) , 32 illustrations in color
    ISBN: 9783319424682
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    Unknown
    Cham : Springer
    Keywords: Environment ; Engineering economics ; Engineering economy ; Environmental management ; Waste management ; Sustainable development ; Industrial organization ; Environmental economics ; Environment ; Sustainable Development ; Waste Management/Waste Technology ; Environmental Economics ; Industrial Organization ; Engineering Economics, Organization, Logistics, Marketing ; Environmental Management
    Description / Table of Contents: Introduction --- General reflections --- The Price of Everything and the Value of Nothing: sustainability ‘after the crisis’ --- Impacts of global trade flows --- Stocks and flows in the performance economy --- The Embeddedness of carbon in UK Lifestyles --- Ethics of Industrial Ecology --- Complexity and prediction --- Urban metabolism --- Industrial Symbiosis --- Industrial Ecology and the Solidarity Economy --- Industrial Ecology in Developing Countries --- Material Flow Analysis and Waste Management --- Social sciences in Industrial Ecology --- Life Cycle Sustainability Assessment --- Prospective Models of Society’s Future Metabolism --- Planetary boundaries and sustainable business --- Working with policymakers --- Portugal’s national waste plan --- The Industrial Ecology of the automobile
    Pages: Online-Ressource (XXI, 362 pages) , 43 illustrations, 34 illustrations in color
    ISBN: 9783319205717
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    Keywords: Geography ; Hydrology ; Environmental management ; Regional planning ; Urban planning ; Landscape ecology ; Sustainable development ; Geography ; Landscape/Regional and Urban Planning ; Hydrology/Water Resources ; Sustainable Development ; Water Policy/Water Governance/Water Management ; Landscape Ecology
    Description / Table of Contents: Part I: Introduction --- 1. Balanced Urban Development: Is it a myth or reality? - Part II: Peri-Urbansation --- 2. Re-Ruralising the Urban Edge: Lessons from Europe, USA & the Global South --- 3. Nimbyism and Nature – Whose Backyard is it Anyway? - 4. Connecting Urban and Rural Futures Through Rural Design --- 5. Archaeology and Contemporary Dynamics for More Sustainable, Resilient Cities in the Peri-Urban Interface --- 6. Decontamination of Urban Run-off: Importance and Methods --- Part III: Peri-Urban Culture and Socio-Economy --- 7. Socio-economy of Peri-Urban Areas: The Case of Lisbon Metropolitan Area --- 8. Changing Economic Scenario of the Peri-Urban Area of Udaipur City, India --- 9. Community Stakeholder Viewpoints on Issues of Urbanisation along the River Ma Oya, Sri Lanka --- Part IV: Peri-Urban Landuse Planning --- 10. The role of peri-urban land use planning in resilient urban agriculture: a case study of Melbourne, Australia --- 11. Engaging Peri-Urban Landholders in Natural Resources Management.-12. Urban Farming Master Plan in Western Sydney - From Planning to Reality --- Part V: Urban Water Security --- 13. Study of urban water bodies in view of potential for micro-climatic cooling and natural purification of waste water --- 14. Groundwater Crisis in a Mega City – A Case Study of New Delhi, India --- 15. Safe Water Supply Determinants in Peri-Urban Communities of South-East Nigeria --- 16. Risks of Coal Seam and Shale Gas Extraction on Groundwater and Aquifers in Eastern Australia --- Part VI: Wastewater and Irrigation --- 17. Use of recycled water for irrigation of open spaces: Benefits and Risks --- 18. Global Experiences on Wastewater Irrigation: Challenges and Prospects --- 19. Impacts of Wastewater Reuse on Peri-Urban Agriculture: Case Study in Udaipur City, India --- Part VII: Urban Agriculture and Food Security --- 20. Urban Agriculture in Cuba: Alternative Legal Structures, Crisis and Change --- 21. High quality agricultural land in Western Australia – A new decision tool for planning --- 22. Food Efficient Planning and Design for Peri-urban Neighbourhoods --- 23. Role of Peri-urban Areas in the Food System of Kampala, Uganda --- Part VIII: Climate Change Impacts and Adaptations --- 24. Climate Change Adaptation Planning with Peri-Urban Local Government in Victoria, Australia --- 25. Awareness of Climate Change Impacts and Adaptation at Local Level in Punjab, Pakistan --- 26. Urbanisation, Nutrition and Food Security: A Climatological Perspective --- 27. Coastal Urban and Peri-Urban Indigenous People’s Adaptive Capacity to Climate Change --- Part IX: Legal, Policy and Institutional Challenges --- 28. Effect of Social and Institutional Fragmentation on Collective Action in Peri-urban Settings --- 29. Gentrification versus Territorialisation: The Peri-Urban Agriculture Area in Beirut --- 30. Reimagining the “Peri-Urban” in the Mega-Urban Regions of Southeast Asia --- Part X: Integrated Urban Development --- 31. Sustainability of Water Resources in Peri-urban Landscapes: Learning from the Journey of Engagement --- 32. Development of Future Management Options for the Hawkesbury River --- 33. Planning Development to Reduce Mosquito Hazard in Coastal Peri-Urban Areas: Case Studies in NSW, Australia --- 34. An Integrated Simulation and Visualisation Platform for the Design of Sustainable Urban Developments in a Peri-Urban Context --- 35. Options and Strategies for Balanced Development for Liveable Cities: An Epilogue
    Pages: Online-Ressource (XXII, 601 pages) , 136 illustrations, 109 illustrations in color
    ISBN: 9783319281124
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    Keywords: Earth sciences ; Environmental management ; Hydrogeology ; Sustainable development ; Economic growth ; Earth Sciences ; Hydrogeology ; Water Policy/Water Governance/Water Management ; Economic Growth ; Sustainable Development
    Description / Table of Contents: From the Contents: Overview concepts, approaches and challenges of integrated groundwater management --- Disentangling the complexity of a groundwater dependent socio-ecological system --- The scale of the groundwater issue internationally --- Groundwater law --- Groundwater regulation and integrated water planning
    Pages: Online-Ressource (XIII, 762 pages) , 101 illustrations
    ISBN: 9783319235769
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    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 ...
  • 52
    Keywords: Environment ; Industrial management ; Environmental aspects ; Sustainable development ; Environmental economics ; Sociology ; Environment ; Sustainable Development ; Sociology, general ; Environmental Economics ; Sustainability Management
    Description / Table of Contents: 1.Introduction --- 2. What Political Economy adds to Transformation Research --- 3. Why the Mainstream Economic Paradigm Cannot Inform Sustainability Transformations --- 4. Mapping an Emerging New Economic Paradigm in Practice --- 5. How to Work a Great Mindshift for Sustainability Transformations
    Pages: Online-Ressource (XXIII, 184 pages) , 21 illustrations, 14 illustrations in color
    ISBN: 9783319437668
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Keywords: Environment ; Industrial management ; Environmental aspects ; Sustainable development ; Environmental economics ; Sociology ; Environment ; Sustainable Development ; Sociology, general ; Environmental Economics ; Sustainability Management
    Description / Table of Contents: 1.Introduction --- 2. What Political Economy adds to Transformation Research --- 3. Why the Mainstream Economic Paradigm Cannot Inform Sustainability Transformations --- 4. Mapping an Emerging New Economic Paradigm in Practice --- 5. How to Work a Great Mindshift for Sustainability Transformations
    Pages: Online-Ressource (XXIII, 184 pages) , 21 illustrations, 14 illustrations in color
    ISBN: 9783319437668
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    Keywords: Environmental management ; Cultural heritage ; Tourism ; Management ; Nature conservation ; Sustainable development ; Development economics ; Economics ; Development Economics ; Water Policy/Water Governance/Water Management ; Sustainable Development ; Nature Conservation ; Cultural Heritage ; Tourism Management
    Description / Table of Contents: Introduction --- The Jordan Valley --- Projections And Objectives --- Meeting The Strategic Planning Objectives --- The Year 2050 --- Final Conclusions And Recommendations --- Colophon.
    Pages: Online-Ressource (XLII, 239 pages) , 181 illustrations, 179 illustrations in color
    ISBN: 9783319300368
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    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 ...
  • 56
    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 ...
  • 57
    Keywords: Biomass conversion ; Biotechnology ; Chemical Engineering ; Chemistry industry ; Industrial Chemistry ; Kent ; Riegel ; biochemical engineering
    Description / Table of Contents: Substantially revising and updating the classic reference in the field, this handbook offers a valuable overview and myriad details on current chemical processes, products, and practices. No other source offers as much data on the chemistry, engineering, economics, and infrastructure of the industry. The Handbook serves a spectrum of individuals, from those who are directly involved in the chemical industry to others in related industries and activities. It provides not only the underlying science and technology for important industry sectors, but also broad coverage of critical supporting topics. Industrial processes and products can be much enhanced through observing the tenets and applying the methodologies found in chapters on Green Engineering and Chemistry (specifically, biomass conversion), Practical Catalysis, and Environmental Measurements; as well as expanded treatment of Safety, chemistry plant security, and Emergency Preparedness. Understanding these factors allows them to be part of the total process and helps achieve optimum results in, for example, process development, review, and modification. Important topics in the energy field, namely nuclear, coal, natural gas, and petroleum, are covered in individual chapters. Other new chapters include energy conversion, energy storage, emerging nanoscience and technology. Updated sections include more material on biomass conversion, as well as three chapters covering biotechnology topics, namely, Industrial Biotechnology, Industrial Enzymes, and Industrial Production of Therapeutic Proteins.
    Pages: Online-Ressource (XIV, 1562 pages)
    ISBN: 9780387278438
    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...