Book Description
Includes entries for maps and atlases.
Author :
Publisher :
Page : 1032 pages
File Size : 38,95 MB
Release : 1983
Category : Union catalogs
ISBN :
Includes entries for maps and atlases.
Author : Heri Nurdiyanto
Publisher : Springer Nature
Page : 479 pages
File Size : 34,80 MB
Release : 2023-02-10
Category : Medical
ISBN : 9464630485
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.
Author : Kraus-Thomson Organization
Publisher :
Page : 128 pages
File Size : 12,47 MB
Release : 1977
Category : Congresses and conventions
ISBN :
Author : Vijay Nath
Publisher : Springer
Page : 834 pages
File Size : 12,81 MB
Release : 2018-07-30
Category : Technology & Engineering
ISBN : 9811082340
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.
Author : BOULANGER Jean-Louis
Publisher : Lavoisier
Page : 434 pages
File Size : 22,79 MB
Release : 2013-04-01
Category : B method (Computer science)
ISBN : 2746288109
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.
Author : Mernik, Marjan
Publisher : IGI Global
Page : 678 pages
File Size : 19,90 MB
Release : 2012-09-30
Category : Computers
ISBN : 1466620935
"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"--
Author : International Joint Conferences on Artificial Intelligence
Publisher : Elsevier
Page : 1368 pages
File Size : 31,96 MB
Release : 1985
Category : Artificial Intelligence
ISBN : 9780934613026
Author : National Library of Medicine (U.S.)
Publisher :
Page : 988 pages
File Size : 38,65 MB
Release :
Category : Medicine
ISBN :
Author : National Library of Medicine (U.S.)
Publisher :
Page : 910 pages
File Size : 30,31 MB
Release : 1960
Category : Medicine
ISBN :
Author : Joseph Rotblat
Publisher : World Scientific
Page : 464 pages
File Size : 30,63 MB
Release : 2001
Category : Political Science
ISBN : 9789812810212
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.