The Huawei and Snowden questions :Can electronic equipment from untrusted ven…
This book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way th…
- Edisi
- -
- ISBN/ISSN
- 9783319749501
- Deskripsi Fisik
- xiv, 116p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.8 LYS h
Security in computer and information sciences :first International ISCIS Secu…
This open access book constitutes the thoroughly refereed proceedings of the First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, held in London, UK, in February 2018. The 12 full…
- Edisi
- -
- ISBN/ISSN
- 9783319951898
- Deskripsi Fisik
- xii, 157p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.8 SEC s
Foundations of trusted autonomy
This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy and trustworthiness. Aimed at scientists, researchers, technologists, pr…
- Edisi
- -
- ISBN/ISSN
- 9783319648163
- Deskripsi Fisik
- xvii, 395p. : ill.
- Judul Seri
- -
- No. Panggil
- 006.3 FOU f
The essence of software engineering
This book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineering and their application in industrial projects. I…
- Edisi
- -
- ISBN/ISSN
- 9783319738970
- Deskripsi Fisik
- xv, 236p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 ESS s
Reality lost :markets of attention, misinformation and manipulation
This open access book looks at how a democracy can devolve into a post-factual state. The media is being flooded by populist narratives, fake news, conspiracy theories and make-believe. Misinfor…
- Edisi
- -
- ISBN/ISSN
- 9783030008130
- Deskripsi Fisik
- xxi, 144p. : ill.
- Judul Seri
- -
- No. Panggil
- 070.43 HEN r
Gender in science and technology:interdisciplinary approaches
What role does gender play in scientific research and the development of technologies? This book provides methodological expertise, research experiences and empirical findings in the dynamic field …
- Edisi
- -
- ISBN/ISSN
- 9783837624342
- Deskripsi Fisik
- 1 electronic resource (262 pages)
- Judul Seri
- -
- No. Panggil
- 303.483 GEN g
Principles of security and trust :8th International Conference, POST 2019, he…
This volume contains the papers presented a t POST 2019, the 8th Conference on Principles of Security and Trust, held April 11, 2019, in Prague, Czech Republic, as part of ETAPS. Principles of Secu…
- Edisi
- -
- ISBN/ISSN
- 9783030171384
- Deskripsi Fisik
- ix, 248p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.8 PRI p
Foundations of software science and computation structures :22nd internationa…
This volume contains the papers presented at the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), which took place in Prague during April 8– …
- Edisi
- -
- ISBN/ISSN
- 9783030171278
- Deskripsi Fisik
- xv, 542p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 FOU f
Tools and algorithms for the construction and analysis of systems :26th Inter…
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place i…
- Edisi
- -
- ISBN/ISSN
- 9783030452377
- Deskripsi Fisik
- xxiii, 425p. : ill.
- Judul Seri
- -
- No. Panggil
- 004.21 TOO t
Security infrastructure technology for integrated utilization of big data :ap…
This open access book describes the technologies needed to construct a secure big data infrastructure that connects data owners, analytical institutions, and user institutions in a circle of trust.…
- Edisi
- -
- ISBN/ISSN
- 9789811536540
- Deskripsi Fisik
- ix, 166p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.8 SEC s
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah