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

Rangkaian prosiding LNCS 10805 dan 10806 merupakan prosiding Konferensi Internasional ke-24 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2018, yang berlangsung di Thessaloniki, Yunani, pada bulan April 2018, yang diselenggarakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2018. Total 43 makalah lengkap dan 11 makalah p…

Fundamental Approaches to Software Engineering: 21st International Conference…

Buku ini merupakan hasil dari Konferensi Internasional ke-21 tentang Pendekatan Fundamental terhadap Rekayasa Perangkat Lunak, FASE 2018, yang berlangsung di Thessaloniki, Yunani pada bulan April 2018, yang diselenggarakan sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2018. Sebanyak 19 makalah yang disajikan dalam volume ini telah ditinjau dengan…

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

This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The tot…

Integrated Groundwater Management

The aim of this book is to document for the first time the dimensions and requirements of effective integrated groundwater management (IGM). Groundwater management is a formidable challenge, one that remains one of humanity’s foremost priorities. It has become a largely non-renewable resource that is overexploited in many parts of the world. In the 21st century, the issue moves from how to si…

Determinants of Financial Development

A PDF version of this book is available for free in open access via the OAPEN Library platform, www.oapen.org. This book examines the emergence of both financial markets and carbon markets, and provides an in-depth investigation on the fundamental determinants of financial development.

East Central Europe Between the Colonial and the Postcolonial in the Twentiet…

This open access book explores the ambiguity of East Central Europe during the twentieth century, examining local contexts through a comparative and transnational reworking of theoretical models in postcolonial studies. Since the early modern period, East Central Europe has arguably been an object of imperialism. However, at the same time East Central European states have been seen to be coloni…

Enabling Asia to Stabilise the Climate

This book presents good practices in Asia and ASEAN countries for effectively promoting advances in response to climate change, which can help to achieve sustainable development in Asia and around the world. As a proposal, the aim is to influence the discussions at COP 21 by providing a positive agenda with concrete actions from an Asian perspective. The book is divided into three parts. Part 1…

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…

Ethics Dumping

This open access book provides original, up-to-date case studies of “ethics dumping” that were largely facilitated by loopholes in the ethics governance of low and middle-income countries. It is instructive even to experienced researchers since it provides a voice to vulnerable populations from the fore mentioned countries. Ensuring the ethical conduct of North-South collaborations in resea…

APCC Special Report: Strukturen für ein klimafreundliches Leben

Edition

-

ISBN/ISSN

9783662664971

Collation

-

Series Title

-

Call Number

-