Filter by
Computer and Information Sciences: 31st International Symposium, ISCIS 2016, …
This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences, ISCIS 2016, held in Krakow, Poland, in October 2016. The 29 revised full papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on smart algorithms; data classification and processing; stochastic modelling; per…
- Edition
- -
- ISBN/ISSN
- 9783319472171
- Collation
- XIII, 278
- Series Title
- 659
- Call Number
- -
Financing Clean Energy Access in Sub-Saharan Africa : Risk Mitigation Strateg…
This open access book analyses barriers and challenges associated with the financing of clean energy access in sub-Saharan Africa. By considering various economic, financial, political, environmental and social factors, it explores the consequences of energy poverty across the region and maps the real and perceived investment risks for potential capital providers, both domestic and internationa…
- Edition
- -
- ISBN/ISSN
- 978-3-030-75829-5
- Collation
- XIII, 197
- Series Title
- SpringerBriefs in Energy (BRIEFSENERGY)
- Call Number
- 338 MIC f
Corporate Finance for Long-Term Value
This open access textbook offers a guide to corporate finance for modern companies that want to create long-term value. Drawing on recent literature on sustainable companies, it starts by analysing the Sustainable Development Goals as a strategy for the transition to a sustainable economy. Next, it translates the general concept of sustainability into core corporate finance methods, such as net…
- Edition
- -
- ISBN/ISSN
- 978-3-031-35009-2
- Collation
- XXXIX, 630
- Series Title
- Springer Texts in Business and Economics (STBE)
- Call Number
- 650 WES m
Intertwingled: The Work and Influence of Ted Nelson
This engaging volume celebrates the life and work of Theodor Holm “Ted” Nelson, a pioneer and legendary figure from the history of early computing. Presenting contributions from world-renowned computer scientists and figures from the media industry, the book delves into hypertext, the docuverse, Xanadu and other products of Ted Nelson’s unique mind. Features: includes a cartoon and a sequ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16925-5
- Collation
- XVI, 150
- Series Title
- History of Computing (HC)
- Call Number
- 001 INT
Social Innovation in Higher Education : Landscape, Practices, and Opportunities
This open access book offers unique and novel views on the social innovation landscape, tools, practices, pedagogies, and research in the context of higher education. International, multi-disciplinary academics and industry leaders present new developments, research evidence, and practice expertise on social innovation in higher education institutions (HEIs), across academic and professional di…
- Edition
- -
- ISBN/ISSN
- 978-3-030-84044-0
- Collation
- X, 313
- Series Title
- Innovation, Technology, and Knowledge Management (ITKM)
- Call Number
- 370 SOC
Agential Realism als Basis queer(end)er Experimentalpsychologie: Eine wis…
Zentrale These des Open-Access-Buchs von Julia Scholz ist, dass eine queer(end)e Experimentalpsychologie mit der Herangehensweise des Agential Realism kein Widerspruch in sich ist, obwohl verbreitete Verständnisweisen von Queertheorien und von Experimentalpsychologie(n) dies berechtigterweise zunächst nahelegen. Die Autorin konfrontiert experimentalpsychologische Wissensproduktion mit queerth…
- Edition
- -
- ISBN/ISSN
- 9783658226442
- Collation
- XI, 299 hlm,: ill, lamp;
- Series Title
- -
- Call Number
- -
Developmental State Building
This open access book modifies and revitalizes the concept of the ‘developmental state’ to understand the politics of emerging economy through nuanced analysis on the roles of human agency in the context of structural transformation. In other words, there is a revived interest in the ‘developmental state’ concept. The nature of the ‘emerging state’ is characterized by its attitude t…
- Edition
- -
- ISBN/ISSN
- 9789811329043
- Collation
- -
- Series Title
- -
- Call Number
- -
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
Computer Aided Verification: 30th International Conference, CAV 2018, Held as…
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- XIX, 703
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography