ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • thema EDItEUR::U Computing and Information Technology::UY Computer science  (73)
  • Management science  (45)
  • Springer Nature  (118)
  • American Chemical Society
  • American Meteorological Society (AMS)
  • 2020-2024  (118)
  • 2020-2023
  • 2021  (118)
  • 2021  (118)
Collection
Keywords
Publisher
Language
Years
  • 2020-2024  (118)
  • 2020-2023
Year
  • 1
    facet.materialart.
    Unknown
    Digitale Transformation und Unternehmensführung (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-23
    Description: Dieses Open Access-Fachbuch setzt sich empirisch und theoretisch mit Teilaspekten der digitalen Transformation und deren Konsequenzen für die Unternehmensführung auseinander. Die mit der Digitalisierung verbundenen neuen Technologien, Geschäftsmodelle sowie Denk- und Handlungsweisen verändern die Welt grundlegend und mit einer hohen Geschwindigkeit. Der Band greift aktuelle, praxisrelevante Fragestellungen und Herausforderungen des Megatrends Digitalisierung auf, die in den folgenden vier Themenblöcken behandelt werden: (1) Grundlagen der Digitalen Transformation, (2) Human Resource Management und Organisation, (3) Finanzwirtschaft und (4) Marketing. Das Buch enthält unter anderem Beiträge zu den Themen: Bedeutung von Open Access im digitalen Zeitalter Cybersicherheit in KMU Einsatz von Big-Data-Analysen in Unternehmen zukunftsorientierte Arbeitsmodelle und Ansätze der Personalarbeit Einsatzmöglichkeiten von Virtual Reality im Verkauf Kundengewinnung mittels Google AdWords-Kampagnen. Alle Beiträge wurden durch bewährte Autorenteams erarbeitet. Diese setzen sich aus Lehrenden und Forschenden der Berner Fachhochschule und Vertreterinnen und Vertretern der Unternehmenspraxis mit akademischem Background zusammen. Sämtliche Beiträge basieren auf empirischen Analysen, die zumeist ihren Schwerpunkt auf Gestaltungsprobleme aus der Unternehmenspraxis legen, und beinhalten somit ein breites Spektrum an konkreten Fallbeispielen.
    Keywords: Business ; Management science ; Leadership ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    facet.materialart.
    Unknown
    Digital Video Concepts, Methods, and Metrics: Quality, Compression, Performance, and Power Trade-off Analysis (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    facet.materialart.
    Unknown
    The Privacy Engineer's Manifesto (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    facet.materialart.
    Unknown
    Theory and Applications of Ordered Fuzzy Numbers: A Tribute to Professor Witold Kosiński (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-06
    Description: fuzzy arithmetic; defuzzyfication; fuzzy prediction models; analysis; trend processing; uncertainty modeling; propagation of uncertainty; Kosinski’s fuzzy numbers
    Keywords: fuzzy arithmetic ; defuzzyfication ; fuzzy prediction models ; analysis ; trend processing ; uncertainty modeling ; propagation of uncertainty ; Kosinski’s fuzzy numbers ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    facet.materialart.
    Unknown
    Digitale Transformation (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: Dieses Open Access-Buch gibt eine Einführung in die Grundlagen der digitalen Transformation. Es werden aktuelle technologische Trends sowie Auswirkungen auf den Wettbewerb und die Geschäftsmodellentwicklung erläutert. Außerdem werden anhand empirischer Umfragen sowie Fallstudien aus der Praxis die Chancen und Risiken digitaler Transformationsprojekte aufgezeigt. Die Ergebnisse helfen Unternehmen dabei, Technologiepotentiale abzuschätzen und frühzeitig zukunftsweisende Technologiekompetenzen aufzubauen.
    Keywords: Business ; Management science ; Information technology ; Business—Data processing ; Management ; Industrial management ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas::KJMV6 Research & development management ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    facet.materialart.
    Unknown
    Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: artificial intelligence; big data; cloud computing; communication; computer architecture; computer science; computer systems; data management; databases; hardware; High-Performance Computing (HPC); information management; map-reduce; processors; programming languages; semantics; wireless telecommunication systems
    Keywords: artificial intelligence ; big data ; cloud computing ; communication ; computer architecture ; computer science ; computer systems ; data management ; databases ; hardware ; High-Performance Computing (HPC) ; information management ; map-reduce ; processors ; programming languages ; semantics ; wireless telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    facet.materialart.
    Unknown
    Principles of Security and Trust (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems.
    Keywords: Computer science ; Computer security ; Software engineering ; Artificial intelligence ; Computer system failures ; Computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; 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 ...
    E-BOOK
  • 8
    facet.materialart.
    Unknown
    The Huawei and Snowden Questions (2021)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This open access book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of computer science that can shed light on these questions. In a concluding chapter it discusses realistic ways forward. In discussions on cyber security, there is a tacit assumption that the manufacturer of equipment will collaborate with the user of the equipment to stop third-party wrongdoers. The Snowden files and recent deliberations on the use of Chinese equipment in the critical infrastructures of western countries have changed this. The discourse in both cases revolves around what malevolent manufacturers can do to harm their own customers, and the importance of the matter is on par with questions of national security. This book is of great interest to ICT and security professionals who need a clear understanding of the two questions posed in the subtitle, and to decision-makers in industry, national bodies and nation states.
    Keywords: Privacy ; Computer Engineering ; Management of Computing and Information Systems ; Governance and Government ; R & D/Technology Policy ; Computer Hardware ; IT Operations ; Economics ; cyber security ; IT management ; computer science ; digital vulnerability ; open access ; Privacy & data protection ; Information architecture ; Maintenance & repairs ; Political structure & processes ; Research & development management ; thema EDItEUR::U Computing and Information Technology::UR Computer security::URD Privacy and data protection ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPH Political structure and processes ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas::KJMV6 Research and development management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    facet.materialart.
    Unknown
    Norwegian Shipping in the 20th Century (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-25
    Description: Economics; Management science; Shipping
    Keywords: Economics ; Management science ; Shipping ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    facet.materialart.
    Unknown
    Managing Innovation and Standards (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This book provides an in-depth study of the management of standards and regulation in sustainable and radical innovation development. It considers the case of micro Combined Heat and Power (mCHP) technology. The developers of this radical innovation in the European heating sector encountered major conflicts when attempting to create or adapt standards when bringing the technology to market. Utilising rich research data and interviews with key actors, the author uses this case to derive a grounded theory on the management of standards and regulation during an innovation process. The results also have important implications for innovators, which are reflected in clear advice for practice.
    Keywords: Business ; Management science ; Management ; Industrial management ; Management ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas::KJMV6 Research & development management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    facet.materialart.
    Unknown
    Solving PDEs in Python: The FEniCS Tutorial I (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: computer science; algorithms; visualization; software; programming
    Keywords: computer science ; algorithms ; visualization ; software ; programming ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    facet.materialart.
    Unknown
    The Future of Election Administration (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-24
    Description: As the American election administration landscape changes as a result of major court cases, national and state legislation, changes in professionalism, and the evolution of equipment and security, so must the work of on-the-ground practitioners change. This Open Access title presents a series of case studies designed to highlight practical responses to these changes from the national, state, and local levels. This book is designed to be a companion piece to The Future of Election Administration, which surveys these critical dimensions of elections from the perspectives of the most forward-thinking practitioner, policy, advocacy, and research experts and leaders in these areas today. Drawing upon principles of professionalism and the practical work that is required to administer elections as part of the complex systems, this book lifts up the voices and experiences of practitioners from around the country to describe, analyze, and anticipate the key areas of election administration systems on which students, researchers, advocates, policy makers, and practitioners should focus. Together, these books add to the emerging body of literature that is part of the election sciences community with an emphasis on the practical aspects of administration.
    Keywords: Economics ; Management science ; Public administration ; Political science ; Elections ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPH Political structure and processes ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPH Political structure and processes::JPHF Elections and referenda / suffrage ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    facet.materialart.
    Unknown
    Computer Vision Metrics (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    facet.materialart.
    Unknown
    Optimizing HPC Applications with Intel Cluster Tools (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    facet.materialart.
    Unknown
    TouchDevelop (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    facet.materialart.
    Unknown
    Transforming Food Systems for a Rising India (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-24
    Description: This open access book examines the interactions between India’s economic development, agricultural production, and nutrition through the lens of a “Food Systems Approach (FSA).” The Indian growth story is a paradoxical one. Despite economic progress over the past two decades, regional inequality, food insecurity and malnutrition problems persist. Simultaneously, recent trends in obesity along with micro-nutrient deficiency portend to a future public health crisis. This book explores various challenges and opportunities to achieve a nutrition-secure future through diversified production systems, improved health and hygiene environment and greater individual capability to access a balanced diet contributing to an increase in overall productivity. The authors bring together the latest data and scientific evidence from the country to map out the current state of food systems and nutrition outcomes. They place India within the context of other developing country experiences and highlight India’s status as an outlier in terms of the persistence of high levels of stunting while following global trends in obesity. This book discusses the policy and institutional interventions needed for promoting a nutrition-sensitive food system and the multi-sectoral strategies needed for simultaneously addressing the triple burden of malnutrition in India.
    Keywords: Economics ; Management science ; Agricultural economics ; Economic policy ; Health economics ; Development economics ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCM Development economics and emerging economies ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVJ Health economics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    facet.materialart.
    Unknown
    Emerging States and Economies (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-06
    Description: This open access book asks why and how some of the developing countries have “emerged” under a set of similar global conditions, what led individual countries to choose the particular paths that led to their “emergence,” and what challenges confront them. If we are to understand the nature of major risks and uncertainties in the world, we must look squarely at the political and economic dynamics of emerging states, such as China, India, Brazil, Russia, and ASEAN countries. Their rapid economic development has changed the distribution of wealth and power in the world. Yet many of them have middle income status. To global governance issues, they tend to adopt approaches that differ from those of advanced industrialized democracies. At home, rapid economic growth and social changes put pressure on their institutions to change. This volume traces the historical trajectories of two major emerging states, China and India, and two city states, Hong Kong and Singapore. It also analyzes cross-country data to find the general patterns of economic development and sociopolitical change in relation to globalization and to the middle income trap.
    Keywords: Economics ; Management science ; Economic policy ; Development economics ; China—History ; Asia—History ; Political science ; Political economy ; thema EDItEUR::N History and Archaeology::NH History::NHF Asian history ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPH Political structure and processes ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCM Development economics and emerging economies ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification
    Keywords: computer architecture ; computer software selection and evaluation ; formal logic ; formal methods ; model checker ; model checking ; multi core processors ; program compilers ; programming languages ; semantics ; software engineering ; specifications ; state space ; verification ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    facet.materialart.
    Unknown
    GUI Design for Android Apps (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 20
    facet.materialart.
    Unknown
    Computation and the Humanities: Towards an Oral History of Digital Humanities (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-23
    Description: user interfaces; human computer interaction; computers and society
    Keywords: user interfaces ; human computer interaction ; computers and society ; thema EDItEUR::A The Arts ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    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: Theory of Computation ; 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 ; Computer science ; Mathematical theory of computation ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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 ...
    E-BOOK
  • 22
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    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 ; Logic in AI ; Information Systems and Communication Service ; Computer Engineering and Networks ; architecture verification and validation ; artificial intelligence ; automata theory ; computer networks ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; model-checking ; SAT and SMT solving ; signal processing ; software and hardware verification ; software architecture ; software engineering ; specification and verification techniques ; static and dynamic program analysis ; system construction and transforamtion techniques ; theorem-proving ; 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::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 23
    facet.materialart.
    Unknown
    Pro Git (Second Edition) (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 24
    facet.materialart.
    Unknown
    Hot Property (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-29
    Description: This open access book discusses booming housing markets in cities around the globe, and the resulting challenges for policymakers and central banks. Cities are booming everywhere, leading to a growing demand for urban housing. In many cities this demand is out-pacing supply, which causes house prices to soar and increases the pressure on rental markets. These developments are posing major challenges for policymakers, central banks and other authorities responsible for ensuring financial stability, and economic well-being in general. This volume collects views from high-level policymakers and researchers, providing essential insights into these challenges, their impact on society, the economy and financial stability, and possible policy responses. The respective chapters address issues such as the popularity of cities, the question of a credit-fueled housing bubble, the role of housing supply frictions and potential policy solutions. Given its scope, the book offers a revealing read and valuable guide for everyone involved in practical policymaking for housing markets, mortgage credit and financial stability.
    Keywords: Economics ; Management science ; Urban economics ; Capital market ; Economic policy ; Real estate management ; Sociology, Urban ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVS Regional / urban economics ; thema EDItEUR::K Economics, Finance, Business and Management::KF Finance and accounting::KFF Finance and the finance industry ; thema EDItEUR::K Economics, Finance, Business and Management::KF Finance and accounting::KFF Finance and the finance industry::KFFR Property and real estate
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 25
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 26
    facet.materialart.
    Unknown
    Natural Computing and Beyond (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial Intelligence (JSAI). This volume compiles refereed contributions to various aspects of natural computing, ranging from computing with slime mold, artificial chemistry, eco-physics, and synthetic biology, to computational aesthetics.
    Keywords: Simulation and Modeling ; Computational Biology/Bioinformatics ; Models and Principles ; Computer Appl. in Arts and Humanities ; Computer Science ; Computational and Systems Biology ; Database Management System ; Computer and Information Systems Applications ; Computational Aesthetics ; Computing with Natural media ; Harness the Nature for Computation ; Synthetic Biology ; Computer modelling & simulation ; Life sciences: general issues ; Information technology: general issues ; Computer science ; Computer applications in the arts & humanities ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 27
    facet.materialart.
    Unknown
    Graph Structures for Knowledge Representation and Reasoning (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.
    Keywords: Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Computer Communication Networks ; Mathematical Logic and Formal Languages ; Computer and Information Systems Applications ; Formal Languages and Automata Theory ; open access ; concept lattices ; data mining ; databases ; fca ; formal concept analysis ; formal languages ; formal logic ; information analysis ; information systems ; knowledge-based system ; model-based reasoning ; network protocols ; ontologies ; Information retrieval ; Internet searching ; Network hardware ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; 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 ...
    E-BOOK
  • 28
    facet.materialart.
    Unknown
    Cost and Revenue Overruns of the Olympic Games 2000–2018 (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: In this open access book the cost and revenue overruns of Olympic Games from Sydney 2000 to PyeongChang 2018 from eight years before the Games to Games‐time are investigated to provide a base for future host cities. The authors evaluated the development of expenditure and revenues of the organizing committees to operate the event, and the investment of taxpayers’ money for Olympic venues (non‐OCOG budget). The study is based on data collected worldwide and is currently the most advanced study on cost and revenue changes of Olympic Games.
    Keywords: Economics ; Management science ; Sports—Economic aspects ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 29
    facet.materialart.
    Unknown
    Re-Inventing Africa's Development (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book analyses the development problems of sub-Sahara Africa (SSA) from the eyes of a Korean diplomat with knowledge of the economic growth Korea has experienced in recent decades. The author argues that Africa's development challenges are not due to a lack of resources but a lack of management, presenting an alternative to the traditional view that Africa's problems are caused by a lack of leadership. In exploring an approach based on mind-set and nation-building, rather than unity – which tends to promote individual or party interests rather than the broader country or national interests – the author suggests new solutions for SSA's economic growth, inspired by Korea's successful economic growth model much of which is focused on industrialisation. This book will be of interest to researchers, policymakers, NGOs and governmental bodies in economics, development and politics studying Africa's economic development, and Korea's economic growth model.
    Keywords: Economics ; Management science ; Development economics ; Africa—Economic conditions ; Economic policy ; Economic growth ; Economic development ; Africa—Politics and government ; bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GT Interdisciplinary studies::GTF Development studies ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCG Economic growth ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCM Development economics & emerging economies ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 30
    facet.materialart.
    Unknown
    Scaling a Software Business: The Digitalization Journey (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: software development; process management; collaboration; software-driven innovation
    Keywords: software development ; process management ; collaboration ; software-driven innovation ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 31
    facet.materialart.
    Unknown
    Developmental State Building (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-24
    Description: This open access book modifies and revitalizes the concept of the ‘developmental state’ to understand the politics of emerging economy through nuanced analysis on the roles of human agency in the context of structural transformation. In other words, there is a revived interest in the ‘developmental state’ concept. The nature of the ‘emerging state’ is characterized by its attitude toward economic development and industrialization. Emerging states have engaged in the promotion of agriculture, trade, and industry and played a transformative role to pursue a certain path of economic development. Their success has cast doubt about the principle of laissez faire among the people in the developing world. This doubt, together with the progress of democratization, has prompted policymakers to discover when and how economic policies should deviate from laissez faire, what prevents political leaders and state institutions from being captured by vested interests, and what induce them to drive economic development. This book offers both historical and contemporary case studies from Japan, South Korea, Taiwan, Singapore, Indonesia, Malaysia, Myanmar, Ethiopia, Kenya, and Rwanda. They illustrate how institutions are designed to be developmental, how political coalitions are formed to be growth-oriented, and how technocratic agencies are embedded in a network of business organizations as a part of their efforts for state building.
    Keywords: Economics ; Management science ; Economic policy ; Economic history ; Development economics ; Africa—Politics and government ; Asia—Politics and government ; Economic policy ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCM Development economics and emerging economies ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCZ Economic history
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 32
    facet.materialart.
    Unknown
    Transforming Education Outcomes in Africa (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-24
    Description: Good education changes lives. It is therefore unsurprising that improved schooling plays a central part in most development strategies. At the same time, the expansion of school attainment alone is not sufficient to guarantee improved welfare. This open access book focuses on one country in West Africa, Togo, to explore what a country that has successfully increased enrollment rates can do to enhance learning outcomes. The authors explore different avenues for improvement, including enhancing the efficiency with which resources are used; increasing the qualifications of teachers; and through greater community involvement in school management. There is scope for improvement along all these dimensions, yet changes at the margin are insufficient to bring about the transformation needed to bring about acceptable levels of learning. Important reading for anyone interested in understanding the pathways to improving the education system in Togo and other developing countries. Except where otherwise noted, this book is licensed under a Creative Commons Attribution 3.0 IGO License. To view a copy of this license, visit http://creativecommons.org/licenses/by/3.0/igo/.
    Keywords: Economics ; Management science ; Education—Economic aspects ; Educational policy ; Education and state ; Africa—Economic conditions ; Public finance ; Development economics ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCM Development economics and emerging economies ; thema EDItEUR::K Economics, Finance, Business and Management::KF Finance and accounting::KFF Finance and the finance industry::KFFD Public finance and taxation
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    facet.materialart.
    Unknown
    Drones and the Creative Industry (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-06
    Description: This open access, interdisciplinary book presents innovative strategies in the use of civil drones in the cultural and creative industry. Specially aimed at small and medium-sized enterprises (SMEs), the book offers valuable insights from the fields of marketing, engineering, arts and management. With contributions from experts representing varied interests throughout the creative industry, including academic researchers, software developers and engineers, it analyzes the needs of the creative industry when using civil drones both outdoors and indoors. The book also provides timely recommendations to the industry, as well as guidance for academics and policymakers.
    Keywords: Business ; Management science ; Management ; Industrial management ; Digital media ; Small business ; Motion pictures ; Culture—Economic aspects ; thema EDItEUR::A The Arts::AT Performing arts::ATF Films, cinema ; thema EDItEUR::A The Arts::AT Performing arts::ATJ Television ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCT Media studies ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas::KJMV6 Research and development management ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJV Ownership and organization of enterprises::KJVS Small businesses and self-employment
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 34
    facet.materialart.
    Unknown
    Learn BlackBerry 10 App Development (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 35
    facet.materialart.
    Unknown
    Disrupting Finance (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access Pivot demonstrates how a variety of technologies act as innovation catalysts within the banking and financial services sector. Traditional banks and financial services are under increasing competition from global IT companies such as Google, Apple, Amazon and PayPal whilst facing pressure from investors to reduce costs, increase agility and improve customer retention. Technologies such as blockchain, cloud computing, mobile technologies, big data analytics and social media therefore have perhaps more potential in this industry and area of business than any other. This book defines a fintech ecosystem for the 21st century, providing a state-of-the art review of current literature, suggesting avenues for new research and offering perspectives from business, technology and industry.
    Keywords: Business ; Management science ; Management ; Industrial management ; Information technology ; Business—Data processing ; Bank marketing ; Big data ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas::KJMV6 Research & development management ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNS Service industries::KNST Financial services industry ; bic Book Industry Communication::U Computing & information technology::UN Databases
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 36
    facet.materialart.
    Unknown
    AiREAS: Sustainocracy for a Healthy City (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This book describes the coming about and first results of the AiREAS "healthy city" cooperative in the city of Eindhoven and Province of North Brabant in the Netherlands. AiREAS is an initiative focused on the multidisciplinary co-creation of healthy cities using the core human value of human health and air quality as guiding principle for profound regional innovation. The unique group process that followed uses the complexity of the city of Eindhoven as living lab. It is an anthropology based initiative that invites directly to the same table of core innovative responsibility the local government, innovative business partners, scientific insights and research, and civilian participation. The first phase is described here in which the consortium decided to want to make the invisible of air pollution and human exposure visible for the integral innovative participation of all city's core pillars (policy, education, infrastructure, culture and entrepreneurship). The experience is unique in the world and proceeding now with more phases in Eindhoven and the role out of the same working format in other cities. This Brief is made available to inspire the world to address together the most complex issues of our current era: pollution, climate and core human values.
    Keywords: Economics ; Management science ; Development economics ; Emigration and immigration ; Medicine ; Environmental monitoring ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes::JFFN Migration, immigration & emigration ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCM Development economics & emerging economies ; bic Book Industry Communication::M Medicine::MB Medicine: general issues ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology::TQD Environmental monitoring
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 37
    facet.materialart.
    Unknown
    Designing Digital Work (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: Combining theory, methodology and tools, this open access book illustrates how to guide innovation in today’s digitized business environment. Highlighting the importance of human knowledge and experience in implementing business processes, the authors take a conceptual perspective to explore the challenges and issues currently facing organizations. Subsequent chapters put these concepts into practice, discussing instruments that can be used to support the articulation and alignment of knowledge within work processes. A timely and comprehensive set of tools and case studies, this book is essential reading for those researching innovation and digitization, organization and business strategy.
    Keywords: Business ; Management science ; Organization ; Planning ; Leadership ; Manpower policy ; Management information systems ; Management ; Industrial management ; Big data ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas::KJMV2 Personnel & human resources management ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas::KJMV6 Research & development management ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJU Organizational theory & behaviour
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    facet.materialart.
    Unknown
    Industry 4.0 for SMEs (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book explores the concept of Industry 4.0, which presents a considerable challenge for the production and service sectors. While digitization initiatives are usually integrated into the central corporate strategy of larger companies, smaller firms often have problems putting Industry 4.0 paradigms into practice. Small and medium-sized enterprises (SMEs) possess neither the human nor financial resources to systematically investigate the potential and risks of introducing Industry 4.0. Addressing this obstacle, the international team of authors focuses on the development of smart manufacturing concepts, logistics solutions and managerial models specifically for SMEs. Aiming to provide methodological frameworks and pilot solutions for SMEs during their digital transformation, this innovative and timely book will be of great use to scholars researching technology management, digitization and small business, as well as practitioners within manufacturing companies.
    Keywords: Business ; Management science ; Management ; Industrial management ; Small business ; Big data ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas::KJMV6 Research & development management ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJV Ownership & organization of enterprises::KJVS Small businesses & self-employed
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 39
    facet.materialart.
    Unknown
    Real-time Linked Dataspaces (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book explores the dataspace paradigm as a best-effort approach to data management within data ecosystems. It establishes the theoretical foundations and principles of real-time linked dataspaces as a data platform for intelligent systems. The book introduces a set of specialized best-effort techniques and models to enable loose administrative proximity and semantic integration for managing and processing events and streams. The book is divided into five major parts: Part I “Fundamentals and Concepts” details the motivation behind and core concepts of real-time linked dataspaces, and establishes the need to evolve data management techniques in order to meet the challenges of enabling data ecosystems for intelligent systems within smart environments. Further, it explains the fundamental concepts of dataspaces and the need for specialization in the processing of dynamic real-time data. Part II “Data Support Services” explores the design and evaluation of critical services, including catalog, entity management, query and search, data service discovery, and human-in-the-loop. In turn, Part III “Stream and Event Processing Services” addresses the design and evaluation of the specialized techniques created for real-time support services including complex event processing, event service composition, stream dissemination, stream matching, and approximate semantic matching. Part IV “Intelligent Systems and Applications” explores the use of real-time linked dataspaces within real-world smart environments. In closing, Part V “Future Directions” outlines future research challenges for dataspaces, data ecosystems, and intelligent systems. Readers will gain a detailed understanding of how the dataspace paradigm is now being used to enable data ecosystems for intelligent systems within smart environments. The book covers the fundamental theory, the creation of new techniques needed for support services, and lessons learned from real-world intelligent systems and applications focused on sustainability. Accordingly, it will benefit not only researchers and graduate students in the fields of data management, big data, and IoT, but also professionals who need to create advanced data management platforms for intelligent systems, smart environments, and data ecosystems.
    Keywords: Computer science ; Database management ; Special purpose computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 40
    facet.materialart.
    Unknown
    Security of Networks and Services in an All-Connected World: 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: anomaly detection; artificial intelligence; cloud computing; data security; cyber crime; internet; network security; wireless; web
    Keywords: anomaly detection ; artificial intelligence ; cloud computing ; data security ; cyber crime ; internet ; network security ; wireless ; web ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    facet.materialart.
    Unknown
    Symbiotic Interaction: 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29–30, 2016, Revised Selected Papers (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: human-computer interaction; machine learning; cyber-physical systems
    Keywords: human-computer interaction ; machine learning ; cyber-physical systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 42
    facet.materialart.
    Unknown
    Decision Making under Deep Uncertainty (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-23
    Description: This open access book focuses on both the theory and practice associated with the tools and approaches for decisionmaking in the face of deep uncertainty. It explores approaches and tools supporting the design of strategic plans under deep uncertainty, and their testing in the real world, including barriers and enablers for their use in practice. The book broadens traditional approaches and tools to include the analysis of actors and networks related to the problem at hand. It also shows how lessons learned in the application process can be used to improve the approaches and tools used in the design process. The book offers guidance in identifying and applying appropriate approaches and tools to design plans, as well as advice on implementing these plans in the real world. For decisionmakers and practitioners, the book includes realistic examples and practical guidelines that should help them understand what decisionmaking under deep uncertainty is and how it may be of assistance to them. Decision Making under Deep Uncertainty: From Theory to Practice is divided into four parts. Part I presents five approaches for designing strategic plans under deep uncertainty: Robust Decision Making, Dynamic Adaptive Planning, Dynamic Adaptive Policy Pathways, Info-Gap Decision Theory, and Engineering Options Analysis. Each approach is worked out in terms of its theoretical foundations, methodological steps to follow when using the approach, latest methodological insights, and challenges for improvement. In Part II, applications of each of these approaches are presented. Based on recent case studies, the practical implications of applying each approach are discussed in depth. Part III focuses on using the approaches and tools in real-world contexts, based on insights from real-world cases. Part IV contains conclusions and a synthesis of the lessons that can be drawn for designing, applying, and implementing strategic plans under deep uncertainty, as well as recommendations for future work. The publication of this book has been funded by the Radboud University, the RAND Corporation, Delft University of Technology, and Deltares. ; Offers a comprehensive examination of the approaches and tools for designing plans under deep uncertainty and their application Identifies barriers and enablers for the use of the various approaches and tools in practice Includes realistic examples and practical guidelines to help readers better understand the concepts
    Keywords: Business ; Management science ; Operations research ; Decision making ; Dynamics ; Ergodic theory ; Probabilities ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJT Operational research ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWR Nonlinear science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 43
    facet.materialart.
    Unknown
    Natural Computing and Beyond (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial Intelligence (JSAI). This volume compiles refereed contributions to various aspects of natural computing, ranging from computing with slime mold, artificial chemistry, eco-physics, and synthetic biology, to computational aesthetics.
    Keywords: QA75.5-76.95 ; TP248.13-248.65 ; TL1-4050 ; TS1-2301 ; Computational Biology/Bioinformatics ; Simulation and Modeling ; Models and Principles ; Computer Appl. in Arts and Humanities ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 44
    facet.materialart.
    Unknown
    Agile Processes in Software Engineering and Extreme Programming: 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: agile software development; test-driven development; project and people management; empirical software engineering; continuous experimentation
    Keywords: agile software development ; test-driven development ; project and people management ; empirical software engineering ; continuous experimentation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 45
    facet.materialart.
    Unknown
    The Entrepreneurial Society (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book builds on the European Union’s (EU) Horizon 2020 project ‘Financial and Institutional Reforms for an Entrepreneurial Society’ (FIRES). The authors outline how Europe can move towards more inclusive, innovative and sustainable growth through reforms that will rekindle its entrepreneurial spirit. Based on decades of research and countless discussions with stakeholders, the book also features the FIRES project’s full list of policy interventions and institutional reforms that can help policymakers make that agenda a reality.
    Keywords: Business ; Management science ; Entrepreneurship ; Economic policy ; Evolutionary economics ; Labor economics ; Capital market ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCF Labour economics ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; bic Book Industry Communication::K Economics, finance, business & management::KF Finance & accounting::KFF Finance ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJH Entrepreneurship
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 46
    facet.materialart.
    Unknown
    Programming Languages and Systems (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
    Keywords: Computer science ; Programming languages (Electronic computers) ; Computer programming ; Software engineering ; Computers ; Computers ; Computer system failures ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; 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::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::UYD Systems analysis and design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 47
    facet.materialart.
    Unknown
    Competition Authorities in South Eastern Europe (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-25
    Description: This open access book provides answers to key open questions concerning competition policy in emerging economies, with a focus on South Eastern Europe. The contributions address two major issues. One is the design of competition policy and the national competition authorities that enforce it, including the topics of competition advocacy and state aid control; the other is the use of economic methods in competition law enforcement, especially in the cases of relevant market definition and merger control. Many lessons learned in the countries of South Eastern Europe can be applied to the emerging markets of other regions. As such, the findings presented here will be highly relevant for officials and staff at national competition authorities, advisers to legislators shaping national competition policy, competition law professionals, and university students alike. ; Presents topical insights into the institutional design of national competition authorities Offers specific economic methods relevant for competition law enforcement Linked to a dedicated website providing information about ongoing competition law cases in SEE countries
    Keywords: Economics ; Management science ; Industrial organization ; Law and economics ; Commercial law ; Law—Europe ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCD Economics of industrial organization ; thema EDItEUR::L Law::LB International law ; thema EDItEUR::L Law::LB International law::LBB Public international law::LBBM Public international law: economic and trade ; thema EDItEUR::L Law::LN Laws of specific jurisdictions and specific areas of law::LNC Company, commercial and competition law: general::LNCB Commercial law
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 48
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 49
    facet.materialart.
    Unknown
    New Horizons for a Data-Driven Economy (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-27
    Description: Information Storage and Retrieval; Innovation/Technology Management; Computer Applications; Computers and Society; Big data
    Keywords: Information Storage and Retrieval ; Innovation/Technology Management ; Computer Applications ; Computers and Society ; Big data ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GL Library and information sciences / Museology ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GL Library and information sciences / Museology ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 50
    facet.materialart.
    Unknown
    Foundations of Software Science and Computation Structures (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 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 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Mathematical Logic and Formal Languages ; Theory of Computation ; Natural Language Processing (NLP) ; Database Management ; Programming Techniques ; Formal Languages and Automata Theory ; automata theory ; databases ; formal languages ; formal logic ; computational linguistics ; open access ; semantics ; categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; logical foundations of data bases ; models of software security ; logical aspects of computation complexity ; logics of programming ; Mathematical theory of computation ; Computer science ; Natural language & machine translation ; Database programming ; Computer programming / 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::UN Databases ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 51
    facet.materialart.
    Unknown
    Fundamental Approaches to Software Engineering (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 52
    facet.materialart.
    Unknown
    Intel Trusted Execution Technology for Server Platforms (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 53
    facet.materialart.
    Unknown
    Market Segmentation Analysis (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-07
    Description: Business; Management science; Market research; Statistics 
    Keywords: Business ; Management science ; Market research ; Statistics  ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJS Sales and marketing::KJSM Market research ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 54
    facet.materialart.
    Unknown
    Leading in a VUCA World (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-08
    Description: This open access book brings together works by specialists from different disciplines and continents to reflect on the nexus between leadership, spirituality and discernment, particularly with regard to a world that is increasingly volatile, uncertain, complex, and ambiguous (VUCA). The book spells out, first of all, what our VUCA world entails, and how it affects businesses, organizations, and societies as a whole. Secondly, the book develops new perspectives on the processes of leadership, spirituality, and discernment, particularly in this VUCA context. These perspectives are interdisciplinary in nature, and are informed by e.g. management studies, leadership theory, philosophy, and theology.
    Keywords: Business ; Management science ; Business—Religious aspects ; Religion and sociology ; Religion—Philosophy ; Social responsibility of business ; Leadership ; bic Book Industry Communication::H Humanities::HR Religion & beliefs ; bic Book Industry Communication::H Humanities::HR Religion & beliefs::HRA Religion: general::HRAB Philosophy of religion ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJG Business ethics & social responsibility ; thema EDItEUR::Q Philosophy and Religion::QR Religion and beliefs ; thema EDItEUR::Q Philosophy and Religion::QR Religion and beliefs::QRA Religion: general::QRAB Philosophy of religion ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJC Business strategy ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJG Business ethics and social responsibility
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 55
    facet.materialart.
    Unknown
    Understanding Risks and Uncertainties in Energy and Climate Policy (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-16
    Description: This open access book analyzes and seeks to consolidate the use of robust quantitative tools and qualitative methods for the design and assessment of energy and climate policies. In particular, it examines energy and climate policy performance and associated risks, as well as public acceptance and portfolio analysis in climate policy, and presents methods for evaluating the costs and benefits of flexible policy implementation as well as new framings for business and market actors. In turn, it discusses the development of alternative policy pathways and the identification of optimal switching points, drawing on concrete examples to do so. Lastly, it discusses climate change mitigation policies’ implications for the agricultural, food, building, transportation, service and manufacturing sectors. ; Open Access Presents a comprehensive tool set of methods for devising energy and climate policies Focuses on methods that are robust and adaptive enough to mitigate risks Investigates implications of climate change mitigation policies to various sectors
    Keywords: Economics ; Management science ; Environmental economics ; Operations research ; Decision making ; Climate change ; Energy policy ; Energy and state ; Public policy ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJT Operational research ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RND Environmental policy and protocols ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 56
    facet.materialart.
    Unknown
    Intelligent Human Computer Interaction: 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: brain computer interface; artificial intelligence; computer networks; classification databases; HCI machine learning; signal processing; user interfaces
    Keywords: brain computer interface ; artificial intelligence ; computer networks ; classification databases ; HCI machine learning ; signal processing ; user interfaces ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 57
    facet.materialart.
    Unknown
    Programming for Computations - MATLAB/Octave (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: Computational Science and Engineering; Numerical Analysis;
    Keywords: Computational Science and Engineering ; Numerical Analysis ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 58
    facet.materialart.
    Unknown
    DevOps for Digital Leaders (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: DevOps; continuous delivery; software lifecycle; concurrent parallel testing; service management; ITIL; GRC; PaaS; containerization; API management; lean principles; technical debt; end-to-end automation; automation
    Keywords: DevOps ; continuous delivery ; software lifecycle ; concurrent parallel testing ; service management ; ITIL ; GRC ; PaaS ; containerization ; API management ; lean principles ; technical debt ; end-to-end automation ; automation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 59
    facet.materialart.
    Unknown
    Managing Risk and Information Security: Protect to Enable (First Edition) (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 60
    facet.materialart.
    Unknown
    Informatics in the Future: Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015 (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: Big data; Computing ethics; Women in computing; Research ethics
    Keywords: Big data ; Computing ethics ; Women in computing ; Research ethics ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 61
    facet.materialart.
    Unknown
    Intel Galileo and Intel Galileo Gen 2 (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 62
    facet.materialart.
    Unknown
    Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering; specifications; verification; world wide web
    Keywords: authentication ; computer science ; computer software selection and evaluation ; cryptography ; data privacy ; formal logic ; formal methods ; formal specification ; internet ; privacy ; program compilers ; programming languages ; security analysis ; security systems ; semantics ; separation logic ; software engineering ; specifications ; verification ; world wide web ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 63
    facet.materialart.
    Unknown
    The InfoSec Handbook (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 64
    facet.materialart.
    Unknown
    Shipping and Globalization in the Post-War Era (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-02
    Description: This open access book belongs to the Maritime Business and Economic History strand of the Palgrave Studies in Maritime Economics book series. This volume highlights the contribution of the shipping industry to the transformations in business and society of the postwar era. Shipping was both an example and an engine of globalization and structural change. In turn, the industry experienced and pioneered, mirrored and enabled key developments that led to the present-day globalized economy. Contributions address issues such as the macro-level shift of shipping’s centre of gravity from Europe to Asia, the political and legal frameworks within which it developed, the strategies and performance of both successful and unsuccessful firms, and the links between the shipping industry and the wider economy and society. Without shipping and its ability to forge connections and networks of a global reach, the modern world would look very different. By bringing together scholars from various disciplinary and national backgrounds, this book advances our understanding of the linkages that bind economies and societies together.
    Keywords: Economics ; Management science ; Shipping ; History, Modern ; Trade ; Business ; Commerce ; Business logistics ; thema EDItEUR::N History and Archaeology::NH History::NHB General and world history ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNP Retail and wholesale industries ; thema EDItEUR::N History and Archaeology::NH History::NHB General and world history ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNP Retail and wholesale industries
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 65
    facet.materialart.
    Unknown
    Re-engineering the Uptake of ICT in Schools (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-29
    Description: Information Systems and Communication Service; Education, general
    Keywords: Information Systems and Communication Service ; Education, general ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNT Media, information & communication industries::KNTX Information technology industries ; bic Book Industry Communication::U Computing & information technology::UY Computer science ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 66
    facet.materialart.
    Unknown
    Building the Infrastructure for Cloud Security (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 67
    facet.materialart.
    Unknown
    Development in Turbulent Times (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book explores the most recent trends in the EU in terms of development, progress, and performance. Ten years after the 2008 economic crisis, and amidst a digital revolution that is intensifying the development race, the European Union, and especially Central and Eastern Europe, are ardently searching for their development priorities. Against this background, by relying on a cross-national perspective, the authors reflect upon the developmental challenges of the moment, such as sustainable development, reducing inequality, ensuring social cohesion, and driving the digital revolution. They particularly focus on the relation between the less-developed Eastern part of the EU and its more developed Western counterpart, and discuss the consequences of this development gap in detail. Lastly, the book presents a range of case studies from different areas of governance, such as economy and commerce, health services, education, migration and public opinion in order to investigate the trends most likely to impact the European Union's medium and long-term development.
    Keywords: Economics ; Management science ; European Economic Community literature ; Economic policy ; Social structure ; Social inequality ; Political economy ; Globalization ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes::JFFS Globalization ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCS Economic systems & structures
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 68
    facet.materialart.
    Unknown
    The Huawei and Snowden Questions: Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: cyber security; IT management; computer science; computer engineering; digital vulnerability
    Keywords: cyber security ; IT management ; computer science ; computer engineering ; digital vulnerability ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 69
    facet.materialart.
    Unknown
    White Gold: The Commercialisation of Rice Farming in the Lower Mekong Basin (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-07
    Description: This open access book is about understanding the processes involved in the transformation of smallholder rice farming in the Lower Mekong Basin from a low-yielding subsistence activity to one producing the surpluses needed for national self-sufficiency and a high-value export industry. For centuries, farmers in the Basin have regarded rice as “white gold”, reflecting its centrality to their food security and well-being. In the past four decades, rice has also become a commercial crop of great importance to Mekong farmers, augmenting but not replacing its role in securing their subsistence. This book is based on collaborative research to (a) compare the current situation and trajectories of rice farmers within and between different regions of the Lower Mekong, (b) explore the value chains linking rice farmers with new technologies and input and output markets within and across national borders, and (c) understand the changing role of government policies in facilitating the on-going evolution of commercial rice farming. An introductory section places the research in geographical and historical context. Four major sections deal in turn with studies of rice farming, value chains, and policies in Northeast Thailand, Central Laos, Southeastern Cambodia, and the Mekong Delta. The final section examines the implications for rice policy in the region as a whole.
    Keywords: Economics ; Management science ; Agricultural economics ; Economic development—Environmental aspects ; Human geography ; Asia—Economic conditions ; Asia—Politics and government ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGC Human geography ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 70
    facet.materialart.
    Unknown
    Moral Reasoning at Work (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-07
    Description: This book is open access under a CC-BY license. Moral dilemmas are a pervasive feature of working life. Moral Reasoning at Work offers a fresh perspective on how to live with them using ethics and moral psychology research. It argues that decision-makers must go beyond compliance and traditional approaches to ethics to prepare for moral dilemmas. The second edition has been updated with a range of examples from the author’s more recent research, to reflect current issues affecting organizations in the digital age. With two new chapters on artificial intelligence and social media, this new edition provides an up-to-date overview of ethical challenges in organizations.
    Keywords: Business ; Management science ; Business ethics ; Personnel management ; Organization ; Planning ; Leadership ; Management ; Industrial management ; Internet marketing ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJC Business strategy ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJG Business ethics and social responsibility ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas::KJMV2 Personnel and human resources management ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas::KJMV6 Research and development management ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJS Sales and marketing ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJU Organizational theory and behaviour
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 71
    facet.materialart.
    Unknown
    Indigenous Knowledge and Education in Africa (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book presents a strong philosophical, theoretical and practical argument for the mainstreaming of indigenous knowledge in curricula development, and in teaching and learning across the African continent. Since the dawn of political independence in Africa, there has been an ongoing search for the kind of education that will create a class of principled and innovative citizens who are sensitive to and committed to the needs of the continent. When indigenous or environment-generated knowledge forms the basis of learning in classrooms, learners are able to immediately connect their education with their lived reality. The result is much introspection, creativity and innovation across fields, sectors and disciplines, leading to societal transformation. Drawing on several theoretical assertions, examples from a wide range of disciplines, and experiences gathered from different continents at different points in history, the book establishes that for education to trigger the necessary transformation in Africa, it should be constructed on a strong foundation of learners’ indigenous knowledge. The book presents a distinct and uncharted pathway for Africa to advance sustainably through home-grown and grassroots based ideas, leading to advances in science and technology, growth of indigenous African business and the transformation of Africans into conscious and active participants in the continent’s progress. Indigenous Knowledge and Education in Africa is of interest to educators, entrepreneurs, policymakers, researchers and individuals engaged in finding sustainable and strategic solutions to regional and global advancement.
    Keywords: Business ; Management science ; International business enterprises ; Africa—Economic conditions ; Curriculums (Courses of study) ; Education—Curricula ; Education—Philosophy ; Educational sociology ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNA Philosophy & theory of education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education::JNKC Curriculum planning & development ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJK International business
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 72
    facet.materialart.
    Unknown
    Finite Difference Computing with Exponential Decay Models (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-04
    Description: Computational Science and Engineering; software Engineering; Programming Techniques
    Keywords: Computational Science and Engineering ; software Engineering ; Programming Techniques ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 73
    facet.materialart.
    Unknown
    Sensor Technologies (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 74
    facet.materialart.
    Unknown
    Transnational Entrepreneurship in South East Asia (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book brings together narratives of inbound and outbound expatriate entrepreneurship in Japan to provide a comprehensive overview of international entrepreneurship in the region. Through in-depth interviews with expatriate entrepreneurs, policymakers, and additional stakeholders it provides the reader with a solid understanding of the current landscape of international entrepreneurship as it relates to Japan and the challenges for policymakers. The topics addressed in this book include definitions of expatriate entrepreneurship, entrepreneurship policy development and implementation, concepts of mindset, cultural brokerage, community, and identity as they relate to Japanese self-initiated expatriate entrepreneurs working in South East Asia and to non-Japanese self-initiated expatriate entrepreneurs working in Japan. Additionally, the book provides an overview of issues connected to regional development and economic growth in Asia. Illustrated through carefully chosen cases from Japan, Myanmar, Thailand, Cambodia, Vietnam, and Indonesia and developed by connecting these cases to policy and interdisciplinary studies, this book is highly recommended to scholars, policymakers and practitioners who seek an in-depth and up-to-date integrated overview of the field of expatriate entrepreneurship in Asia.
    Keywords: Business ; Management science ; Small business ; New business enterprises ; Management ; Globalization ; Markets ; Success in business ; Careers ; International business enterprises ; Asia—Economic conditions ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics ; bic Book Industry Communication::K Economics, finance, business & management::KF Finance & accounting::KFF Finance::KFFH Corporate finance ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJK International business ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJS Sales & marketing::KJSM Market research ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJV Ownership & organization of enterprises::KJVS Small businesses & self-employed
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 75
    facet.materialart.
    Unknown
    Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification
    Keywords: artificial intelligence ; computer software ; selection and evaluation ; formal logic ; graph theory ; modal logic ; petri nets ; program compilers ; programming language ; semantics ; separation logic ; software engineering ; theorem proving ; type systems ; verification ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 76
    facet.materialart.
    Unknown
    Economic Evaluation of Sustainable Development (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-24
    Description: This book is open access under a CC BY 4.0 license. This book presents methods to evaluate sustainable development using economic tools. The focus on sustainable development takes the reader beyond economic growth to encompass inclusion, environmental stewardship and good governance. Sustainable Development Goals (SDGs) provide a framework for outcomes. In illustrating the SDGs, the book employs three evaluation approaches: impact evaluation, cost-benefit analysis and objectives-based evaluation. The innovation lies in connecting evaluation tools with economics. Inclusion, environmental care and good governance, thought of as “wicked problems”, are given centre stage. The book uses case studies to show the application of evaluation tools. It offers guidance to evaluation practitioners, students of development and policymakers. The basic message is that evaluation comes to life when its links with socio-economic, environmental, and governance policies are capitalized on.
    Keywords: Economics ; Management science ; Development economics ; Economic development—Environmental aspects ; Sustainable development ; Economic development projects—Finance ; Economic growth ; Environmental economics ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCG Economic growth ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCM Development economics and emerging economies ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics ; thema EDItEUR::K Economics, Finance, Business and Management::KF Finance and accounting::KFF Finance and the finance industry ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 77
    facet.materialart.
    Unknown
    Pflegeroboter (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: Dieses Open-Access-Buch bündelt technische, wirtschaftliche, medizinische und ethische Reflexionen über Pflegeroboter. Pflegeroboter, im Moment noch mehrheitlich Prototypen, unterstützen oder ersetzen menschliche Pflegekräfte bzw. Betreuer. Sie bringen Kranken und Alten die benötigten Medikamente und Nahrungsmittel, helfen beim Hinlegen und Aufrichten oder alarmieren den Notdienst. Vorteile von Pflegerobotern sind durchgehende Verwendbarkeit und gleichbleibende Qualität der Dienstleistung. Nachteile sind Kostenintensität (bei möglicher Amortisation) und Komplexität der Anforderungen. Unter der wissenschaftlichen Leitung von Prof. Dr. Oliver Bendel trafen sich im September 2017 Vertreter verschiedener wissenschaftlicher Disziplinen im Rahmen eines Ladenburger Diskurses der Daimler und Benz Stiftung, um über den aktuellen und künftigen Einsatz von Pflegerobotern zu sprechen und Forschungspotenziale zu identifizieren. Die Autoren gehen in ihren Beiträgen auch Fragen aus Wirtschafts-, Medizin- und Informationsethik nach: Wer trägt die Verantwortung bei einer fehlerhaften Betreuung und Versorgung durch die Maschine? Inwieweit kann diese die persönliche und informationelle Autonomie des Patienten unterstützen oder gefährden? Ist der Roboter eine Entlastung oder ein Konkurrent für Pflegekräfte? Antworten müssen von Wissenschaft und Gesellschaft gefunden werden.
    Keywords: Business ; Management science ; Business ethics ; Health care management ; Health services administration ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCQ Health economics ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJG Business ethics & social responsibility
    Language: English , German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 78
    facet.materialart.
    Unknown
    Fundamental Approaches to Software Engineering (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections named: software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.
    Keywords: Computer science ; Software engineering ; Programming languages (Electronic computers) ; Computer system failures ; Computers ; Computers ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; 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::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::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; 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::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::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 79
    facet.materialart.
    Unknown
    Intel Xeon Phi Coprocessor Architecture and Tools (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 80
    facet.materialart.
    Unknown
    Android Application Development for the Intel Platform (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 81
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
    Keywords: Computer science ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Artificial intelligence ; Computer simulation ; Computer organization ; 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::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 82
    facet.materialart.
    Unknown
    Emerging States at Crossroads (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-23
    Description: This book is open access under a CC BY-NC-ND license. This volume analyzes the economic, social, and political challenges that emerging states confront today. Notwithstanding the growing importance of the ‘emerging states’ in global affairs and governance, many problems requiring immediate solutions have emerged at home largely as a consequence of the rapid economic development and associated sociopolitical changes. The middle-income trap is a major economic challenge faced by emerging states. This volume regards interest coordination for technological upgrading as crucial to avoid the trap and examines how various emerging states are grappling with this challenge by fostering public-private cooperation, voluntary associations of market players, and/or social networks. Social disparity is another serious problem. It is deeply rooted in history in the emerging states such as South Africa and many Latin American countries. However, income distribution is recently deteriorating even in East Asia that was once praised for its high economic growth with equity. Increasing pressure for political opening is another challenge for emerging states. This volume argues that the economic, social, and political problems are interwoven in the sense that the emerging states need to build political consensus in order to tackle the economic and social difficulties. Democratic institutions have not always been successful in this respect.
    Keywords: Economics ; Management science ; Economic policy ; Economic policy ; Asia—Economic conditions ; Democracy ; Economic policy ; Economic development ; Social change ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPH Political structure and processes::JPHV Political structures: democracy ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas::KJMV6 Research and development management
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 83
    facet.materialart.
    Unknown
    Android on x86 (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 84
    facet.materialart.
    Unknown
    Managing Risk and Information Security: Protect to Enable (Second Edition) (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 85
    facet.materialart.
    Unknown
    RESTART Sustainable Business Model Innovation (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-23
    Description: Taking the business model as point of departure, this open access book explores how companies and organizations can contribute to a more sustainable future by designing innovative models that are both sustainable and profitable. Based upon years of research, it draws together theoretical foundations and existing literature on the topic of sustainable business alongside case studies and practical solutions. After examining the theoretical foundations of sustainable business model innovation, the authors present their own framework – RESTART. Consisting of seven factors, this framework can be the basis for restarting any business model. The final section outlines a research agenda for sustainable business informed by the perspectives and frameworks put forward in this book.
    Keywords: Business ; Management science ; Industrial management—Environmental aspects ; Social responsibility of business ; Leadership ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJC Business strategy ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJG Business ethics and social responsibility ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJJ Business and the environment; ‘green’ approaches to business
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 86
    facet.materialart.
    Unknown
    Office 365 (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 87
    facet.materialart.
    Unknown
    Modelling our Changing World (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-16
    Description: This open access book focuses on the concepts, tools and techniques needed to successfully model ever-changing time-series data. It emphasizes the need for general models to account for the complexities of the modern world and how these can be applied to a range of issues facing Earth, from modelling volcanic eruptions, carbon dioxide emissions and global temperatures, to modelling unemployment rates, wage inflation and population growth. Except where otherwise noted, this book is licensed under a Creative Commons Attribution 4.0 International License. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0.
    Keywords: Economics ; Management science ; Econometrics ; Environmental economics ; Economic history ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCH Econometrics and economic statistics ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCZ Economic history
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 88
    facet.materialart.
    Unknown
    The Essence of Software Engineering (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: Software Engineering; Software Development; Software Processes; Software Architectures; Software Management
    Keywords: Software Engineering ; Software Development ; Software Processes ; Software Architectures ; Software Management ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 89
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security systems; semantics; separation logic; software engineering; verification; world wide web
    Keywords: authentication ; computer science ; computer software selection and evaluation ; cryptography ; data privacy ; formal logic ; formal methods ; formal specification ; internet ; privacy ; program compilers ; programming languages ; security systems ; semantics ; separation logic ; software engineering ; verification ; world wide web ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 90
    facet.materialart.
    Unknown
    System-Aufstellungen und ihre naturwissenschaftliche Begründung (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: In dieser Open-Access-Publikation liefert Thomas Gehlert eine konsistente, auf aktuellen Experimenten und Theorien basierte, fundierte natur- und neurowissenschaftliche Theorie, die den zugrundeliegenden Prozess bei Intuition (Bauchgefühl) und System-Aufstellung beschreiben kann. Damit schließt er eine theoretische Lücke, die die breite Akzeptanz unzähliger experimenteller Ergebnisse in Entscheidungstheorie- und Intuitionsforschung verhinderte. Darauf aufbauend darf die System-Aufstellung als legitimierte Methode im Kontext von Unternehmensführung, strategischem Management und Entscheidungsfindung angesehen werden.
    Keywords: Business ; Management science ; Leadership ; Psychology ; Behavioral economics ; bic Book Industry Communication::J Society & social sciences::JM Psychology ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCK Behavioural economics ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 91
    facet.materialart.
    Unknown
    Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: cloud computing; communication channels; information theory; computer networks; computer systems; data communication systems; Human-Computer Interactopm (HCI); internet; Internet of Services (IoS); Internet of Things (IoT); multimedia systems; quality of experience (QoE); quality of service (QoS); telecommunication networks; telecommunication traffic; user interfaces
    Keywords: cloud computing ; communication channels ; information theory ; computer networks ; computer systems ; data communication systems ; Human-Computer Interactopm (HCI) ; internet ; Internet of Services (IoS) ; Internet of Things (IoT) ; multimedia systems ; quality of experience (QoE) ; quality of service (QoS) ; telecommunication networks ; telecommunication traffic ; user interfaces ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 92
    facet.materialart.
    Unknown
    Programming Languages and Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Information Systems and Communication Service ; Natural Language Processing (NLP) ; Theory of Computation ; artificial intelligence ; computer networks ; computer programming ; computer security ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; object-oriented programming ; parallel processing systems ; program compilers ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Computer networking & communications ; Algorithms & data structures ; Natural language & machine translation ; Computer science ; Mathematical theory of computation ; 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::UT Computer networking and communications ; 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::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 93
    facet.materialart.
    Unknown
    Fundamental Approaches to Software Engineering (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification
    Keywords: computer software maintenance ; computer software selection and evaluation ; formal logic ; formal methods ; formal specification ; programming languages ; semantics ; software engineering ; specifications ; verification ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 94
    facet.materialart.
    Unknown
    A Practical Guide to TPM 2.0 (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 95
    facet.materialart.
    Unknown
    Built on Value (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: Business; Management science; Management; Business enterprises—Finance; Manpower policy
    Keywords: Business ; Management science ; Management ; Business enterprises—Finance ; Manpower policy ; bic Book Industry Communication::K Economics, finance, business & management::KF Finance & accounting::KFF Finance::KFFH Corporate finance ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas::KJMV2 Personnel & human resources management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 96
    facet.materialart.
    Unknown
    Data Collection in Fragile States (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: ‘This open access book addresses an urgent issue on which little organized information exists. It reflects experience in Africa but is highly relevant to other fragile states as well.’ —Constantine Michalopoulos, John Hopkins University, USA and former Director of Economic Policy and Co-ordination at the World Bank Fragile countries face a triple data challenge. Up-to-date information is needed to deal with rapidly changing circumstances and to design adequate responses. Yet, fragile countries are among the most data deprived, while collecting new information in such circumstances is very challenging. This open access book presents innovations in data collection developed with decision makers in fragile countries in mind. Looking at innovations in Africa from mobile phone surveys monitoring the Ebola crisis, to tracking displaced people in Mali, this collection highlights the challenges in data collection researchers face and how they can be overcome.
    Keywords: Economics ; Management science ; Development economics ; Big data ; Sociology—Research ; Economic theory ; Africa—Economic conditions ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology::JHBC Social research & statistics ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCA Economic theory & philosophy ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCM Development economics & emerging economies ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 97
    facet.materialart.
    Unknown
    Advances in Energy System Optimization (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-25
    Description: The papers presented in this open access book address diverse challenges in decarbonizing energy systems, ranging from operational to investment planning problems, from market economics to technical and environmental considerations, from distribution grids to transmission grids, and from theoretical considerations to data provision concerns and applied case studies. While most papers have a clear methodological focus, they address policy-relevant questions at the same time. The target audience therefore includes academics and experts in industry as well as policy makers, who are interested in state-of-the-art quantitative modelling of policy relevant problems in energy systems. The 2nd International Symposium on Energy System Optimization (ISESO 2018) was held at the Karlsruhe Institute of Technology (KIT) under the symposium theme “Bridging the Gap Between Mathematical Modelling and Policy Support” on October 10th and 11th 2018. ISESO 2018 was organized by the KIT, the Heidelberg Institute for Theoretical Studies (HITS), the Heidelberg University, the German Aerospace Center and the University of Stuttgart.
    Keywords: Mathematics ; Operations research ; Management science ; System theory ; Mathematical models ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory::GPFC Cybernetics and systems theory ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJT Operational research ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWH Mathematical modelling
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 98
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 99
    facet.materialart.
    Unknown
    Finite Difference Computing with PDEs: A Modern Software Approach (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: finite difference methods; programming; python; verification; numerical methods; differential equations
    Keywords: finite difference methods ; programming ; python ; verification ; numerical methods ; differential equations ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 100
    facet.materialart.
    Unknown
    Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: collaboration; information systems; Linux; open access; open source software
    Keywords: collaboration ; information systems ; Linux ; open access ; open source software ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...