Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Dependable Software Systems Engineering
  • Language: en
  • Pages: 256

Dependable Software Systems Engineering

  • Type: Book
  • -
  • Published: 2017-10-24
  • -
  • Publisher: IOS Press

Cyber-physical systems closely combine and coordinate subsystems consisting of both computational and physical elements. Such systems have become indispensable in the fields of aerospace, automotive and the automation industries, as well as in consumer appliances. Safety, security and reliability are all essential elements of the trustworthiness of these modern cyber-physical systems. Protecting the data within such systems from external attack (security) and protecting the environment from any potential malfunction or misuse of these systems (safety) are subjects traditionally considered separately, but a closer look reveals that techniques for the construction and analysis of the software-...

Duplex sonography of the brain-supplying arteries
  • Language: en
  • Pages: 311

Duplex sonography of the brain-supplying arteries

Als schnelles Diagnoseverfahren ist Ultraschall mittlerweile weit verbreitet. Der Band liefert einen Überblick über das gesamte Gebiet der sonographischen Gefäßdiagnostik an den hirnversorgenden Arterien – einschließlich der klinischen Aspekte. Einstiegslektüre und Nachschlagewerk zugleich, bietet der Band leichte Orientierung durch einheitliche Gliederung in Techniken, Krankheitsbilder, Befunde und Fehlerquellen. Fallbeispiele, Lern- und Arbeitsmittel helfen, die Grundlagen zu verstehen und Befunde zu interpretieren. Mit 300 neuen Abbildungen.

Platelets in Thrombotic and Non-Thrombotic Disorders
  • Language: en
  • Pages: 1402

Platelets in Thrombotic and Non-Thrombotic Disorders

  • Type: Book
  • -
  • Published: 2017-03-08
  • -
  • Publisher: Springer

This book reviews current science and applications in fields including thrombosis and hemostasis, signal transduction, and non-thrombotic conditions such as inflammation, allergy and tumor metastasis. It is a detailed, up-to-date, highly referenced text for clinical scientists and physicians, including recent developments in this rapidly expanding field. More than a scientific resource, this is also an authoritative reference and guide to the diagnosis.

Focus on Extrapyramidal Dysfunction
  • Language: en
  • Pages: 176

Focus on Extrapyramidal Dysfunction

Experts in the fields of neurology, neuroscience, neurobiology and psychiatry review and present novel findings of basic and clinical research on extrapyramidal disorders and allied conditions. New insights on the nature of extrapyramidal dysfunction and its therapy in the fields of neurology, psychiatry and neuroscience are presented.

Cumulated Index Medicus
  • Language: en
  • Pages: 1646

Cumulated Index Medicus

  • Type: Book
  • -
  • Published: 1998
  • -
  • Publisher: Unknown

None

Transcranial Sonography in Movement Disorders
  • Language: en
  • Pages: 347

Transcranial Sonography in Movement Disorders

Transcranial Sonography in Movement Disorders

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
  • Language: en
  • Pages: 345

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics. The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages.

ICAME 2003
  • Language: en
  • Pages: 618

ICAME 2003

Researchers and graduate students interested in the Mössbauer Effect and its Application will find this volume of the Hyperfine Interactions Journal indispensable. The volume presents the most recent developments in the methodology of Mössbauer spectroscopy; it covers the progress in the understanding of the more recent fields of nanoparticles, nanowires, multilayers and superlattices, surfaces and interfaces. In addition, the traditional areas of applications in physics, chemistry, biology, medicine, earth science, mineralogy, archaeology, material science, thin films, metallurgy and industrial applications like corrosion and catalysis are well presented. The contributions include theoretical treatments using ab initio calculations, molecular simulations as well as experimental results utilizing techniques like transmission spectroscopy, CEMS and nuclear resonance scattering.

Handbook on Neurovascular Ultrasound
  • Language: en
  • Pages: 285

Handbook on Neurovascular Ultrasound

Neurovascular ultrasound increases the reliability of assessing occlusive cerebrovascular disease, including the detection of instable carotid plaques, the delineation of cerebral perfusion and therapeutic options such as ultrasound-enhanced sonothrombolysis. Written by international experts, this publication provides the reader with the present knowledge and future research directions of diagnostic and therapeutic neurovascular ultrasound. The first chapters deal with physical and technical principles of ultrasound, arterial wall imaging, endothelial function testing and modern assessment of atherosclerotic obstruction of the carotid and vertebro-basilar systems. Subsequently, typical ultra...

Clinical Handbook of Insomnia
  • Language: en
  • Pages: 292

Clinical Handbook of Insomnia

  • Type: Book
  • -
  • Published: 2016-10-11
  • -
  • Publisher: Springer

Expanding on the critical contributions of previous editions, this updated and comprehensive resource covers the latest diagnostic criteria of insomnia. The book is thematically divided into two parts. The first section consists of chapters on nomenclature, epidemiology, pathophysiology, diagnosis and differential diagnosis, complications and prognosis and treatment both pharmacological and behavioral. The second features chapters on insomnia in special populations, including ones on children and adolescents, cancer sufferers and survivors, in pregnancy, in menopausal women and in patients with neurological disorders and those with psychiatric illnesses. This third edition fills an important niche in the medical literature by addressing insomnia in its multiple forms, summarizes the findings published in different medical journals, and presents these to the practicing health care provider in an easily accessible format.