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
DevOps for Digital Leaders :Reignite Business with a Modern DevOps-Enabled So…
Learn to design, implement, measure, and improve DevOps programs that are tailored to your organization. This concise guide assists leaders who are accountable for the rapid development of high-quality software applications. In DevOps for Digital Leaders, deep collective experience on both sides of the dev–ops divide informs the global thought leadership and penetrating insights of the aut…
- Edisi
- -
- ISBN/ISSN
- 9781484218426
- Deskripsi Fisik
- xv, 173p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 RAV d
Rethinking productivity in software engineering
Get the most out of this foundational reference and improve the productivity of your software teams. This open access book collects the wisdom of the 2017 "Dagstuhl" seminar on productivity in software engineering, a meeting of community leaders, who came together with the goal of rethinking traditional definitions and measures of productivity. The results of their work, Rethinking Productiv…
- Edisi
- -
- ISBN/ISSN
- 9781484242216
- Deskripsi Fisik
- xxviii, 310p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 RET r
Fundamental approaches to software Eengineering :23rd International Conferenc…
This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 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 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume w…
- Edisi
- -
- ISBN/ISSN
- 9783030452346
- Deskripsi Fisik
- xiii, 552p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 FUN f
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
Bioimage data analysis workflows
This Open Access textbook provides students and researchers in the life sciences with essential practical information on how to quantitatively analyze data images. It refrains from focusing on theory, and instead uses practical examples and step-by step protocols to familiarize readers with the most commonly used image processing and analysis platforms such as ImageJ, MatLab and Python. Besides…
- Edisi
- -
- ISBN/ISSN
- 9783030223861
- Deskripsi Fisik
- x, 170p. : ill.
- Judul Seri
- -
- No. Panggil
- 570.282 BIO b
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
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
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
Fundamental Approaches to Software Engineering :22nd International Conference…
This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The 24 papers presented in this volume were carefully revie…
- Edisi
- -
- ISBN/ISSN
- 9783030167226
- Deskripsi Fisik
- xiii, 446p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 FUN 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
Fundamental approaches to software engineering :21th international conference…
This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed …
- Edisi
- -
- ISBN/ISSN
- 9783319893631
- Deskripsi Fisik
- xii, 355p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 FUN f
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
Control theory tutorial :basic concepts illustrated by software examples
This open access brief introduces the basic principles of control theory in a concise self-study guide. It complements the classic texts by emphasizing the simple conceptual unity of the subject. A novice can quickly see how and why the different parts fit together. The concepts build slowly and naturally one after another, until the reader soon has a view of the whole. Each concept is illustra…
- Edisi
- -
- ISBN/ISSN
- 9783319917078
- Deskripsi Fisik
- xi, 111p. : ill.
- Judul Seri
- -
- No. Panggil
- 629.8312 FRA c
Scaling a software business :the digitalization journey
Software has changed the rules of the game. The world talks about the digitalization in industry and society – how the focus has shifted from producing tangible things towards software and services. This trend started many years ago, but is now affecting every company, whether it’s a software company or not. There are many companies that have already made a digitalization journey – and ma…
- Edisi
- -
- ISBN/ISSN
- 9783319531168
- Deskripsi Fisik
- 265p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1068 SCA s
Finite difference computing with PDEs :a modern software approach
This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the traditional academic works on the topic, this book was written for practitioners. Accordingly, it especially addresses: the construction of finite difference schemes, formulation and implementation of algorithms, verification of implementations, analys…
- Edisi
- -
- ISBN/ISSN
- 9783319554563
- Deskripsi Fisik
- xxiii, 499p. : ill.
- Judul Seri
- -
- No. Panggil
- 515.353 LAN f
Semantic web enabled software engineering
Over the last decade, ontology has become an important modeling component in software engineering. Semantic Web Enabled Software Engineering presents some critical findings on opening a new direction of the research of Software Engineering, by exploiting Semantic Web technologies. Most of these findings are from selected papers from the Semantic Web Enabled Software Engineering (SWESE) series o…
- Edisi
- -
- ISBN/ISSN
- 9781614993704
- Deskripsi Fisik
- vi, 251 p.; 22 cm.
- Judul Seri
- -
- No. Panggil
- 005.1 SEM s
Ethical programs :hospitality and the rhetorics of software
Living in a networked world means never really getting to decide in any thoroughgoing way who or what enters your “space” (your laptop, your iPhone, your thermostat . . . your home). With this as a basic frame-of-reference, James J. Brown’s Ethical Programs examines and explores the rhetorical potential and problems of a hospitality ethos suited to a new era of hosts and guests. Brown rea…
- Edisi
- -
- ISBN/ISSN
- 9780472072736
- Deskripsi Fisik
- x, 217p. : ill.
- Judul Seri
- -
- No. Panggil
- 174.9005 BRO e
Benefit/cost-driven software development :with benefit points and size points
This open access book presents a set of basic techniques for estimating the benefit of IT development projects and portfolios. It also offers methods for monitoring how much of that estimated benefit is being achieved during projects. Readers can then use these benefit estimates together with cost estimates to create a benefit/cost index to help them decide which functionalities to send into…
- Edisi
- -
- ISBN/ISSN
- 9783030742188
- Deskripsi Fisik
- xiii, 103p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 HAN b
Aesthetic programming:a handbook of software studies
Aesthetic Programming explores the technical as well as cultural imaginaries of programming from its insides. It follows the principle that the growing importance of software requires a new kind of cultural thinking — and curriculum — that can account for, and with which to better understand the politics and aesthetics of algorithmic procedures, data processing and abstraction. It takes a p…
- Edisi
- -
- ISBN/ISSN
- 9781785420931
- Deskripsi Fisik
- 298p. black and white, ill.
- Judul Seri
- -
- No. Panggil
- 005.118 SOO a
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah