You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
This new edition brings you up-to-date on the role of pharmaceutics and its future paradigms in the design of medicines. Contributions from over 30 international thought leaders cover the core disciplines of pharmaceutics and the impact of biotechnology, gene therapy, and cell therapy on current findings. Modern Pharmaceutics helps you stay current
Economic modernity is so closely associated with nationhood that it is impossible to imagine a modern state without an equally modern economy. Even so, most people would have difficulty defining a modern economy and its connection to nationhood. In Saving the Nation, Margherita Zanasi explores this connection by examining the first nation-building attempt in China after the fall of the empire in 1911. Challenging the assumption that nations are products of technological and socioeconomic forces, Zanasi argues that it was notions of what constituted a modern nation that led the Nationalist nation-builders to shape China’s institutions and economy. In their reform effort, they confronted several questions: What characterized a modern economy? What role would a modern economy play in the overall nation-building effort? And how could China pursue economic modernization while maintaining its distinctive identity? Zanasi expertly shows how these questions were negotiated and contested within the Nationalist Party. Silenced in the Mao years, these dilemmas are reemerging today as a new leadership once again redefines the economic foundation of the nation.
With over 100 illustrations, Volume 1 addresses the core disciplines of pharmaceutics (absorption, PK, excipients, tablet dosage forms, and packaging), and explores the challenges and paradigms of pharmaceutics.Key topics in Volume 1 include: principles of drug absorption, chemical kinetics, and drug stability pharmacokinetics the effect of rout
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.
Updated and expanded second edition covers all aspects of capsule technology, including history, standards, methods and equipment used in manufacture, filling, printing, weighing, cleaning and inspecting of both hard and soft capsules.
This book retells the history of Western industrialization, revealing possibilities unexplored in the nineteenth century, variants of which have come to transform present day economies. It shows that economic actors have historically been more aware of the great strategic choices they faced than standard theory credits them with being, and this surprising acuity allows them to imagine and put into practice solutions which current theories of industrial organization have scarcely anticipated. The book is therefore at one and the same time a contribution to a substantive revision of the history of mechanized production and a propaedeutic in a form of explanation that approximates the knowledge of the actor to the knowledge of the theorist. The volume groups essays presented by a multinational team of historians and social scientists drawing on intensive primary research on a wide range of firms, regions, sectors and national economies in Western Europe and the United States from the eighteenth century to the 1990s.
Data mining deals with the discovery of hidden data, patterns and rules in large databases. This text constitutes the proceedings of the Second International Conference on Data Mining and includes contributions from many experts in the area.