|
|
|
 Rasmus Fehrmann, Anders Riisager, Marco Haumann, "Supported Ionic Liquids: Fundamentals and Applications" English | 2013 | pages: 497 | ISBN: 3527324291, 352765481X | PDF | 20,0 mb This unique book gives a timely overview about the fundamentals and applications of supported ionic liquids in modern organic synthesis. It introduces the concept and synthesis of SILP materials and presents important applications in the field of catalysis (e.g. hydroformylation, hydrogenation, coupling reactions, fine chemical synthesis) as well as energy technology and gas separation. Written by pioneers in the field, this book is an invaluable reference book for organic chemists in academia or industry.  SIPRI Stockholm International Peace Research Institute, "Strategic Disarmament, Verification and National Security " English | ISBN: 0367511614 | 2020 | 190 pages | EPUB | 2 MB Originally published in 1977, the purpose of this book was to analyse the relationship between the security of two states mutually undergoing strategic disarmament at the time and the need for safeguarding their security by means of a verification system. The book thus studies some of the basic problems in the disarmament debate, issues that had been the subject of great political controversy.  Strange Code: Esoteric Languages That Make Programming Fun Again English | 2022 | ISBN: 1718502400 | 496 Pages | EPUB | 6 MB Strange Code starts with a dive into the underlying history of programming, covering the early computer-science concepts, like Turing machines and Turing completeness, that led to the languages we use today. It then explores the realm of "atypical" programming languages, introducing you to the out-of-the-box thinking that comes from these unusual approaches to coding.  Status and Future Challenges for Non-conventional Energy Sources Volume 1 by Sanket J. Joshi English | EPUB | 2022 | 336 Pages | ISBN : 9811645043 | 72 MB This book highlights recent advancements in such an important topic, through contribution from experts demonstrating different applications in 'day-to-day' life, both existing and newly emerging non-biological technologies, and thought provoking approaches from different parts of the world, potential future prospects associated with some frontier development in non-conventional energy sources. It covers different types of natural energy sources such as: Ocean, Tidal and Wave energy; Nuclear energy; Solar cells; Geothermal energy; Hydrogen Fuel; Photovoltaic modules; Gas hydrates; Hydrate-based Desalination Technology; and Hydrothermal Liquefaction of Kraft Lignin/ Lignocellulosic Biomass to Fuels and Chemicals. This book is a comprehensive and informative compilation for international readers, especially undergraduate and post graduate students and researchers.  Standards of Futures Research: Guidelines for Practice and Evaluation English | 2022 | ISBN: 365835805X | 238 Pages | PDF EPUB (True) | 1.32 MB Foresight, futures studies, but also technology assessment and trend research are characterized by a research perspective directed towards the future. These results in fundamental peculiarities have to be taken into account in the conception of studies and in practical research work. The contributions to this anthology offer guidance for scientists and practitioners and describe the criteria and standards by which the quality of results and processes in futures studies can be assessed.
 Marco Montali, "Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach" English | 2010 | pages: 433 | ISBN: 364214537X | PDF | 6,6 mb Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics. In this book, Montali answers fundamental questions on open and declarative modeling abstractions via the integration and extension of quite diverse approaches into a computational logic-based comprehensive framework. This framework allows non IT experts to graphically specify interaction models that are then automatically transformed into a corresponding formal representation and a set of fully automated sound and complete verification facilities. The book constitutes a revised and extended version of the author's PhD thesis, which was honored with the 2009 "Marco Cadoli" prize, awarded by the Italian Association for Logic Programming for the most outstanding thesis focusing on computational logic, discussed between the years 2007 and 2009.  Julie A. Carlson, "Speaking about Torture" English | ISBN: 0823242242 | 2012 | 384 pages | EPUB | 2 MB This collection of essays is the first book to take up the urgent issue of torture from the array of approaches offered by the arts and humanities. In the post-9/11 era, where we are once again compelled to entertain debates about the legality of torture, this volume speaks about the practice in an effort to challenge the surprisingly widespread acceptance of state-sanctioned torture among Americans, including academics and the media-entertainment complex. Speaking about Torture also claims that the concepts and techniques practiced in the humanities have a special contribution to make to this debate, going beyond what is usually deemed a matter of policy for experts in government and the social sciences. It contends that the way one speaks about torture―including that one speaks about it―is key to comprehending, legislating, and eradicating torture. That is, we cannot discuss torture without taking into account the assaults on truth, memory, subjectivity, and language that the humanities theorize and that the experience of torture perpetuates. Such accounts are crucial to framing the silencing and demonizing that accompany the practice and representation of torture.  Marlies Hesselman, "Socio-Economic Human Rights in Essential Public Services Provision " English | ISBN: 1138669652 | 2016 | 346 pages | PDF | 2 MB There is a clear overlap between securing socio-economic human rights for all persons and arranging adequate access to essential public services across society. Both are necessary to realise thriving, inclusive societies, with adequate living standards for all, based on human dignity. This edited volume brings together the two topics for the first time. In particular, it identifies the common challenges for essential public services provision and socio-economic human rights realisation, and it explores how socio-economic rights law can be harnessed to reinforce better access to services. An important aim of this book is to understand how international socio-economic human rights law and guideposts can be used and strengthened to improve access to services, and assess socio-economic legal and policy decisions.  Yu-Dong Zhang, "Smart Trends in Computing and Communications: Proceedings of SmartCom 2022 " English | ISBN: 9811699666 | 2023 | 827 pages | PDF | 26 MB This book gathers high-quality papers presented at the Sixth International Conference on Smart Trends in Computing and Communications (SmartCom 2022), organized by Global Knowledge Research Foundation (GR Foundation) in partnership with IFIP InterYIT during January 11-12, 2022. It covers the state of the art and emerging topics in information, computer communications, and effective strategies for their use in engineering and managerial applications. It also explores and discusses the latest technological advances in, and future directions for, information and knowledge computing and its applications.  Smart Energy Control Systems for Sustainable Buildings by John Littlewood English | PDF | 2017 | 281 Pages | ISBN : 3319520741 | 8.4 MB There is widespread interest in the way that smart energy control systems, such as assessment and monitoring techniques for low carbon, nearly-zero energy and net positive buildings can contribute to a Sustainable future, for current and future generations. |
: 