Filter by
Computer Aided Verification; 31st International Conference, CAV 2019, New Yor…
Kumpulan LNC dua jilid akses terbuka 11561 dan 11562 merupakan prosiding wasit dari Konferensi Internasional ke-31 tentang Verifikasi Berbantuan Komputer, CAV 2019, yang diadakan di New York City, AS, pada Juli 2019. 52 makalah lengkap yang dipresentasikan bersama dengan 13 makalah alat dan 2 studi kasus, ditinjau dan dipilih dengan cermat dari 258 pengajuan. Makalah-makalah tersebut disusun da…
- Edition
- -
- ISBN/ISSN
- 978-3-030-25543-5
- Collation
- 1 online resource (558 Pages)
- Series Title
- -
- Call Number
- 005.14 DRI c
Solidarity in Europe
This open access volume provides evidence-based knowledge on European solidarity and citizen responses in times of crisis. Does the crisis of European integration translate into a crisis of European solidarity, and if yes, what are the manifestations at the level of individual citizens? How strongly is solidarity rooted at the individual level, both in terms of attitudes and practices? And whic…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-73335-7
- Collation
- -
- Series Title
- Palgrave Studies in European Political Sociology
- Call Number
- XX, 287
Mobile Professional Voluntarism and International Development
This book is open access under a CC BY license. This book explores the impact that professional volunteers have on the low resource countries they choose to spend time in. Whilst individual volunteering may be of immediate benefit to individual patients, this intervention may have detrimental effects on local health systems; distorting labour markets, accentuating dependencies and creati…
- Edition
- 1
- ISBN/ISSN
- 978-1-137-55833-6
- Collation
- -
- Series Title
- -
- Call Number
- XV, 173
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
Computer Aided Verification; 30th International Conference, CAV 2018, Held as…
Kumpulan LNC 10980 dan 10981 akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-30 tentang Verifikasi Berbantuan Komputer, CAV 2018, yang diadakan di Oxford, Inggris, pada Juli 2018. 52 makalah lengkap dan 13 makalah alat yang dipresentasikan bersama dengan 3 makalah undangan dan 2 tutorial ditinjau dan dipilih dengan cermat dari 215 kiriman. Makalah ini mencakup berba…
- Edition
- -
- ISBN/ISSN
- 978-3-319-96142-2
- Collation
- 1 online resource (553 Pages)
- Series Title
- -
- Call Number
- 005.14 CHO c
Computer Aided Verification; 30th International Conference, CAV 2018, Held as…
Kumpulan LNC 10980 dan 10981 akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-30 tentang Verifikasi Berbantuan Komputer, CAV 2018, yang diadakan di Oxford, Inggris, pada Juli 2018. 52 makalah lengkap dan 13 makalah alat yang dipresentasikan bersama dengan 3 makalah undangan dan 2 tutorial ditinjau dan dipilih dengan cermat dari 215 kiriman. Makalah ini mencakup berba…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-96145-3
- Collation
- 1 online resource (709 Pages)
- Series Title
- -
- Call Number
- 005.14 CHO c
Bats in the Anthropocene: Conservation of Bats in a Changing World
This book focuses on central themes related to the conservation of bats. It details their response to land-use change and management practices, intensified urbanization and roost disturbance and loss. Increasing interactions between humans and bats as a result of hunting, disease relationships, occupation of human dwellings, and conflict over fruit crops are explored in depth. Finally, contribu…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-25220-9
- Collation
- -
- Series Title
- -
- Call Number
- IX, 606
Earthquakes, Tsunamis and Nuclear Risks
This book covers seismic probabilistic risk assessment (S-PRA) and related studies which have become more important to increase the safety of nuclear facilities against earthquakes and tsunamis in the face of the many uncertainties after the Fukushima accident. The topics are (1) Active faults and active tectonics important for seismic hazard assessment of nuclear facilities,(2) Seismic source …
- Edition
- 1
- ISBN/ISSN
- 978-4-431-55822-4
- Collation
- -
- Series Title
- -
- Call Number
- XII, 177
New Frontiers in Social Innovation Research
This book is open access under a CC BY license. Interest in social innovation continues to rise, from governments setting up social innovation 'labs' to large corporations developing social innovation strategies. Yet theory lags behind practice, and this hampers our ability to understand social innovation and make the most of its potential. This collection brings together work by leading social…
- Edition
- 1
- ISBN/ISSN
- 978-1-137-50680-1
- Collation
- -
- Series Title
- -
- Call Number
- XXIX, 267
The Early Years
This book is open access under a CC BY-NC-ND 3.0 IGO license. The Early Years analyzes the development of Latin American and Caribbean children and makes a compelling case for government intervention in what is instinctively a family affair. Spending on effective programs for young children is an investment that, if done well, will have very high returns, while failure to implement such pro…
- Edition
- 1
- ISBN/ISSN
- 978-1-137-53649-5
- Collation
- -
- Series Title
- -
- Call Number
- XXII, 262
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography