National Union Catalog PDF Download

Author:
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 1032

View

Book Description
Includes entries for maps and atlases.

Author: Heri Nurdiyanto
Publisher: Springer Nature
ISBN: 9464630485
Category : Medical
Languages : en
Pages : 479

View

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.

Author: Kraus-Thomson Organization
Publisher:
ISBN:
Category : Congresses and conventions
Languages : en
Pages : 128

View

Book Description

Author: Vijay Nath
Publisher: Springer
ISBN: 9811082340
Category : Technology & Engineering
Languages : en
Pages : 834

View

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.

Author: BOULANGER Jean-Louis
Publisher: Lavoisier
ISBN: 2746288109
Category : B method (Computer science)
Languages : en
Pages : 434

View

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.

Author: Vijay Nath
Publisher: Springer Nature
ISBN: 981155546X
Category : Technology & Engineering
Languages : en
Pages : 1078

View

Book Description
This book presents high-quality papers from the Fourth International Conference on Microelectronics, Computing & Communication Systems (MCCS 2019). It discusses the latest technological trends and advances in MEMS and nanoelectronics, wireless communication, 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 papers based on original theoretical, practical and experimental simulations, development, applications, measurements and testing. The applications and solutions discussed here provide excellent reference material for future product development.

Author: International Joint Conferences on Artificial Intelligence
Publisher: Elsevier
ISBN: 9780934613026
Category : Artificial Intelligence
Languages : en
Pages : 1368

View

Book Description

Author: Mernik, Marjan
Publisher: IGI Global
ISBN: 1466620935
Category : Computers
Languages : en
Pages : 678

View

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"--

Author: National Library of Medicine (U.S.)
Publisher:
ISBN:
Category : Medicine
Languages : en
Pages : 988

View

Book Description

Author: National Library of Medicine (U.S.)
Publisher:
ISBN:
Category : Medicine
Languages : en
Pages : 910

View

Book Description