National Union Catalog


Book Description

Includes entries for maps and atlases.




Proceedings of the 3rd International Conference on Cardiovascular Diseases (ICCvD 2021)


Book Description

This is an open access book. The objectives of the conference are as follows. to update knowledge about the relevant program priorities for addressing CVD burden in developing countries to explore options for the comprehensive management of primary cardiovascular risk factors such as high blood pressure, high blood glucose level, smoking, and sedentary lifestyle to discuss the latest guidance and evidence on the early detection and management of CVD and its implementation in the context of developing countries, including the impact of the COVID-19 pandemic on the management of CVD to strengthen interprofessional collaboration in addressing challenges using multidisciplinary approaches for the prevention, treatment, and rehabilitation of patients with CVD to update knowledge about health technology science and innovation related to the management and rehabilitation of patients with CVD.







Proceeding of the Second International Conference on Microelectronics, Computing & Communication Systems (MCCS 2017)


Book Description

The volume presents high quality papers presented at the Second International Conference on Microelectronics, Computing & Communication Systems (MCCS 2017). The book discusses recent trends in technology and advancement in MEMS and nanoelectronics, wireless communications, optical communication, instrumentation, signal processing, image processing, bioengineering, green energy, hybrid vehicles, environmental science, weather forecasting, cloud computing, renewable energy, RFID, CMOS sensors, actuators, transducers, telemetry systems, embedded systems, and sensor network applications. It includes original papers based on original theoretical, practical, experimental, simulations, development, application, measurement, and testing. The applications and solutions discussed in the book will serve as a good reference material for future works.




Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information


Book Description

La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.




Formal and Practical Aspects of Domain-Specific Languages: Recent Developments


Book Description

"This book presents current research on all aspects of domain-specific language for scholars and practitioners in the software engineering fields, providing new results and answers to open problems in DSL research"--













Proceedings of the Forty-eighth Pugwash Conference on Science and World Affairs, Jurica, Mexico, 29 September-4 October 1998


Book Description

In this book, scientists who are pre-eminent in their fields focus on the crucial role of science in the transition away from a culture of war towards the construction of peace based on a capacity to anticipate and prevent destructive conflicts. The subject matter, wide-ranging and of great concern to people everywhere, includes the progress and prospects for a nuclear-weapon-free world; non-nuclear threats to peace and security; the building of legitimate world institutions; conflict resolution and the construction of peace; the local and global environmental dimensions of peace; the health hazards of nuclear chemical and biological weapons; and the interactions between health problems and poverty. Contents: Chiapas: Politics or War (R Benitez-Manaut); Nuclear Disarmament: Is This as Good as It Gets? (M M Bosch); The Future of Nuclear Weaponry and our Civilization (F Calogero); Nuclear-Weapon-Free Zones and Non-Proliferation (O M Sukovic); Technology and the Prevention of Genocide (D Andersen & A Moden); Asian Financial Crisis and China (Z-Q Xie); Ethnic Identity and Border Disputes in the Balkans (N Behar); Water Security in Southern Africa (N Dippenaar); Poverty, Disease and War (J Avery); Poverty, Public Health and Peace: A Southern African Perspective (R A Mogotlane); and other papers. Readership: Graduate students in social sciences.