Filter by
“Covid-19,” Psychological Operations, and the War for Technocracy
Camouflaged by “Covid-19,” an undeclared global class war was initiated in 2020, aimed at replacing liberal democracy with technocracy, a novel, biodigital form of totalitarianism. The opening campaign involved the largest psychological operation in history, intended to demoralise, disorientate, and debilitate the public. This volume deals with the application of shock and stress, trauma-ba…
- Edition
- -
- ISBN/ISSN
- 9783031418501
- Collation
- -
- Series Title
- -
- Call Number
- -
Transnational Solidarity in Times of Crises
This open access collection is devoted to an in-depth, qualitative analysis of practices of cross-national solidarity in response to the current political and social crises, from citizens’ initiatives to networks of cooperation among civil society actors. The book analyses existing informal groups at the grassroots, furthering transnational solidarity in three thematic areas: disabili…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-49659-3
- Collation
- -
- Series Title
- Palgrave Studies in European Political Sociology
- Call Number
- XV, 305
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
Tools and Algorithms for the Construction and Analysis of Systems; 25 Years o…
Buku ini, LNC 11429, merupakan bagian III dari prosiding Konferensi Internasional ke-25 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2019, yang berlangsung di Praha, Republik Ceko, pada April 2019, yang diadakan sebagai bagian dari Konferensi Bersama Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2019. Ini adalah volume khusus pada peringatan 25 tahun TACAS.
- Edition
- -
- ISBN/ISSN
- 978-3-030-17502-3
- Collation
- 1 online resource (280 Pages)
- Series Title
- -
- Call Number
- 004.21 BEY t
Reversible Computation: Extending Horizons of Computing: Selected Results of …
This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards…
- Edition
- 1
- ISBN/ISSN
- 9783030473617
- Collation
- XIV, 237
- 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
- -
Tools and Algorithms for the Construction and Analysis of Systems: 24th Inter…
This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The to…
- Edition
- 1
- ISBN/ISSN
- 9783319899633
- Collation
- -
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years o…
This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volu…
- Edition
- 1
- ISBN/ISSN
- 9783030175023
- Collation
- XXVII, 258
- 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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography