Filter by
The Politics of Children’s Rights and Representation
This open access edited volume investigates children and youth's deep entanglement in today's major global, national, and local transformations and processes: wherein they are not mere spectators and objects of transformations but instead actively shape them through various social, economic, and political representations. International contributions illuminate the problems that arise when child…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-04480-9
- Collation
- -
- Series Title
- Studies in Childhood and Youth
- Call Number
- XVI, 337
Ukraine’s Thorny Path to the EU
This interdisciplinary book takes stock of Ukraine’s thorny European integration path in the last two decades. Engaging many Ukrainian academics and practitioners, the book seeks to offer a first-hand insight into how Ukraine moves towards EU membership, while in war with Russia, and which ‘stumbling blocks’ it encounters.
- Edition
- 1
- ISBN/ISSN
- 978-3-031-69154-6
- Collation
- -
- Series Title
- -
- Call Number
- XIII, 327
Multiculturalism and Conflict Reconciliation in the Asia-Pacific
This book is open access under a CC BY license. This edited collection focuses on theories, language and migration in relation to multiculturalism in Japan and the Asia-Pacific. Each chapter aims to provide alternative understandings to current conflicts that have arisen due to immigration and policies related to education, politics, language, work, citizenship and identity.
- Edition
- 1
- ISBN/ISSN
- 978-1-137-40360-5
- Collation
- -
- Series Title
- -
- Call Number
- XIV, 237
CyberParks – The Interface Between People, Places and Technology; New Appro…
Buku akses terbuka ini membahas tentang ruang terbuka publik, tentang manusia, dan tentang hubungan di antara mereka dan peran teknologi dalam hubungan ini. Ini tentang berbagai pendekatan, metode, studi empiris, dan kekhawatiran tentang fenomena yang semakin menjadi pusat ilmu pengetahuan dan strategi-penetrasi teknologi digital di ruang kota. Sebagai hasil utama dari Proyek CyberParks, buku i…
- Edition
- -
- ISBN/ISSN
- 978-3-030-13417-4
- Collation
- 1 online resource (331 Pages)
- Series Title
- -
- Call Number
- 006.8 COS c
Fundamental Approaches to Software Engineering: 24th International Conference…
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-…
- Edition
- 1
- ISBN/ISSN
- 9783030715007
- Collation
- XIV, 373
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Ang…
he open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topi…
- Edition
- 1
- ISBN/ISSN
- 9783030532918
- Collation
- XVIII, 683
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Ang…
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following t…
- Edition
- 1
- ISBN/ISSN
- 9783030532888
- Collation
- XVII, 669
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 31st International Conference, CAV 2019, New Yor…
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following top…
- Edition
- 1
- ISBN/ISSN
- 9783030255404
- Collation
- XIX, 673
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 31st International Conference, CAV 2019, New Yor…
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following to…
- Edition
- 1
- ISBN/ISSN
- 9783030255435
- Collation
- XX, 549
- Series Title
- -
- Call Number
- -
Fundamental Approaches to Software Engineering: 23rd International Conference…
This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume w…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-45234-6
- Collation
- XIII, 552
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography