Ditapis dengan
The future of software quality assurance
This open access book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to raise the profile of software testers and their profession. It gathers contributions by respected software testing experts in order to highlight the state of the art as well as future challenges and trends. In addition, it covers current and emerging technologies …
- Edisi
- -
- ISBN/ISSN
- 9783030295097
- Deskripsi Fisik
- xxi, 256p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.30287 FUT f
New horizons for a data-driven economy :a roadmap for usage and exploitation …
In this book readers will find technological discussions on the existing and emerging technologies across the different stages of the big data value chain. They will learn about legal aspects of big data, the social impact, and about education needs and requirements. And they will discover the business perspective and how big data technology can be exploited to deliver value within different se…
- Edisi
- -
- ISBN/ISSN
- 9783319215693
- Deskripsi Fisik
- xx, 303p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.7 NEW n
Introduction to ubuntu linux
Introduction to Ubuntu Linux is a user guide that suits newbies. This book based on Ubuntu 20.04 LTS. It includes information on the evolution of Linux-based operating systems, Ubuntu flavours, Ubuntu basics, installation of Ubuntu, and basic commands. This book gives the step-by-step instructions with clear explanations that demystify Ubuntu Linux. This book is for persons with little or no…
- Edisi
- -
- ISBN/ISSN
- 9789354061776
- Deskripsi Fisik
- 75p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.432 KUM i
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 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
Incorporating the digital commons corporate involvement in free and open sour…
The concept of ‘the commons’ has been used as a framework to understand resources shared by a community rather than a private entity, and it has also inspired social movements working against the enclosure of public goods and resources. One such resource is free (libre) and open source software (FLOSS). FLOSS emerged as an alternative to proprietary software in the 1980s. However, both the …
- Edisi
- -
- ISBN/ISSN
- 9781912656431
- Deskripsi Fisik
- xiv, 143p.: ill.
- Judul Seri
- -
- No. Panggil
- 005.8 BIR i
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 Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead …
- 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 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
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah