Books published by Springer

This textbook provides researchers, post-graduate students, and practitioners with a systematic framework for coping with uncertainty when making facility location decisions. In addition to in-depth coverage of models and solution techniques, application areas are discussed. The book guides readers through the field, showing how to successfully analyze new problems and handle new applications. Initially, the focus is on base models and concepts. Then, gradually, more comprehensive models and more involved solution algorithms are discussed. Throughout the book, two perspectives are intertwined: the paradigm for capturing uncertainty, and the facility location problem at hand. The former includes stochastic programming, robust optimization, chance-constrained programming, and distributional robust optimization; the latter includes classical facility location problems and those arising in many real-world applications such as hub location, location routing, andlocation inventory.

This book collects the edited and reviewed contribution presented in the 10th iTi conference in Bertinoro, covering fundamental and applied aspects in turbulence. In the spirit of the iTi conference, the book is produced after the conference so that the authors had the opportunity to incorporate comments and discussions raised during the meeting. The iTi has become an established biannual conference on turbulence research with 80 to 100 participants and places value on creating an environment to stimulate discussions and personal contacts in the beautiful town of Bertinoro in Northern Italy close to Bologna, continuing a tradition that has started in Bad Zwischenahn/Germany with the first edition of the conference in 2003. The content-related focus areas of the conference are the interdisciplinary aspects of turbulence, defining the abbreviation iTi¿interdisciplinary turbulence initiative. iTi attracts scientist from the engineering, physics, and mathematics communities.

This volume presents a selection of articles which explore methodological and applicative aspects of textual data analysis. Divided into four parts, it begins by focusing on statistical methods, and then moves on to problems in quantitative language processing. After discussing the challenging task of text mining in relation to emotional and sentiment analyses, the book concludes with a collection of studies in the social sciences and public health which apply textual data analysis methods.The refereed contributions were originally presented at the 16th International Conference on Statistical Analysis of Textual Data (JADT 2022), which took place in Naples, Italy, on July 6-8, 2022. The biennial JADT meeting discusses theories, problems, and practical uses of textual data analysis in various fields, sharing a quantitative approach to the study of lexical, textual, pragmatic or discursive features of information expressed in natural language.

This book delves into the p-adic Simpson correspondence, its construction, and development. Offering fresh and innovative perspectives on this important topic in algebraic geometry, the text serves a dual purpose: it describes an important tool in p-adic Hodge theory, which has recently attracted significant interest, and also provides a comprehensive resource for researchers. Unique among the books in the existing literature in this field, it combines theoretical advances, novel constructions, and connections to Hodge-Tate local systems.This exposition builds upon the foundation laid by Faltings, the collaborative efforts of the two authors with T. Tsuji, and contributions from other researchers. Faltings initiated in 2005 a p-adic analogue of the (complex) Simpson correspondence, whose construction has been taken up in several different ways. Following the approach they initiated with T. Tsuji, the authors develop new features of the p-adic Simpson correspondence, inspired by their construction of the relative Hodge-Tate spectral sequence. First, they address the connection to Hodge-Tate local systems. Then they establish the functoriality of the p-adic Simpson correspondence by proper direct image. Along the way, they expand the scope of their original construction. The book targets a specialist audience interested in the intricate world of p-adic Hodge theory and its applications, algebraic geometry and related areas. Graduate students can use it as a reference or for in-depth study. Mathematicians exploring connections between complex and p-adic geometry will also find it valuable.

Unlike the structured world of computer science, biology is complex, evolving, and often lacks clean abstract models. This book aims to serve as a guide for computer scientists who need to understand cell biology, breaking the field into three parts: biological mechanics, experimental methods, and language/nomenclature. While biological mechanics, which investigates cellular-level details, is covered by many texts, this book also focuses on experimental methods - how biologists conduct experiments and gather data - and on helping the reader understand the language and terminology of biology, which is rich but challenging for non-biologists. A Computer Scientist's Guide to Cell Biology uses a metaphor of biology as a strange land with an unfamiliar language and customs. The goal of the book is to provide a high-level introduction to cell biology, simplifying concepts and relating them to familiar ideas from computer science, so that working computer scientists can more effectively understand read recent research papers and results.This Second Edition contains a number of updates, including discussions of CRISPR, advances in DNA Sequencing, and mRNA vaccines. It serves as an easy-to-read travel guide for computer scientists navigating the intricate and sometimes perplexing terrain of cell biology, offering insights into experimental methods and helping bridge the gap between the structured world of computer science and the complexities of biological systems.

This book explores the multiple facets of habit from diverse and complementary theoretical frameworks. It provides a complete overview of the cognitive, computational, and neural processes underlying the formation of distinct forms of habit. The objective of the book is to cover (1) the multiple definitions of the habit construct and the relation between different habit-related concepts, (2) the underlying brain circuits of habits, and (3) the possible involvement of habits in psychiatric disorders such as alcohol and substance use disorder. This book will be of interest to all researchers in behavioral and computational neuroscience, psychology, and psychiatry who are interested in associative learning and decision making, under normal and pathological conditions.

This book continues the mission of the previous text by the author, Lectures on Categorical Data Analysis, by expanding on the introductory concepts from that volume and providing a mathematically rigorous presentation of advanced topics and current research in statistical techniques which can be applied in the social, political, behavioral, and life sciences. It presents an intuitive and unified discussion of an array of themes in categorical data analysis, and the emphasis on structure over stochastics renders many of the methods applicable in machine learning environments and for the analysis of big data. The book focuses on graphical models, their application in causal analysis, the analytical properties of parameterizations of multivariate discrete distributions, marginal models, and coordinate-free relational models. To guide the readers in future research, the volume provides references to original papers and also offers detailed proofs of most of the significant results. Like the previous volume, it features exercises and research questions, making it appropriate for graduate students, as well as for active researchers.

This open access book is an exploration of city responses to migrants with a precarious status in Europe. It provides new evidence and analysis from research on three cities in Austria, Germany and the UK: Vienna, Frankfurt and Cardiff. The book explores strategies and services of municipal authorities towards precarious migrants and their cooperation with non-governmental organisations (NGOs) in service provision. It focuses on healthcare, education, housing and access to advice; and particular attention is given to the situation of women.The book develops the concept of precarity in relation to migration status, and of horizontal governance arrangements within municipal authorities. It explores the tension between exclusion and inclusion of migrants who have limited rights of access to welfare services, and contributes evidence on the factors shaping municipal policy making, as well as on the framing of rationales for providing access to essential services.

The introduction and a theoretical summary of language anxiety research (Chapter 1) are followed by four chapters: Chapter 2 presents a meta-analysis of the widely used Foreign Language Classroom Anxiety Scale¿s (Horwitz, et al., 1986) factorial structure; Chapter 3 reports on a validation study of the Hungarian version of MacIntyre and Gardner¿s (1994) Input, Process, and Output Anxiety Scales; Chapter 4 presents the development of a skills-based anxiety questionnaire through a three-phased study consisting of an exploratory qualitative phase as well as two quantitative phases using Rasch analysis; and Chapter 5 focuses on empirical approaches available for tapping into the dynamic change of this emotion, including the idiodynamic method and quantitative analyses such as latent growth curve modeling and dynamic cluster analysis.

Artificial intelligence (AI) has the potential to radically transform our society. It may lead to a massive increase in the capabilities of humankind and allow us to address some of our most intractable challenges. It may also entail profound disruption to structures and processes that have sustained our society over centuries. These developments present a unique challenge to the socio-economic constitutional arrangements which govern our world at national, regional and international level. The deployment of increasingly powerful AI systems, able to function with increasing degree of autonomy, has led to concerns over loss of human control of important societal processes, over the disruption of existing economic, social and legal relationships, and over the empowerment of some societal actors at the expense of others, together with the entrenchment of situations of domination or discrimination. It has also made increasingly clear how tremendous the potential benefits, that these technologies may bring, are to those who successfully develop and deploy them. There is therefore great pressure on governments, international institutions, public authorities, civil society organisations, industry bodies and individual firms to introduce or adapt mechanisms and structures that will avoid the potentially negative outcomes of AI and achieve the positive ones. These mechanisms and structures, which have been given the umbrella term 'AI governance', cover a wide range of approaches, from individual firms introducing ethical principles which they volunteer to abide by, to the European Union legislating an AI Act, which will prohibit certain types of AI applications and impose binding obligations on AI developers and deployers. The fast pace of innovation in the development of AI technologies is mirrored by the fast pace of development of the emerging field of AI governance, where traditional legislation by public bodies is complemented with more innovative approaches, such ashybrid and adaptive governance, ethical alignment, governance by design and the creation of regulatory sandboxes. The chapter "AI and Sensitive Personal Data Under the Law Enforcement Directive: Between Operational Efficiency and Legal Necessity" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

The fast development of intelligent technologies in the previous years, their boost during the COVID crisis, and their huge acceleration with the proliferation of the Large Language Models has led industry, governance, legislators and regulators to race to achieve production control, striving to define regional and global regulatory frameworks, capable of guaranteeing their safe deployment.In an evolving and uneven regulatory context, balancing fast technological development and the safe and ethical use of these new disruptive technologies, with an expected total economic impact of 4.4 trillion dollars annually, becomes presently the biggest challenge. The present book addresses the fundamental role played by the three milestones- Benchmarking, Standardization, and Certification that are part of the developmental loop of all products in developed economies. The essential role played by these milestones and the importance of defining accurate general and specific metrics is addressed in this book with particular case studies in the domains of Robotics and AI-

This is the 28th issue of the Springer's series Eurasian Studies in Business and Economics, which is the official book series of the Eurasia Business and Economics Society (EBES, www.ebesweb.org). This issue includes selected papers presented at the 41st EBES Conference - Berlin that was held on October 12-14, 2022 and jointly be organized with GLO (The Global Labor Organization) and in collaboration with the FOM University of Applied Sciences. The conference was held both in hybrid with both in-person and online paper presentation format.

Traditionally, real estate has been burdened by challenges such as illiquidity, limited accessibility, opacity, complex transactions, high costs, and substantial capital requirements. However, tokenization emerges as a potential solution to many of these issues. In this book, the authors thoroughly investigate the innovative concept of tokenization in the real estate domain. Tokenization involves digitizing real estate assets and ownership, complemented by fractionalization, facilitated through blockchain technology. The book elucidates the fundamental principles, technologies, opportunities, and impediments associated with real estate tokenization. To fully capitalize on the theoretical advantages, the book furnishes specific recommendations for the overall market landscape and active participants, providing crucial guidance to encourage wider adoption and successful realization of the benefits offered by tokenized real estate.

This text is the first comprehensive attempt in decades to integrate reading into the philosophical discussion of the synthesis of experience more generally. It offers a comprehensive critique of three disciplinary approaches to reading: philosophical, literary and empirical/neuroscientific, while developing an innovative and unifying phenomenological account. It discusses texts from a variety of contemporary and historical contexts. It is inclusive, treating non-fiction alongside fiction, literary art alongside everyday texts, and narrative alongside thematic discourse. It addresses all reading practices found today: casual and unreflective reading, close and scholarly reading with re-reading, the analysis of literary art, and sacred text study and memorization. In the current intellectual landscape, the book is unique in bringing all these aspects together in a philosophically coherent discussion. The book provides a critique of philosophical accountsof text meaning and linguistic experience by philosophers from Husserl and Ingarden to Sartre, Merleau-Ponty, Arendt, Gadamer and Derrida, and examines the positions of contemporary 'naturalizing' phenomenologists, such as Varela and Thompson. Also treated are neuroscientists such as Dehaene, and theorists of consciousness such as Kintsch, Flanagan and Dennett. Finally, this volume engages with psychological, linguistic, structuralist, 'theory of mind' and 'experiential' approaches in literary studies, from Bühler and Hamburger to Fludernik, Herman and Kuzmičová. It appeals to students and researchers working in these fields.

This book analyzes how children and adolescents aged between 10 and 17 engage with digital advertising and highlights the importance of promoting advertising literacy to help young audiences recognize advertising and distinguish it from other media content in the digital age. As the advertising sector evolves, incorporating new formats like branded content and influencer marketing, the frontiers between commercial content and regular media become blurred, posing a challenge for children and adolescents to discern persuasive intent in advertising and distinguish advertising from other media content. In this context, it is crucial to assess children and adolescents' preparedness to navigate digital advertising effectively by understanding their level of advertising literacy. With a higher level of advertising literacy, young audiences can evaluate advertisements, considering factors such as product appeal, presentation, and relevance to their experiences, as well as grasp thepurpose behind advertising and the techniques employed. This contributed volume brings together empirical studies and literature reviews to present an overview of the current research on advertising literacy among boys and girls aged between 10 and 17 in different countries to help educators, policymakers, advertisers, and society at large collaborate in nurturing responsible, informed, and ethically conscious digital citizens. Advertising Literacy for Young Audiences in the Digital Age: A Critical Attitude to Embedded Formats will be of interest to researchers working with media education, media sociology and childhood and adolescence studies. It will also help educators and policymakers develop better strategies to prepare children and adolescents to navigate digital advertising effectively.

The book focuses on the open challenges associated with the convergence of the Internet of Things and Artificial Intelligence, as accommodated in 6G architecture. The authors discuss how in many fields, such as Natural Language Processing (NLP), interactive computer games, robotics, and multiuser virtual environments, this convergence is likely to have enormously benefits, from artificial intelligence mimicking human intelligence, attempting to simulate human intelligence, and producing a new intelligent machine capable of processing information with human consciousness, behaviour, and thinking integrated with appropriate algorithms. The book provides users with the fundamentals of IoT architecture, AI technology, and the architecture of AI and IoT converged networks. Furthermore, to provide hands-on experience with the technology, some proposed systems are discussed, along with their applications in various sectors such as healthcare, transportation, smart homes, production, manufacturing, renewable energy and agriculture. The book will discuss new technological advances, current research trends, and industry requirements. Discussed open challenges in the field will motivate researchers and stakeholders in industry to provide solutions, with some presented in the book to help spark ideas.

The financial system is currently confronted with tremendous challenges from the global economy, trade, politics, demographics, and most recently from enormous technological advancements. These developments have the capacity to change the existing financial system fundamentally. This book addresses how technological developments and digitalization will impact the future of financial systems. This book is based on the results of a series of ten roundtables with high-level experts on the future of the financial system. Experts from academia, supranational institutions, central banks, commercial banks, regulators, start-ups, technology companies, venture capital firms, think tanks, foundations, and other visionaries from five continents developed potential scenarios of the financial system 2030 over a time horizon of five years. The book presents the results of these discussions, which are structured along the 'Vaduz Architecture'. This newly introduced concept distinguishes different dimensions for the future financial system, including information technologies, nation states and (de-) regulation.

This book collects a selection of papers presented at ELECTRIMACS, 2022 the14th international conference of the IMACS TC1 Committee, held in Nancy, France, on 17st-21rd May 2022. The conference papers deal with modelling, simulation, analysis, control, power management, design optimization, identification and diagnostics in electrical power engineering. The main application fields include electric machines and electromagnetic devices, power electronics, transportation systems, smart grids, electric and hybrid vehicles, renewable energy systems, energy storage, batteries, supercapacitors and fuel cells, and wireless power transfer. The contributions included in Volume 2 are particularly focused on methodological aspects, modelling, and applied mathematics in the field of electrical engineering.

This open access book brings together different perspectives on migration and the city that are usually discussed separately, to show the special character of the urban context as a territorial and political space where people coexist, whether by choice or necessity. Drawing on heterogeneous situations in cities in different world regions (including Europe, North America, the Middle East, South, Southeast and East Asia and the Asia Pacific) contributions to this volume examine how migration and the urban context interact in the twenty-first century. The book is structured in four parts. The first looks at cities as hubs of cultural creativity, exploring the many dimensions of cultural diversity and identity as they are negotiated in the urban context. The second focuses on what lies outside the large urban centres of today, notably suburbs, while the third part engages with migration and diversity in small and mid-sized cities, many of which have adopted strategies to welcome growing numbers of migrants. Last but not least, the fourth part looks at the challenges and opportunities that asylum-seeking and irregular migration flows bring to cities. By providing a variety of empirical cases based on various world regions, this book is a valuable resource for researchers, students and policy makers.

This LNCS conference volume constitutes the proceedings of the 20th International Symposium, ARC 2024, in Aveiro, Portugal, in March 2024. The 16 full papers together with 5 papers from the technical program included in this volume were carefully reviewed and selected from 24 submissions. The conference focuses on the application and development of reconfigurable computing techniques, fault-tolerance, data, and graph processing acceleration to computer security.

This book provides students with the fundamental concepts and stages of strategic management and planning in organizations with essential tools to make decisions in order to remain competitive in the business world of today. It offers an introduction to the key topics and themes of organizational and competitive strategies and provides a panoramic view of the changing corporate environment. The author draws on insights from various typical functional courses, such as marketing, finance, and accounting, to help students understand how top executives and managers make the strategic decisions that drive successful businesses. Students learn how to conduct a case analysis, measure organizational performance, and conduct external and internal analyses. The book features learning objectives, glossaries, and real cases related to the content of each chapter. The book also features discussions on the execution and evaluation of organizational performance; environment, social, and governance (ESG); and decision and risk analysis. This book is useful for upper undergraduate and graduate level courses in strategic planning and management, business administration, decision making, and business strategy.

This book examines the issue of solid waste generation and management as a worldwide phenomenon, focusing on strategies that facilitate the disposal and utilization of waste while ensuring environmental integrity and meeting the needs of future generations. The process of urbanization, particularly in densely populated cities, has resulted in a notable increase in the production of solid waste. Unfortunately, the current management system employed by the government, as well as the available resources and technical capabilities, is insufficient in effectively addressing this issue. As a result, the accumulation of solid waste in the environment continues to rise, causing adverse impacts on both the natural surroundings and human well-being. The contamination of the air, soil, and water directly stems from this mounting waste. To confront this global challenge, determined efforts are being made to manage and diminish the volume of solid waste, with the ultimate goal of safeguarding the environment and preserving the welfare of future generations. Furthermore, the book delves into various sustainable development approaches, such as Gasification and Ash Melting, Anaerobic Digestion, and Composition. Additionally, it highlights the recent advancements in these techniques by scientists, which contribute to promoting sustainable solid waste management.

This book serves as a comprehensive introduction to quantum computing platforms, inspired by recent advancements in quantum technologies aimed at detecting and manipulating single quantum objects. Encompassing solid-state, atomic, and optical platforms, it delves into various aspects of quantum computing, including topological quantum computing. The content covers the fabrication, modeling, and numerical implementation of quantum circuits, such as Josephson junctions and qubits, along with hybrid nanostructures. Additionally, the book introduces quantum entanglement, a crucial concept for quantum communication and information processes. The well-compiled topics and concise presentation position the book as a primer for courses on quantum technologies.

This book provides a comprehensive, empirically grounded exploration of how Generative AI is reshaping the landscape of software development. It emphasizes the empirical evaluation of Generative AI tools in real-world scenarios, offering insights into their practical efficacy, limitations, and impact. By presenting case studies, surveys, and interviews from various software development contexts, the book offers a global perspective on the integration of Generative AI, highlighting how these advanced tools are adapted to and influence diverse cultural, organizational, and technological environments. This book is structured to provide a comprehensive understanding of Generative AI and its transformative impact on the field of software engineering. The book is divided into five parts, each focusing on different aspects of Generative AI in software development. As an introduction, Part 1 presents the fundamentals of Generative AI adoption. Part 2 is a collection of empirical studies and delves into the practical aspects of integrating Generative AI tools in software engineering, with a focus on patterns, methodologies, and comparative analyses. Next, Part 3 presents case studies that showcase the application and impact of Generative AI in various software development contexts. Part 4 then examines how Generative AI is reshaping software engineering processes, from collaboration and workflow to management and agile development. Finally, Part 5 looks towards the future, exploring emerging trends, future directions, and the role of education in the context of Generative AI. The book offers diverse perspectives as it compiles research and experiences from various countries and software development environments. It also offers non-technical discussions about Generative AI in management, teamwork, business and education. This way, it is intended for both researchers in software engineering and for professionals in industry who want to learn about the impactof Generative AI on software development.

This book introduces readers to big data analytics. It covers the background to and the concepts of big data, big data analytics, and cloud computing, along with the process of setting up, configuring, and getting familiar with the big data analytics working environments in the first two chapters. The third chapter provides comprehensive information on big data processing systems - from installing these systems to implementing real-world data applications, along with the necessary codes. The next chapter dives into the details of big data storage technologies, including their types, essentiality, durability, and availability, and reveals their differences in their properties. The fifth and sixth chapters guide the reader through understanding, configuring, and performing the monitoring and debugging of big data systems and present the available commercial and open-source tools for this purpose. Chapter seven gives information about a trending machine learning, Bayesian network: a probabilistic graphical model, by presenting a real-world probabilistic application to understand causal, complex, and hidden relationships for diagnosis and forecasting in a scalable manner for big data. Special sections throughout the eighth chapter present different case studies and applications to help the readers to develop their big data analytics skills using various big data analytics frameworks.The book will be of interest to business executives and IT managers as well as university students and their course leaders, in fact all those who want to get involved in the big data world.

In Pascal's God and the Fragments of the World, Martin Nemoianu offers a new interpretation of the thought of Blaise Pascal, drawn from the Pensées and beyond. The book takes Pascal's central theme to be the distinction - Infini rien - between the transcendent God and the created world, which, without God, would be nothing. Nemoianu identifies the distinction in Pascal, articulates it, and works through the difficulties attending the distinction's disclosure. He then considers the implications of the distinction for the nature of nature and the nature of the human being, culminating in the ideal of martyrdom. The book closes with treatment of a closely related theme: the relation between human freedom and divine grace, in the context of the vexed question of Pascal's Jansenism.

This book serves as an introduction to the growing field of quantum many-body transport in interacting nanojunctions. It delves into a theoretical approach based on a general density-matrix formulation for open quantum systems. In the book, relevant transport observables, like the current or its higher order cumulants, are obtained by evaluating quantum statistical averages. This approach requires the knowledge of the reduced density matrix of the interacting nanosystems.The formulation for addressing transport problems, based on the evolution of the reduced density operator in Liouville space, is highly versatile. It enables the treatment of charge and spin transport across various realistic nanostructures. Topics encompass standard Coulomb blockade, cotunneling phenomena in quantum dots, vibrational and Franck-Condon effects in molecular junctions, as well as many-body interference observed in double quantum dots or carbon nanotubes.Derived from lectures tailored for graduate and advanced students at the University of Regensburg in Germany, this book is enriched with exercises and step-by-step derivations.

The technological boom has provided consumers with endless choices, removing the hindrance of time and place. Understanding the dynamic and competitive business environment, marketers know they need to reinforce indestructible customer experience with the support of algorithmic configurations to minimize human intrusion. World Wide Web (WWW) and online marketing have changed the way of conducting business; with artificial intelligence (AI), business houses can furnish a customized experience to fulfil the perceived expectation of the customer.Artificial intelligence bridges the gap between business and prospective clients, provides enormous amounts of information, prompts grievance redressal system, and further complements the client's preference. The opportunities online marketing offers with the blend of artificial intelligence tools like chatbots, recommenders, virtual assistance, and interactive voice recognition create improved brand awareness, better customer relationshipmarketing, and personalized product modification.Explainable AI provides the subsequent arena of human-machine collaboration, which will complement and support marketers and people so that they can make better, faster, and more accurate decisions. According to PwC's report on Explainable AI(XAI), AI will have $15.7 trillion of opportunity by 2030. However, as AI tools become more advanced, more computations are done in a "black box" that humans can hardly comprehend. But the rise of AI in business for actionable insights also poses the following questions: How can marketers know and trust the reasoning behind why an AI system is making recommendations for action? What are the root causes and steering factors? Thus, transparency, trust, and a good understanding of expected business outcomes are increasingly demanded.

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of formalization to ensure safety and security of software products. Acknowledging the fact that no single technique will ever be able to fit all software verification needs, the Frama-C platform features a wide set of plug-ins that can be used or combined for solving specific verification tasks. This guidebook presents a large panorama of basic usages, research results, and concrete applications of Frama-C since the very first open-source release of the platform in 2008. It covers the ACSL specification language, core verification plug-ins, advanced analyses and their combinations, key ingredients for developing new plug-ins, as well as successful industrial case studies in which Frama-C has helped engineers verify crucial safety or security properties. Topics and features: * Gentle, example-based introduction to software specification and verification * Wide panorama of state-of-the-art specification and analysis techniques * Step-by-step guide to develop your own, tailor-made analysis on top of the platform* Inspiring success stories of Frama-C deployment on industrial code* More than 15 years of R&D on analysis and verification of C codeThis book is firmly rooted on the practice of software analysis, with numerous examples, exercises and application guidelines. As such, it is particularly well suited for software verification practitioners wishing to deploy verification on their code, as well as for undergraduate students with little or no experience in code analysis techniques. More advanced sections on the theoretical underpinnings of the analyzers will be of interest for graduate students and researchers.Nikolai Kosmatov is a Senior Researcher at Thales Research & Technology, France. Virgile Prevosto is a Senior Researcher and Julien Signoles is a Research Director, both at Université Paris-Saclay, CEA, List, France.

This book constitutes the proceedings of the 16th Latin American Symposium on Theoretical Informatics, LATIN 2042, which took place in Puerto Varas, Chile, in March 2024. The 44 papers presented in this volume were carefully reviewed and selected from 93 submissions. They were organized in topical sections as follows: Part I: Algorithms and Data Structures; Approximation and Online Algorithms; Complexity Theory; Part II: Combinatorics and Graph Theory; Parameterized Algorithms; Automata Theory and Formal Languages; and Game Theory and Fairness.