Filter by
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
- -
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…
- Edition
- -
- ISBN/ISSN
- 978-3-319-89963-3
- Collation
- 1 online resource (474 Pages)
- Series Title
- -
- Call Number
- 005.1 bey T
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…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-89960-2
- Collation
- 1 online resource (439 Pages)
- Series Title
- -
- Call Number
- 005.1 BEY t
Radiological Issues for Fukushima’s Revitalized Future
This book overviews environmental issues 4 years after the Fukushima nuclear accident, covering a wide range of areas related to radiation and radioactivity. The topics discussed are necessary to make clear the relationship between the results of research and Fukushima’s revitalized future. The chapters are divided into four parts: Part 1 presents the identification of radionuclides in soil a…
- Edition
- 1
- ISBN/ISSN
- 978-4-431-55848-4
- Collation
- -
- Series Title
- -
- Call Number
- XIII, 232
mHealth Innovation in Asia
This open access book offers a detailed account of a range of mHealth initiatives across South, Southeast and East Asia. It provides readers with deep insights into the challenges such initiatives face on the ground, and a view of the diverse cultural contexts shaping strategies for overcoming these challenges. The book brings together various discussions on the broader mHealth literature, and …
- Edition
- 1
- ISBN/ISSN
- 978-94-024-1251-2
- Collation
- -
- Series Title
- Mobile Communication in Asia: Local Insights, Global Implications
- Call Number
- X, 131
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…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-89363-1
- Collation
- XII, 357
- Series Title
- -
- Call Number
- 005.1 RUS f
The Evolutionary Dynamics of Discursive Knowledge
This open access book addresses three themes which have been central to Leydesdorff's research: (1) the dynamics of science, technology, and innovation; (2) the scientometric operationalization of these concept; and (3) the elaboration in terms of a Triple Helix of university-industry-government relations. In this study, I discuss the relations among these themes. Using Luhmann's social-systems…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-59951-5
- Collation
- -
- Series Title
- Qualitative and Quantitative Analysis of Scientific and Scholarly Communication
- Call Number
- X, 247
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
Pynchon and Philosophy
Pynchon and Philosophy radically reworks our readings of Thomas Pynchon alongside the theoretical perspectives of Wittgenstein, Foucault and Adorno. Rigorous yet readable, Pynchon and Philosophy seeks to recover philosophical readings of Pynchon that work harmoniously, rather than antagonistically, resulting in a wholly fresh approach. Dr. Martin Paul Eve is a lecturer in literature at the…
- Edition
- 1
- ISBN/ISSN
- 978-1-137-40550-0
- Collation
- -
- Series Title
- -
- Call Number
- XIII, 229
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography