springer apr 2024 (Mehr als 1.400 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -This essential is intended as a compact reference for issues and aspects related to the innovative training technology of whole-body electromyostimulation (WB-EMS). In addition to background and information on WB-EMS application, in which the authors pay particular attention to safe and effective use, there is a current overview of research results summarizing the effects of WB-EMS on various target outcomes. Finally, a characterization of the market situation, current trends and a forecast of developments in the field of WB-EMS is presented.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 64 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Why do you lean in a bend Why does a sprinter slow down before the finish line Why do golf balls have dimples Why do you swim better slightly underwater Why, on a bike, the faster you go, the more stable you are Why shouldn¿t you rely on doping tests too much Is there a law of evolution of records These are some of the 40 questions that Amandine Aftalion answers in this book using simple physics and mathematics, and some humor. Not only will it allow you to improve yourself in sports, but it will also but it will also give way to understanding how champions do.An easy book to read and the must to have if you are a sports addict or if you watch sports on TV and ask yourself ¿why ¿.Amandine Aftalion is a French mathematician. She is a CNRS senior scientist and graduated from École normale supérieure in Paris. She has given talks all over the world, as a specialist of models coming from low temperature physics. She has written a book on vortices in Bose¿Einstein condensates. More recently, she has used energy minimization to study an optimal control problem coming from human energy: optimizing running. She has written papers on sports aimed at coaches. Part of her latest results have inspired the first chapter of this book.She is the producer and director of a French YouTube channel for the popularization of mathematics, Videodimath, elected as one of the 5 best French YouTube channels for popular mathematics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Artificial intelligence is a key technology with great expectations in science, industry, and everyday life. This book discusses both the perspectives and the limitations of this technology. This concerns the practical, theoretical, and conceptual challenges that AI has to face. In an early phase of symbolic AI, AI focused on formal programs (e.g., expert systems), in which rule-based knowledge was processed with the help of symbolic logic. Today, AI is dominated by statistics-based machine learning methods and Big Data. While this sub-symbolic AI is extremely successful (e.g., chatbots like ChatGPT), it is often not transparent. The book argues for explainable and reliable AI, in which the logical and mathematical foundations of AI-algorithms become understandable and verifiable.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This textbook concentrates on processes, activities and results related to software architectures. It describes the separation of architecture artefacts corresponding to their nature, their logical or their modeling level on one hand and at the same time emphasizes their integration based on their mutual relations. Design or development processes demand for integration, as different artifacts must be elaborated, which are mutually dependent and need to be in a consistent form.The book is structured in four parts. The introductory Part I deals with the relevance of architectures, the central role of the design subprocess both in development or maintenance, and the importance of the decisions and artefacts in the overall result. Another topic is the spectrum of views an architecture language has to offer, and that there are different architectures to be regarded, from abstract and static to detailed, technical, and specific. Part II then discusses ¿important topics¿ onthe architecture level. It deals with adaptability especially for embedded systems, with integrating styles/ pattern notations, with different reuse forms and how to find them, with the role of architectures for integrating different existing systems, and with reverse and reengineering of legacy systems. Next, Part III covers architecture modeling and its relation to surrounding activities, as well as architectures to surrounding other results. The single chapters are on transformation between requirements and architectures, architectures and programming, architectures and project management and organization, as well as architectures and their relations to quality assurance or documentation. Eventually, Part IV summarizes the main messages and presents open problems, both for every single chapter and across chapters.Every chapter focuses on a specific problem it addresses, a question it answers, the attention it demands, a message it conveys, and further open questions it raises. The chapters are mostly independent, which implies a certain redundancy, yet it allows lecturers (and their students) to either use the book as the basis of teaching software architecture or design, or to just pick those aspects that need special attention in a more advanced course.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This non-fiction book provides information about the latest findings on research and therapy of nerve regeneration with catchy drawings and in understandable words. Why do nerves in the extremities regenerate, but the axons in the spinal cord do not Can transplanted stem cells or biopolymers restore regeneration Are bioprostheses able to functionally replace amputated arms or legs Neuroscientist Lars Klimaschewski answers these questions and reports on exciting findings from anatomy, cell and molecular biology and neurotechnology. Find out, among other things, how a brain-computer interface processes signals from the brain in order to control the arm or leg muscles again via electrodes after a paraplegia.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Buch. Zustand: Neu. Neuware -This open access book offers a comprehensive overview of available techniques and approaches to explore large social media corpora, using as an illustrative case study the Coronavirus Twitter corpus. First, the author describes in detail a number of methods, strategies, and tools that can be used to access, manage, and explore large Twitter/X corpora, including both user-friendly applications and more advanced methods that involve the use of data management skills and custom programming scripts. He goes on to show how these tools and methods are applied to explore one of the largest Twitter datasets on the COVID-19 pandemic publicly released, covering the two years when the pandemic had the strongest impact on society. Specifically, keyword extraction, topic modelling, sentiment analysis, and hashtag analysis methods are described, contrasted, and applied to extract information from the Coronavirus Twitter Corpus. The book will be of interest to students and researchers in fields that make use of big data to address societal and linguistic concerns, including corpus linguistics, sociology, psychology, and economics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Buch. Zustand: Neu. Neuware -The book presents the scientific history of the early days of fuel cells (1838 to 1845). The fuel cell effect was discovered by the Swiss scientist Christian Friedrich Schoenbein. while the English lawyer and scientist William Robert Grove perfected the idea into a working power source. But around 1870 Siemens invented the power generator and electricity was produced by rotating shafts of water wheels, engines and turbines. The book presents for the first time the complete communication between C. F. Schoenbein and R. W. Grove (1838 to 1868). Also, the original analysis based on the physical understanding of 1850 has also been revised and corrected. The updated fuel cell analysis leads to full agreement between theory and experiment.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The second edition offers an essential update to the foundational first edition, The Disabled Body in Contemporary Art. Featuring updated chapters and case studies, this second edition will not only expand on the first edition but will bring a new focus to contemporary disabled artists and their embodied, multimedia work.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Between 1983 and 1998, Spacelab provided NASA with a vital short-term laboratory in space. Across more than a dozen missions, Spacelab¿s pressurized research modules and science pallets supported hundreds of experiments from the life to microgravity sciences, from Earth science to astrophysics and from materials processing to fluid dynamics.For the first time, The Spacelab Story sheds light on all the Spacelab missions that served as pathfinders for the eventual International Space Station, along with all the flights that never came to be. The book chronicles over two decades of service and international partnership with Germany, Japan, Canada, Russia, the member-states of the European Space Agency and others.The very same international co-operation that led to Spacelab¿s genesis also conspired to create its end. Science writer Ben Evans chronicles this tumultuous history, showing how, as tensions between the superpowers cooled in the 1990s and the Shuttle cameto be increasingly used to fly joint missions to Mir, many Spacelab missions were delayed and eventually cancelled.This book is a must-read for anybody interested in the science conducted aboard the Shuttle, the experimental precursors of the ISS, and the international politics surrounding NASA¿s pioneering space endeavors.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book presents fundamental concepts and technologies to tackle interoperability between information systems. It details interoperability at the data, service, and process level, and combines theoretical foundations with hands-on presentation of technologies to enable the development of sound and practical integration.Chapter 1 details general interoperability challenges and describes the structure of the book. To start with, Chapter 2 presents technologies for the exchange of data between two selected and highly relevant data formats, i.e., relational databases and XML. Next, Chapter 3 explains concepts for schema matching and mapping and data integration as well as the technological basis for implementing them based on query and transformation languages like XPath and XSLT. Chapter 4 then turns to service interoperability and explains two related technologies ¿ REST and GraphQL ¿ in detail. In Chapter 5, fundamentals for designing process orchestrations at the conceptual level are presented, focusing on how to model process orchestrations and how to verify their correctness and soundness, and showing BPMN as the de facto modeling standard. Chapter 6 then details the concepts and languages for the implementation of process orchestrations, including the presentation of execution languages for process orchestrations that are equipped with a formal semantics, e.g., Workflow Nets, the Refined Process Structure Tree, and CPEE Trees. Subsequently, Chapter 7 focuses on the growing number of distributed, loosely coupled, and often non-interoperable applications through the concepts of enterprise application integration and explains these by an implementation in CPN Tools and by two case studies. Eventually, Chapter 8 is lifting the orchestration and integration concepts and technologies to the choreography level by dealing with the interoperability between different process orchestrations. Chapter 9 concludes the book by featuring success factors for interoperability projects. It also provides a range of open research directions for interoperability such as compliance, sensor fusion, and blockchain technologies.The book is mainly intended as a textbook to be used for developing and teaching courses on interoperability and integration. To this end, it is accompanied by a Web site with additional teaching materials. It also spans a bridge from researchers to graduate students and practitioners by providing a deep understanding on practical interoperability challenges and solutions. The focus here is put on de facto standards and open-source systems and tools to enable interoperability solutions at low cost.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The struggle over Israel/Palestine is not just another contest by competing nationalisms or an instance of geopolitical competition. It is also about control of sacred territory that involves local Jews, Muslims, and Christians as well as worldwide faith communities, each with their own interests and stake in what transpires.This balanced introduction to a complex subject presents the multiple positions within the great monotheistic traditions. It demonstrates that the secular discourses in the public square concerning ownership privileges, historical precedence, political rights, and justice that have allegedly replaced religious claims actually coexist with, and often complement, the theological. It explores the century-long tangle of secular and theological debates about Israel¿s legitimacy. Whether readers support a Jewish state or are resolutely opposed, the serious and substantial scholarship of this well-reasoned and innovative book will contribute to a nuanced and better-informed understanding of this persistent issue that has entered its second century on the international agenda.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents fundamental concepts and technologies to tackle interoperability between information systems. It details interoperability at the data, service, and process level, and combines theoretical foundations with hands-on presentation of technologies to enable the development of sound and practical integration.Chapter 1 details general interoperability challenges and describes the structure of the book. To start with, Chapter 2 presents technologies for the exchange of data between two selected and highly relevant data formats, i.e., relational databases and XML. Next, Chapter 3 explains concepts for schema matching and mapping and data integration as well as the technological basis for implementing them based on query and transformation languages like XPath and XSLT. Chapter 4 then turns to service interoperability and explains two related technologies - REST and GraphQL - in detail. In Chapter 5, fundamentals for designing process orchestrations at the conceptual level are presented, focusing on how to model process orchestrations and how to verify their correctness and soundness, and showing BPMN as the de facto modeling standard. Chapter 6 then details the concepts and languages for the implementation of process orchestrations, including the presentation of execution languages for process orchestrations that are equipped with a formal semantics, e.g., Workflow Nets, the Refined Process Structure Tree, and CPEE Trees. Subsequently, Chapter 7 focuses on the growing number of distributed, loosely coupled, and often non-interoperable applications through the concepts of enterprise application integration and explains these by an implementation in CPN Tools and by two case studies. Eventually, Chapter 8 is lifting the orchestration and integration concepts and technologies to the choreography level by dealing with the interoperability between different process orchestrations. Chapter 9 concludes the book by featuring success factors for interoperability projects. It also provides a range of open research directions for interoperability such as compliance, sensor fusion, and blockchain technologies.The book is mainly intended as a textbook to be used for developing and teaching courses on interoperability and integration. To this end, it is accompanied by a Web site with additional teaching materials. It also spans a bridge from researchers to graduate students and practitioners by providing a deep understanding on practical interoperability challenges and solutions. The focus here is put on de facto standards and open-source systems and tools to enable interoperability solutions at low cost.

Buch. Zustand: Neu. Neuware -This book provides an insider¿s overview of the emerging Chinese biopharma sector, its dynamics and trends, first bust and boom cycle, long-term perspectives, and how as a foreign company or investor to tap into this. China has gone from a country with no innovation in drug discovery, to a country which starts to out-license its biopharma technology to the rest of the world. The Chinese biopharma sector is only a decade old, but it already has become a new driver of growth and value. The book takes a closer look at what drives Chinese innovation in the biopharma sector, how to deal with this innovation, and what opportunities and challenges this provides for foreign companies. The book also takes a deep dive into its first biopharma boom and bust cycle, and what it means for the sector. It also explains what deals Chinese biopharma companies and investors are looking for, what works and what doesn¿t, and how as a foreign company can tap into the world¿s second largest healthcare market.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Buch. Zustand: Neu. Neuware -This Pivot explores the cultural economy of comedy in the UK, looking specifically at the links between industry practices and structures and who produces comedy in the UK. The research is based on interviews with comedians in the East Midlands; significantly, this demographic has been historically under-researched in studies of precarity, where the East Midlands is typically overlooked in discussions of arts funding and access in favour of a more simplistic north/south divide narrative. Similarly, whilst there has been increased discussion of the precarity of the creative and cultural industries, as well as media articles on the difficulty of breaking into comedy as a member of a marginalised group, there has been relatively little academic research to support this. While Friedman¿s work in particular has been helpful for understanding the link between comedy producers, class and taste making, there has been less attention paid to the sociologies of work within comedy. This book fillsthese gaps in research by exploring the experiences of comedians in the East Midlands, contributing to the rich body of scholarship on inequality in the cultural industries and promoting a better understanding of the impact of structural inequalities and precarity on access to the cultural industries.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 108 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book brings together a collective of Women Leaders in Healthcare to share their real-life leadership journey in the Asian continent, from a personal angle (heart) and grounded on science (data). They are connected by a strong passion to help improve patient lives and advance women¿s leadership in this dynamic, emerging region of Asia, still swaying between tradition and modernity. This is not an academic book but a compendium of inspirational stories meant to provide authentic and pragmatic guidance for women who want to advance their careers in healthcare in Asia, to reduce gender inequality and give a new meaning to the leadership of tomorrow, truly inclusive and diverse.Beyond gender, aspiring leaders can find inspiration from this compendium to succeed in the Asia context, from Japan to India, South East Asia and the Middle East. Although the challenges shared were experienced by the women-authors from diverse backgrounds and leadership, women and men alike can relate to many of the topics covered in the book. The resulting reflections can help the readers more efficiently climb the corporate ladder and become better leaders, to shape a more equitable future. This book provides insights for organizations in their diversity, equity and inclusion endeavors, to develop policies that foster talents in Asia and provide better support to women in leadership positions. It is also a useful read for students and researchers of leadership and gender studies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In May 1917, William and Elizebeth Friedman were asked by the U.S. Army to begin training officers in cryptanalysis and to decrypt intercepted German diplomatic and military communications. In June 1917, Herbert Yardley convinced the new head of the Army¿s Military Intelligence Division to create a code and cipher section for the Army with himself as its head.These two seminal events were the beginning of modern American cryptology, the growth of which culminated 35 years later with the creation of the National Security Agency. Each running their own cryptologic agencies in the 1920s, the Friedman-Yardley relationship was shattered after Yardley published a tell-all book about his time in military intelligence. Yet in the end, the work they all started in 1917 led directly to the modern American intelligence community. As they got older, they became increasingly irrelevant in the burgeoning American cryptologic fraternity.Topics and features:\* Examines the lives of three remarkable and pioneering cryptologists\* Offers fascinating insights into spies, codes and ciphers, rumrunners, poker, and military history\* Sheds new light on interesting parts of the cryptologists¿ careers¿especially Elizebeth Friedman, whose work during World War II has just begun to be explored\* Recounts several good stories, i.e., What if the Friedmans had gone to work for Herbert Yardley in his new Cipher Bureau in 1919 What if Yardley had moved back to Washington to work for William Friedman a decade later This enjoyable book has wide appeal for: general readers interested in the evolution of American cryptology, American historians (particularly of World War I, the inter-war period, and World War II signals intelligence), and historians of¿and general readers interested in¿American military intelligence. It also can be used as an auxiliary text or recommended reading in introductory or survey courses in history or on the related topics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Engineers designing technologies and systems produce problems when they do not account for existing biases in society. Designers have a mandate to make technologies efficiently, economically, and ethically. This textbook is written for both students and practicing designers, engineers, researchers, or artists who want to create more ethical designs; it aims to help readers understand how race is implicated in technology design. Learning from historical and contemporary case studies of engineering and architecture projects will help readers see clearly the power of design decisions to either perpetuate or contest racism. Chapter exercises will change engineers¿ mental models to see the bias inherent to existing technological design. By incorporating the knowledge and insights of community-based experts into design projects, readers will begin to practice anti-racist leadership and counter-expertise.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Archaeological and anthropological investigations of depictions seldom extend beyond a single culture or a single geographical location, although there is a powerful factor common to all depictions, the factor of human perception. In this volume an attempt is made to show how this factor affects both creation and recognition of depictions, how, in common with everyday vision of the environment, typical contours are derived and used, not merely to depict individually readily recognisable models, but also how by concatenation they lead to such a splendid figure as Australian Kakadu crocodiles, or by distortion to creation of illusions of pictorial depth, such as is evoked by Leonardo da Vinci¿s perspective and by inverted (Byzantine) perspective thought by some to be an aberration. Bartel¿s studies show that pictorial depth is often achieved to the artist¿s, and many a viewer¿s, but not to geometer¿s satisfaction by partial distortion, and Chinese masterpieces embody, side by side, ¿normal¿ and inverted perspective.The visual process is universally uniform (if it were not, one would not be able to recognise an Altamira bison as a bison) and its foibles can be freely exploited.Its best known exploiter is probably Cezanne. His pictures are admired by many and puzzle many. Strzemi¿ski postulated that they compound distinct lines of sight, thus endorsing primacy of central vision, a concept thought by Gombrich to be of greater import to geometers than to artists.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.

Buch. Zustand: Neu. Neuware -The book reviews the algebra, trigonometry, and basic calculus students need to be successful in solving problems. Next, a review of kinematics and Newton¿s laws are discussed, and numerous examples are solved. Mechanisms include the slider crank, offset slider crank, gears and gear trains, belts and chains, and cams. A graphical and analytical approach is taken when covering slider crank mechanisms. The book uses vectors and Kennedy's theorem to solve a variety of included examples. Gears and gear trains as well as belts and chains are discussed. Finally, cams using graphical and analytical techniques are introduced. The concluding chapter gives multiple projects used in the class to capture the lectures and computer modeling using Excel and MATLAB.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Buch. Zustand: Neu. Neuware -This Second Edition is a comprehensive update, integrating the latest research and theoretical advancements in the field of de Sitter (dS) group representations. Building on the success of the first edition, the book offers a more in-depth analysis of mathematical aspects, conceptual foundations, and practical implications related to the dS group, including its Lie manifold, Lie algebra, and co-adjoint orbits, viewing the latter as potential classical elementary systems within the context of dS spacetime. Additionally, the examination of unitary irreducible representations (UIRs) sheds light on the potential existence of quantum elementary systems within the dS spacetime framework. The authors emphasize consistency with Wigner's approach to elementary systems, incorporate Wigner's principles and exploring projective UIRs of the dS group, and provide a deeper insight into the nature of dS elementary systems. Particular attention is paid to: the ¿smooth¿ transition from classical to quantum theory, the physical content under vanishing curvature, and the thermal interpretation from a quantum perspective. The book also focuses on the physical interpretation of elementary systems in curved spacetimes, recognizing the limitations of traditional concepts derived from flat Minkowski spacetime and the Poincaré group.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.

Buch. Zustand: Neu. Neuware -The book tells the story of the coal gasification technology from its early days 230 years ago to the present. Before the end of WWII, gasification had been extensively used to produce both fuel gas and gaseous feedstock from coal. But things have changed when natural gas became readily available, and coal gasification received little attention, especially in recent years when the trend is to move away from fossil energy.Compared to conventional coal combustion, gasification-based processes for power production typically result in much lower emissions of pollutants. So, coal gasification technology became relevant again during the transition of energy production to cleaner sources, in an effort to fight climate change. Taking another look at gasification technology to better understand its potential benefits including carbon capture and management and use the process, seems to make sense during the challenging time of the transition of energy production. Professionalsand policy makers in the energy field will benefit from this writing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Buch. Zustand: Neu. Neuware -Being a civil engineer is a fulfilling profession. Civil engineers design sustainable infrastructure. We build houses, roads, bridges, tunnels, cultural centres, towers and much more. We often bring all our engineering skills to bear to achieve solid solutions. And often even more, which lies beyond the technical art of engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Von Hippel-Lindau (VHL) disease is an inherited disorder characterized by the abnormal growth of both benign and cancerous tumors and cysts in many parts of the body. Considering the number of manifestations of the VHL disease, screening and management is complex and requires a multidisciplinary effort as well as an understanding of the interplay between all the manifestations.This book is one of the first to provide fundamental knowledge about VHL and the know-how on the various manifestations of this complex syndrome. Various aspects of VHL are reflected in this book's table of contents, written by the leading experts in each field discussed.Comprehensive and easy-to-use, this book offers a detailed and comprehensive analysis of the manifestations and management of patients with VHL and serves as the definitive book on the management of patients with VHL for surgical oncologists, endocrinologists, urologists, neurosurgeons, ophthalmologist, radiologists, and all primary care physicians.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.