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
Scaling a Software Business: The Digitalization Journey
software development; process management; collaboration; software-driven innovation
- Edition
- -
- ISBN/ISSN
- 9783319531168
- Collation
- -
- Series Title
- -
- Call Number
- -
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
- -
Pro Freeware and Open Source Solutions for Business
Menargetkan pemilik bisnis yang sadar akan biaya dan ingin mulai menggunakan perangkat lunak bebas sumber terbuka. Hal ini sangat relevan karena Windows XP sudah tidak didukung lagi. Penulis telah menulis satu judul yang sukses untuk Apress, jadi sudah terbiasa dengan prosesnya.> Pertama kali saya mendengar tentang perangkat lunak bebas dan sumber terbuka kembali ke awal tahun 2000-an, ketika s…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1130-4
- Collation
- -
- Series Title
- -
- Call Number
- 005.3029 WHI p
E-engagement: A guide for Public Sector Managers
Over the last twenty years, advanced communication technologies have become pervasive throughout Western society. These technologies have not only revolutionised the delivery of public and private services, they have shaped consumers’ expectations about service quality. This guide (written for managers who have an interest in expanding their approach to public engagement, rather than IT profe…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Aspect-Oriented Security Hardening of UML Design Models
This book comprehensively presents a novel approach to the systematic security hardening of software design models expressed in the standard UML language. It combines model-driven engineering and the aspect-oriented paradigm to integrate security practices into the early phases of the software development process. To this end, a UML profile has been developed for the specification of security h…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-16106-8
- Collation
- XVIII, 237
- Series Title
- -
- Call Number
- 005.1 ASP a
Fundamental Approaches to Software Engineering : 24th International Conferenc…
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-…
- Edition
- -
- ISBN/ISSN
- 9783030715007
- Collation
- -
- Series Title
- -
- Call Number
- 620
Risk Assessment and Risk-Driven Testing
This book constitutes the thoroughly refereed conference proceedings of the Third International Workshop on Risk Assessment and Risk-driven Testing, RISK 2015, held in conjunction with the OMG Technical Meeting in Berlin, Germany, in June 2015. The revised 8 full papers were carefully reviewed and selected from 12 submissions. This workshop addresses systematic approaches that combine risk a…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26416-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography