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
  • Computers
  • Humanities
  • Springer Nature  (13)
  • Taylor & Francis  (7)
Collection
Keywords
Publisher
Language
Years
  • 1
    facet.materialart.
    Unknown
    Time and Space (2023)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2024-04-11
    Description: The texts presented in Proportion Harmonies and Identities (PHI) Time and Space were compiled to establish a multidisciplinary platform for presenting, interacting, and disseminating research. It also aims to foster awareness and discussion on Time and Space, focusing on different visions relevant to Architecture, Arts and Humanities, Design and Social Sciences, and its importance and benefits for the sense of identity, both individual and communal. The idea of Time and Space has been a powerful motor for development since the Western Early Modern Age. Its theoretical and practical foundations have become the working tools of scientists, philosophers, and artists, who seek strategies and policies to accelerate the development process in different contexts.
    Keywords: Architecture ; Arts ; Design ; Humanities ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    facet.materialart.
    Unknown
    Manual of Digital Earth (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book offers a summary of the development of Digital Earth over the past twenty years. By reviewing the initial vision of Digital Earth, the evolution of that vision, the relevant key technologies, and the role of Digital Earth in helping people respond to global challenges, this publication reveals how and why Digital Earth is becoming vital for acquiring, processing, analysing and mining the rapidly growing volume of global data sets about the Earth. The main aspects of Digital Earth covered here include: Digital Earth platforms, remote sensing and navigation satellites, processing and visualizing geospatial information, geospatial information infrastructures, big data and cloud computing, transformation and zooming, artificial intelligence, Internet of Things, and social media. Moreover, the book covers in detail the multi-layered/multi-faceted roles of Digital Earth in response to sustainable development goals, climate changes, and mitigating disasters, the applications of Digital Earth (such as digital city and digital heritage), the citizen science in support of Digital Earth, the economic value of Digital Earth, and so on. This book also reviews the regional and national development of Digital Earth around the world, and discusses the role and effect of education and ethics. Lastly, it concludes with a summary of the challenges and forecasts the future trends of Digital Earth. By sharing case studies and a broad range of general and scientific insights into the science and technology of Digital Earth, this book offers an essential introduction for an ever-growing international audience.
    Keywords: Geography ; Remote sensing ; Physical geography ; Computers ; Big data ; Sustainable development ; Climate change ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGW Geographical information systems (GIS) & remote sensing ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RND Environmental policy & protocols ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::U Computing & information technology::UN Databases ; bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    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
  • 4
    facet.materialart.
    Unknown
    Chapter Introduction (2021)
    Taylor & Francis | Routledge
    Details
    Publication Date: 2024-03-24
    Description: From the mid-1950s to the late 1970s, jazz was harnessed as America’s "sonic weapon" to promote an image to the world of a free and democratic America. Dizzy Gillespie, Dave Brubeck, Duke Ellington and other well-known jazz musicians were sent around the world – including to an array of Communist countries – as "jazz ambassadors" in order to mitigate the negative image associated with domestic racial problems. While many non-Americans embraced the Americanism behind this jazz diplomacy without question, others criticized American domestic and foreign policies while still appreciating jazz – thus jazz, despite its popularity, also became a medium for expressing anti-Americanism. This book examines the development of jazz outside America, including across diverse historical periods and geographies – shedding light on the effectiveness of jazz as an instrument of state power within a global political context.
    Keywords: Arts ; Music ; Western Music Styles (Early & Classical) ; 20th Century Music ; Popular Music ; Jazz ; Humanities ; History ; Contemporary History 1945- ; The Cold War ; Media & Film Studies ; Popular Music ; History of Popular Music ; Politics & International Relations ; International Relations ; Foreign Policy ; International Relations Theory ; International Political Economy ; International Politics ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTM Regional / International studies
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    facet.materialart.
    Unknown
    Chapter Introduction Industry History (2021)
    Taylor & Francis | Industries and Global Competition | Routledge
    Details
    Publication Date: 2023-09-12
    Description: "Changes in the dynamics of economic activities since the last decades of the 20th century have yielded major changes in the composition of industries and the division of labor and production across different regions of the world. Despite these shifts in the global economy, some industries have remained competitive even without relocating their operations overseas. Industries and Global Competition examines how and why the specificities of certain industries and firms determined their choice of location and competitiveness. This volume identifies the major drivers of this process and explains why some firms and industries moved to other parts of world while others did not. Relocation was not the sole determinant of the success or failure of firms and industries. Indeed some were able to reinvent themselves at their original location　and build new competitive advantages. The path that each industry or firm took varied. This book argues that the specific characteristics of each industry defined the conditions of competitiveness and provide a wide range of cases as illustrations.　"
    Keywords: Economics ; Finance ; Business & Industry ; Business ; Management and Accounting ; Business History ; Management History ; International Business ; Production ; Operations & Information Management ; Economics ; Industrial Economics ; Development Studies ; Economics and Development ; Humanities ; History ; Social & Cultural History ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCL International economics ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCZ Economic history ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management ; 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::KJMV Management of specific areas::KJMV5 Production & quality control management ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJZ History of specific companies / corporate history
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    facet.materialart.
    Unknown
    Chapter 7 'Our People’ (2021)
    Taylor & Francis | Film in contemporary Southeast Asia | Routledge
    Details
    Publication Date: 2024-03-23
    Description: This book discusses contemporary film in all the main countries of Southeast Asia, and the social practices and ideologies which films either represent or oppose. It shows how film acquires signification through cultural interpretation, and how film also serves as a site of contestations between social and political agents seeking to promote, challenge, or erase certain meanings, messages or ideas from public circulation. A unique feature of the book is that it focuses as much on films as it does on the societies from which these films emerge: it considers the reasons for film-makers taking the positions they take; the positions and counter-positions taken; the response of different communities; and the extent to which these interventions are connected to global flows of culture and capital.
    Keywords: Area Studies ; Asian Studies ; Asian Studies (General) ; Asian Culture & Society ; South East Asian Studies ; South East Asian Culture & Society ; Politics & International Relations ; Comparative Politics ; Humanities ; Media & Film Studies ; Film Studies ; Contemporary Cinema ; World Cinema ; Social Sciences ; Sociology & Social Policy ; Race & Ethnic Studies ; Sociology of Culture ; thema EDItEUR::A The Arts::AT Performing arts::ATF Films, cinema ; thema EDItEUR::A The Arts::AT Performing arts::ATJ Television ; thema EDItEUR::A The Arts::AT Performing arts::ATF Films, cinema::ATFA Film history, theory or criticism ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTM Regional / International studies ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSL Ethnic studies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    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
  • 8
    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
  • 9
    facet.materialart.
    Unknown
    Chapter 20 Nishitani on Emptiness and Nothingness (2021)
    Taylor & Francis | Routledge
    Details
    Publication Date: 2024-04-05
    Description: A variety of crucial and still most relevant ideas about nothingness or emptiness have gained profound philosophical prominence in the history and development of a number of South and East Asian traditions—including in Buddhism, Daoism, Neo-Confucianism, Hinduism, Korean philosophy, and the Japanese Kyoto School. These traditions share the insight that in order to explain both the great mysteries and mundane facts about our experience, ideas of ""nothingness"" must play a primary role. This collection of essays brings together the work of twenty of the world’s prominent scholars of Hindu, Buddhist, Daoist, Neo-Confucian, Japanese and Korean thought to illuminate fascinating philosophical conceptualizations of ""nothingness"" in both classical and modern Asian traditions. The unique collection offers new work from accomplished scholars and provides a coherent, panoramic view of the most significant ways that ""nothingness"" plays crucial roles in Asian philosophy. It includes both traditional and contemporary formulations, sometimes putting Asian traditions into dialogue with one another and sometimes with classical and modern Western thought. The result is a book of immense value for students and researchers in Asian and comparative philosophy.
    Keywords: Area Studies ; Asian Studies ; Asian Studies (General) ; Asian Philosophy ; Humanities ; Philosophy ; Eastern Philosophy ; Indian Philosophy ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
    Keywords: Computer science ; Computer logic ; Mathematical logic ; Software engineering ; Artificial intelligence ; Computer system failures ; 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 ; 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::UYA Mathematical theory of computation ; 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
  • 11
    facet.materialart.
    Unknown
    Chapter 3 Japan's Twenty-One Demands and Anglo-Japanese relations (2021)
    Taylor & Francis | Britain's Retreat from Empire in East Asia, 1905-1980 | Routledge
    Details
    Publication Date: 2023-09-12
    Description: The decline of British power in Asia, from a high point in 1905, when Britain’s ally Japan vanquished the Russian Empire, apparently reducing the perceived threat that Russia posed to its influence in India and China, to the end of the twentieth century, when British power had dwindled to virtually nothing, is one of the most important themes in understanding the modern history of East and Southeast Asia. This book considers a range of issues that illustrate the significance and influence of the British Empire in Asia and the nature of Britain’s imperial decline. Subjects covered include the challenges posed by Germany and Japan during the First World War, British efforts at international co-operation in the interwar period, the British relationship with Korea and Japan in the wake of the Second World War, and the complicated path of decolonisation in Southeast Asia and Hong Kong.
    Keywords: Area Studies ; Asian Studies ; Asian Studies (General) ; Asian Diaspora ; Asian History ; Asian Politics ; Chinese Studies ; Chinese History ; Chinese Politics ; South Asian Studies ; India (studies of) ; British Studies ; Humanities ; History ; Asian History ; British History ; bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GT Interdisciplinary studies::GTB Regional studies ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFS Social groups::JFSL Ethnic studies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    facet.materialart.
    Unknown
    European E-Democracy in Practice (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book explores how digital tools and social media technologies can contribute to better participation and involvement of EU citizens in European politics. By analyzing selected representative e-participation projects at the local, national and European governmental levels, it identifies the preconditions, best practices and shortcomings of e-participation practices in connection with EU decision-making procedures and institutions. The book features case studies on parliamentary monitoring, e-voting practices, and e-publics, and offers recommendations for improving the integration of e-democracy in European politics and governance. Accordingly, it will appeal to scholars as well as practitioners interested in identifying suitable e-participation tools for European institutions and thus helps to reduce the EU’s current democratic deficit. This book is a continuation of the book “Electronic Democracy in Europe” published by Springer.
    Keywords: Political science ; European Union ; Technology—Sociological aspects ; Computers ; Political communication ; Democracy ; Public policy ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPA Political science & theory ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPH Political structure & processes::JPHV Political structures: democracy ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPP Public administration ; bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    facet.materialart.
    Unknown
    Dynamic Spectrum Management (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-11
    Description: This open access book, authored by a world-leading researcher in this field, describes fundamentals of dynamic spectrum management, provides a systematic overview on the enabling technologies covering cognitive radio, blockchain, and artificial intelligence, and offers valuable guidance for designing advanced wireless communications systems. This book is intended for a broad range of readers, including students and professionals in this field, as well as radio spectrum policy makers.
    Keywords: Engineering ; Electrical engineering ; Wireless communication systems ; Mobile communication systems ; Computer organization ; Computers ; Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKW WAP (wireless) technology ; 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::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKW WAP (wireless) technology ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    facet.materialart.
    Unknown
    Ganzheitliche Digitalisierung von Prozessen (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: In diesem Open-Access-Buch wird das Geschäftsprozessmanagement als ein ganzheitlicher Prozess begriffen, der der Mitwirkung aller Stakeholder bedarf. Denn das traditionelle Business Process Engineering stößt heute angesichts der Digitalisierung und der dynamischen Entwicklung von Organisationen immer mehr an seine Grenzen, beispielsweise bezüglich Agilität. Um nun das Wesen von Aufgaben und Abläufen in Organisationen zu erfassen, schlagen die Autoren einen Perspektivwechsel vor: das Denken in Kommunikationsprozessen. Dieses Konzept lässt sich wirtschaftlich, organisatorisch und technisch ohne einschlägige Vorkenntnisse umsetzen. Leserinnen und Leser finden in dem Buch konkrete Handlungsanleitungen für die Digitalisierung von organisationsrelevanten Abläufen. Daneben liefern die Autoren Einblicke in die Systemtheorie und in das Design Thinking. Ihr Ziel ist, Konzepte einfach und verständlich zu erläutern, ohne dabei komplexe Zusammenhänge zu vernachlässigen. Dank ausführlicher Konzeptdarstellung und Ausflüge in die Theorie mit Beispielen aus der Praxis, eignet es sich für Studierende und für Wissenschaftler genauso wie für Praktiker. Entwickler und andere Fachkräfte aus den Bereichen Operatives Management, Geschäftsprozessmanagement, Organisationsentwicklung, Qualitätsmanagement, Wissensmanagement werden sich von der Übersichtlichkeit und dem Nutzwert angesprochen fühlen.
    Keywords: Computer science ; Computers ; Management ; Industrial management ; Information technology ; Business—Data processing ; 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::U Computing & information technology::UT Computer networking & communications
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    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
  • 16
    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
  • 17
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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. It's a special volume on the occasion of the 25 year anniversary of TACAS.
    Keywords: Computer science ; Computer logic ; Software engineering ; Mathematical logic ; Computers ; Computer system failures ; 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 ; 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::UYA Mathematical theory of computation ; 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 ; 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::UYA Mathematical theory of computation ; 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
  • 18
    facet.materialart.
    Unknown
    Mining Goes Digital (2021)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2023-09-12
    Description: The abbreviation “APCOM” stands for “Applications for Computers and Operations Research in the Minerals Industry”. When the conference started in 1964, it was an informal meeting of scientists from different universities in the USA together with the “Society of Mining Engineers” (SME) of the United States. During the years the APCOM conference was performed in a mostly bi-annual rhythm. Up to today APCOM maintained its original logo formed around a punch card clearly remembering the historic origin of the conference from the times prior to the revolution caused by the era of semiconductors. In the beginning, APCOM focused on the optimization of geostatistics and resource estimation and a number of methods used in these fields were initially presented and discussed on APCOM conferences. This field still today is an important part of any APCOM. During the years, information technology has dramatically developed, new algorithmic methods evolved and the entire fields of electronic communication, machine automation, autonomous machines and process optimization developed. Consequently, today, APCOM is much more than a meeting of specialists in geostatistics and resource estimation: The APCOM has expanded to a conference covering all kinds of Information and Communication Technology in the mineral industry: Already in 2005 on the conference in Tuscon/AZ, the term “Mining Process Optimization” was presented as the next paradigm shift in mining after mechanization and automation, which marked another example of the continued innovative impact of the APCOM. Well ahead of the current discussions about “Digital Transformation”.
    Keywords: Computers ; mineral industry ; mining ; bic Book Industry Communication::R Earth sciences, geography, environment, planning
    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
    Computer Aided Verification (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: The 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 ; Computer logic ; Mathematical logic ; Computer system failures ; Computers ; Artificial intelligence ; Computer logic ; 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::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; 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
  • 20
    facet.materialart.
    Unknown
    Managed Software Evolution (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-07
    Description: This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process. Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage. The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a continuum of former and future releases.
    Keywords: Computer science ; Software engineering ; Management information systems ; Management information systems ; Computer science ; Computers ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; 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::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    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...