You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation.
This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK, in April 2015, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 33 papers presented in this volume were carefully reviewed and selected from 113 submissions.
Vols. for 1963- include as pt. 2 of the Jan. issue: Medical subject headings.
This work the first of two contains papers presented at an international conference on the technology of rotating machinery, which specifically address transport phenomena in terms of turbine cooling heat transfer, rotating surfaces, curved ducts and rotating channels, multiphase flow and more.
WAFL is an international scientific conference on the assessment of animal welfare at farm or group level. Issues addressed during a WAFL conference can be: welfare criteria; welfare indicators and methods to analyse them; automation of measures; ways to deal with a large amount of data from various welfare measures in order to assess the overall welfare of animals; rationales underlying epidemiological studies and risk models; consultation processes; implementation in practice; communication of animal welfare assessment results; and other topics related to animal welfare assessment in practice.
This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.
"More women (47.6%) receive mental health services compared with men (34.8%). Women are twice as likely as men to develop major depressive disorder. Furthermore, 10%-15% of women experience depression during the perinatal period, which makes depression one of the most common complications of childbirth (Gaynes et al. 2005). These statistics illustrate that psychiatric disorders in women are common during the reproductive years and that the hormonal fluctuations associated with the reproductive life cycle contribute to the etiology of mental illness in women. Medical practitioners in all fields will encounter female patients with mental illness across the lifespan, particularly major depressi...
From fundamental principles to advanced subspecialty procedures, this text is the go-to reference on the technical, scientific, and clinical challenges professionals face. Features new chapters, new authors, meticulous updates, an increased international presence, and a new full-color design.