Ditapis dengan
Foundations of software science and computation structures :21st Internationa…
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 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 31 papers presented in this volume were carefully reviewed and selected from 103 submissi…
- Edisi
- -
- ISBN/ISSN
- 9783319893662
- Deskripsi Fisik
- xv, 582p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 FOU f
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 that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of computer science that can shed light on these questions. In a …
- 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 papers presented together with an overview paper were carefully reviewed and selected from 31 submissions. Security of distributed interconnected systems, software systems, and the Internet of Things…
- 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, practitioners, and students, it brings together contributions offering the basics, the challenges and the state-of-the-art on trusted autonomous systems in a single volume. The book is structured in…
- 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. It offers a broad overview of research findings dealing with current practical software engineering issues and also pointers to potential future developments. Celebrating the 20th anniversary of ade…
- Edisi
- -
- ISBN/ISSN
- 9783319738970
- Deskripsi Fisik
- xv, 236p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 ESS s
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 Security and Trust is a broad forum related to all theoretical and foundational aspects of security and trust, and thus welcomes papers of many kinds: new theoretical results, practical applications of ex…
- 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– 11, 2019 . The conference is dedicated to foundational research with a clear significance for software science. It brings together research on theories and methods to support the analysis, integration…
- 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 in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was …
- 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. It begins by discussing the most relevant technical issues involved in creating safe and privacy-preserving big data distribution platforms, and especially focuses on cryptographic primitives and pri…
- Edisi
- -
- ISBN/ISSN
- 9789811536540
- Deskripsi Fisik
- ix, 166p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.8 SEC s
Programming languages and systems :29th European Symposium on Programming, ES…
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
- Edisi
- -
- ISBN/ISSN
- 9783030449148
- Deskripsi Fisik
- xv, 772p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 PRO p
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah