Filter by
Tactical Publishing: Using Senses, Software, and Archives in the Twenty-First…
How to level up to the next transformative phase of publishing—with a critical methodology that transcends the dichotomy of paper and digital media production. Publishing is experiencing one of the most transformative phases in its history. In Tactical Publishing, a sequel to Post-Digital Print, Alessandro Ludovico explores the forces driving this historical phase, highlighting the tremend…
- Edition
- -
- ISBN/ISSN
- 9780262375016
- Collation
- -
- Series Title
- -
- Call Number
- 004 LUD t
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following t…
- Edition
- Ed. 1
- ISBN/ISSN
- 9783031131882, 9783031131882
- Collation
- 549
- Series Title
- Lecture Notes in Computer Science, 13372
- Call Number
- 006.3 COM c
The environmental turn in postwar Sweden A new history of knowledge
This book tells the story of how modern environmentalism emerged in postwar Sweden. It shows that the ‘environmental turn’ in Sweden occurred as early as the autumn of 1967 and that natural scientists led the way. The most influential was the chemist Hans Palmstierna, who was both an active Social Democrat and a regular contributor to the nation’s leading morning paper. Thus, he had a uni…
- Edition
- -
- ISBN/ISSN
- 9789198557749
- Collation
- -
- Series Title
- -
- Call Number
- -
Scaling a Software Business: The Digitalization Journey
software development; process management; collaboration; software-driven innovation
- Edition
- -
- ISBN/ISSN
- 9783319531168
- Collation
- -
- Series Title
- -
- Call Number
- -
Money Matters: Addressing the Financial Sustainability of Security Sector Reform
Although the financial sustainability of United Nations (UN) support to institutional capacity building in post-conflict contexts may be the least analysed topic on the peacebuilding agenda, understanding the costs of rebuilding and maintaining the security sector should be one of the most important priorities for security sector reform (SSR) practitioners today. Through innovative partnerships…
- Edition
- Ed. 1
- ISBN/ISSN
- 9781911529385
- Collation
- 35
- Series Title
- SSR Papers, 11
- Call Number
- 320 KEA m
Field Station Bahia: Brazil in the Work of Lorenzo Dow Turner, E. Franklin Fr…
This book offers a new perspective on the making of Afro-Brazilian, African-American and African studies through the interrelated trajectory of E. Franklin Frazier, Lorenzo Dow Turner, Frances and Melville Herskovits in Brazil. The book compares the style, network and agenda of these different and yet somehow converging scholars, and relates them to the Brazilian intellectual context, especiall…
- Edition
- Ed. 1
- ISBN/ISSN
- 9789004527164, 9789004523937
- Collation
- -
- Series Title
- -
- Call Number
- 909.82 SAN f
The "Democratic Soldier": Comparing Concepts and Practices in Europe
Since the end of the Cold War almost all European countries have reformed their armed forces, focusing on downsizing, internationalization and professionalization. This paper examines how these changes in security sector governance have affected the normative model underlying the militaryâ s relationship to democracy, using the image of the â democratic soldierâ . Drawing on a comparative an…
- Edition
- Ed. 1
- ISBN/ISSN
- 9781911529361
- Collation
- 64
- Series Title
- SSR Papers, 9
- Call Number
- 320 MAN d
Unifying Theories of Programming 5th International Symposium, UTP 2014, Sing…
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with nume…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14806-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Understanding Network Hacks Attack and Defense with Python
This book explains how to see one's own network through the eyes of an attacker, to understand their techniques and effectively protect against them. Through Python code samples the reader learns to code tools on subjects such as password sniffing, ARP poisoning, DNS spoofing, SQL injection, Google harvesting and Wifi hacking. Furthermore the reader will be introduced to defense methods such as…
- Edition
- -
- ISBN/ISSN
- 978-3-662-44437-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Towards an International Code of Conduct for Private Security Providers: A Vi…
The use of private security companies (PSCs) to perform services that are traditionally associated with the state presents a challenge to regulatory and oversight frameworks. Analyzing developments leading to the International Code of Conduct for Security Providers (ICOC) and the ICOC Association, this paper argues that a multistakeholder approach to develop standards adapted for the private se…
- Edition
- Ed. 1
- ISBN/ISSN
- 9781911529392
- Collation
- 61
- Series Title
- SSR Papers, 12
- Call Number
- 320 BUZ t
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography