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
Managed software evolution
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Fo…
- Edisi
- -
- ISBN/ISSN
- 9783030134990
- Deskripsi Fisik
- xxii, 426p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 MAN m
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
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 …
- Edisi
- -
- ISBN/ISSN
- 9783030449148
- Deskripsi Fisik
- xv, 772p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 PRO p
Enabling things to talk :designing IoT solutions with the IoT architectural r…
The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. It will support an ecosystem of smart applications and services bringing hy…
- Edisi
- -
- ISBN/ISSN
- 9783642404030
- Deskripsi Fisik
- x, 349p. : ill.
- Judul Seri
- -
- No. Panggil
- 004.678 ENA e
The privacy engineer's manifesto :getting from policy to code to QA to value
"It's our thesis that privacy will be an integral part of the next wave in the technology revolution and that innovators who are emphasizing privacy as an integral part of the product life cycle ar…
- Edisi
- -
- ISBN/ISSN
- 9781430263562
- Deskripsi Fisik
- xxxvi, 400p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.8 DEN p
Platform embedded security technology revealed :safeguarding the future of co…
Platform Embedded Security Technology Revealed is an in-depth introduction to Intel’s platform embedded solution: the security and management engine. The engine is shipped inside most Intel platf…
- Edisi
- -
- ISBN/ISSN
- 9781430265726
- Deskripsi Fisik
- xx, 272p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.8 RUA p
GUI design for Android apps
GUI Design for Android Apps is the perfect—and concise—introduction for mobile app developers and designers. Through easy-to-follow tutorials, code samples, and case studies, the book shows the…
- Edisi
- -
- ISBN/ISSN
- 9781484203828
- Deskripsi Fisik
- xi, 156p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.437 COH g
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah