Buku ini merupakan kumpulan makalah yang telah direvisi dan diterima dari beberapa workshop yang diadakan bersamaan dengan Konferensi Internasional ke-6 tentang Penambangan Proses, ICPM 2024, yang diadakan di Lyngby, Denmark, selama bulan Oktober 2024. Sebanyak 56 makalah lengkap yang telah direvisi yang disajikan dalam buku ini telah ditinjau dan dipilih dengan cermat dari 126 kiriman. Makalah…
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
The Roman Emperor Septimius Severus (193-211 A.D.) originated from the North-African town of Lepcis Magna. His reign is seen as a time in which profound changes within Roman society became evident resulting in many provincials achieving...
eventy Years of the International Law Commission: Drawing a Balance for the Future brings together voices from academia and practice to celebrate and critically evaluate the work of the United Nations International Law Commission (ILC) over the.
Minister of the Word, shepherd and teacher—the titles of Dutch pastors exude authority and prestige. In the course of the nineteenth century, however, their social position was slowly undermined by the separation of church and state, the...
elling Sex in the City offers a worldwide analysis of prostitution that takes a long historical approach which covers a time period from 1600 to the 2000s. The overviews in this volume examine sex work in more than twenty notorious “sin...
This book aims to shed light on the juridical field of the Khanate of Khiva at the end of the 19th and the beginning of the 20th century. The ‘Khanate of Khiva’ is the term employed in Western historiography to denote the political formation that...
The open access publication of this book has been published with the support of the Swiss National Science Foundation. International law is increasing in relevance to the topic of secession. This book demonstrates that if a secessionist...
Scorsese and Religion concerns the religious vision of the great American filmmaker Martin Scorsese. Not only will this volume explore the foundation of Scorsese’s interest in religion—namely, his relation to the Catholic Church—but it will also...