Computer Aided Verification: 30th International Conference, CAV 2018, Held as…

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and…

International students from Asia in Canadian universities :institutional chal…

This book explores how the recruitment and retention of Asian international students in Canadian universities intersects with other institutional priorities. Responding to the growing need for new insights and perspectives on the institutional mechanisms adopted by Canadian universities to support Asian international students in their academic and social integration to university life, it cruci…

Circular and transformative economy :advances towards sustainable socio-econo…

The main aim of this book is to illustrate circular models for sustainable resource management. It highlights the benefits of transformative approaches in integrating, simplifying, and facilitating understanding of complex systems and transforming systems towards greater sustainability while achieving multiple social, economic, and environmental outcomes. It provides pathways towards strategic …

Revisiting Nordic peace

This book explores historically and theoretically Nordic peace as a marker of identification, ontological (in)security and regional branding. It emphasizes how conceptions of Nordic peace have been translated into policy practices and how it has maintained its relevance over time. The book distinguishes between the Nordic region as a region of peace, a prime example of a Deutschian security …

Reimagining Sustainable Organization

This open access book reimagines a deeper sustainability in dynamic organization. Offering multiple perspectives on arts, design thinking, leadership, knowledge and project management, Reimagining Sustainable Organization addresses our need for thinking and coping differently when facing the many unknowns of real-life enterprises in society. Drawing on process philosophy, real-world case stu…

Energy Poverty, Practice, and Policy

This Open Access book examines the implications of welfare policy for energy poverty and engages with key conceptual debates at the forefront of energy demand research. Academic work on energy poverty has rarely been brought into conversation with practice-theory-based approaches to energy use and sustainability. This book reveals how novel insights can be made visible through combining these d…

Climatic and ecological change in the Americas :a perspective from historical…

This book offers a comparative analysis of the experiences, responses, and adaptations of people to climate variability and environmental change across the Americas. It foregrounds historical ecology as a structural framework for understanding the climate change crisis throughout the region and throughout time. In recent years, Indigenous and local populations in particular have experienced cli…

Computational modelling of concrete and concrete structures

Computational Modelling of Concrete and Concrete Structures contains the contributions to the EURO-C 2022 conference (Vienna, Austria, 23-26 May 2022). The papers review and discuss research advancements and assess the applicability and robustness of methods and models for the analysis and design of concrete, fibre-reinforced and prestressed concrete structures, as well as masonry structures. R…

Diversity and empires :negotiating plurality in European imperial projects fr…

9781003315735

Research Journeys to Net Zero : current and future leaders

Edition

-

ISBN/ISSN

9781003380566

Collation

-

Series Title

-

Call Number

-