Tools and Algorithms for the Construction and Analysis of Systems; 27th Inter…

Set dua volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-27 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2021, yang diadakan selama 27 Maret – 1 April 2021, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2021. Konferensi tersebut direncanakan akan berlangsung di Luksemburg dan diubah menjadi form…

Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…

Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…

The Governing-Evaluation-Knowledge Nexus

This Open Access book analyses the interplay between governing, evaluation and knowledge with an empirical focus on Swedish higher education. It investigates the origins, logics, and mechanisms of evaluation and quality assurance reforms and their dynamic interactions with institutional, national and European policy contexts. The chapters report findings from extensive empirical studies that of…

Uncertainty in Mechanical Engineering

Edition

-

ISBN/ISSN

9783030772567

Collation

-

Series Title

-

Call Number

-

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…

Online Misogyny as Hate Crime: A Challenge for Legal Regulation?

The ideal of an inclusive and participatory Internet has been undermined by the rise of misogynistic abuse on social media platforms. However, limited progress has been made at national – and to an extent European – levels in addressing this issue. In England and Wales, the tackling of underlying causes of online abuse has been overlooked because the law focuses on punishment rather than me…

Online Misogyny as Hate Crime : A Challenge for Legal Regulation?

The ideal of an inclusive and participatory Internet has been undermined by the rise of misogynistic abuse on social media platforms. However, limited progress has been made at national – and to an extent European – levels in addressing this issue. In England and Wales, the tackling of underlying causes of online abuse has been overlooked because the law focuses on punishment rather than me…

The politics of coalition in Korea: between institutions and culture

This book examines how inter- and intra-party coalition-building affects governability in South Korea. Focusing on the Kim Dae-jung administration (1998-2003) as a case study in the failure of a government to turn electoral success into stable governability, or ability to implement reform policies, the book’s research draws on two bodies of literature which, though focusing on the same depend…

Generational gaps in political media use

Edition

-

ISBN/ISSN

-

Collation

-

Series Title

-

Call Number

-