Formal Methods at the Crossroads. From Panacea to Foundational Support

The Future of Logistics

Art Education Beyond the Classroom

Isolation and Molecular Characterization of Circulating Tumor Cells

Evolution and Seismic Tools for Stellar Astrophysics

Vacuum Structure in Intense Fields

Evolutionary Ecology of Freshwater Animals

Maximal Myocardial Perfusion as a Measure of the Functional Significance of Coronary Artery Disease

Computational Auction Mechanisms for Restructured Power Industry Operation

Zytologie der Nasenschleimhaut

Software Engineering Techniques Applied to Agricultural Systems

The Limitations of Social Media Feminism

The Political Economy of Gender in the Twentieth-Century Caribbean

Paedophiles in Society

Securitization and Authoritarianism

Einkommensteuer-Durchfhrungsverordnung

Computer Insecurity

HCI International 2023 Late Breaking Posters

Pulmonary Function Tests in Clinical Practice

Model-Driven Engineering and Software Development

Frost Friends Forever (Diary of an Ice Princess #2)

A Psychology of User Experience

Digital Grid

Solving Software Challenges for Exascale

Mid-size Based on Peptides and Peptidomimetics

BioH2 & BioCH4 Through Anaerobic Digestion

The Economy of Ghana

100th Day of School Pack

Environmental Management in India: Waste to Wealth

Atherogenesis and Aging

Global Business Model Shift

Mapping and Spatial Modelling for Navigation

Perioperative Critical Care Cardiology

Parathyroid Gland Disorders

Untersuchungen des Bewegungsablaufes des Schueintrages bei Schtzenwebmaschinen und schtzenlosen W

Cell-Based Therapy for Degenerative Retinal Disease

Data Science and Security

Operation of Smart Homes

Feminism and Evolutionary Biology

Post-Keynesian Economic Theory

Inclusive Communities