Ditapis dengan
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
Model-driven development and operation of multi-cloud applications :the MODAC…
This book summarizes work being undertaken within the collaborative MODAClouds research project, which aims to facilitate interoperability between heterogeneous Cloud platforms and remove the constraints of deployment, portability, and reversibility for end users of Cloud services. Experts involved in the project provide a clear overview of the MODAClouds approach and explain how it operates in…
- Edisi
- -
- ISBN/ISSN
- 9783319460314
- Deskripsi Fisik
- viii. 149p. : ill.
- Judul Seri
- -
- No. Panggil
- 004.6782 MOD m
S-BPM in the production industry :a stakeholder approach
This volume presents several case studies highlighting the latest findings in Industry 4.0 projects utilizing S-BPM features. Their potential is explored in detail, while the limits of engineering a company from a communication-centred perspective are also discussed. After a general introduction and an overview of the book in chapter 1, chapter 2 starts by condensing the industrial challenge…
- Edisi
- -
- ISBN/ISSN
- 9783319484662
- Deskripsi Fisik
- xiv, 232p. : ill.
- Judul Seri
- -
- No. Panggil
- 658.5 SUB s
Tools and algorithms for the construction and analysis of systems
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 tot…
- Edisi
- -
- ISBN/ISSN
- 9783030174651
- Deskripsi Fisik
- pages cm
- Judul Seri
- -
- No. Panggil
- 005.1 TOO t
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
Computer and Information Sciences :31st International Symposium, ISCIS 2016, …
This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences, ISCIS 2016, held in Krakow, Poland, in October 2016. The 29 revised full papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on smart algorithms; data classification and processing; stochastic modelling; p…
- Edisi
- -
- ISBN/ISSN
- 9783319472171
- Deskripsi Fisik
- xiii, 278p. : ill.
- Judul Seri
- -
- No. Panggil
- 004 COM c
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
Optimizing HPC applications with intel cluster tools
Optimizing HPC Applications with Intel® Cluster Tools takes the reader on a tour of the fast-growing area of high performance computing and the optimization of hybrid programs. These programs typically combine distributed memory and shared memory programming models and use the Message Passing Interface (MPI) and OpenMP for multi-threading to achieve the ultimate goal of high performance at low…
- Edisi
- -
- ISBN/ISSN
- 9781430264972
- Deskripsi Fisik
- xxiv, 300p. : ill.
- Judul Seri
- -
- No. Panggil
- 004.11 OPT o
Intelligent human computer interaction :9th International Conference, IHCI 20…
This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Intelligent Human Computer Interaction, IHCI 2017, held in Evry, France, in December 2017.The 15 papers presented together with three invited papers were carefully reviewed and selected from 25 submissions. The conference is forum for the presentation of technological advances and research results a…
- Edisi
- -
- ISBN/ISSN
- 9783319720388
- Deskripsi Fisik
- xviii, 216p. : ill.
- Judul Seri
- -
- No. Panggil
- 004.019 INT i
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
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
Building better interfaces for remote autonomous systems :an introduction for…
This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of th…
- Edisi
- -
- ISBN/ISSN
- 9783030477752
- Deskripsi Fisik
- xii, 127p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.437 OUR b
Technical, economic and societal effects of manufacturing 4.0 :automation, ad…
This open access book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, the economic, and the social aspects of this important phenomenon. Together the material presented allows the reader to develop a holistic picture of where the manufacturing industry and the parts of the society that depend on it may be going in the future. Manuf…
- Edisi
- -
- ISBN/ISSN
- 9783030461034
- Deskripsi Fisik
- xxviii, 266p. : ill.
- Judul Seri
- -
- No. Panggil
- 670.427 TEC t
Introduction to scientific programming with Python
This open access book offers an initial introduction to programming for scientific and computational applications using the Python programming language. The presentation style is compact and example-based, making it suitable for students and researchers with little or no prior experience in programming. The book uses relevant examples from mathematics and the natural sciences to present prog…
- Edisi
- -
- ISBN/ISSN
- 9783030503567
- Deskripsi Fisik
- xiv, 148p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.133 SUN i
Model-based engineering of collaborative embedded systems :extensions of the …
This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual system…
- Edisi
- -
- ISBN/ISSN
- 9783030621360
- Deskripsi Fisik
- xiii, 404p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 MOD m
S-BPM in the wild :practical value creation
This is the first book to present field studies on the application of subject-oriented business process management (S-BPM). Each case presents a specific story and focuses on an essential modeling or implementation issue, and most end with implications or suggestions for further studies. Significant variables and success factors are identified that were discovered during the respective study an…
- Edisi
- -
- ISBN/ISSN
- 9783319175423
- Deskripsi Fisik
- v, 283 p.; ill.
- Judul Seri
- -
- No. Panggil
- 658.4038011 SPM s
Automated reasoning
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving…
- Edisi
- -
- ISBN/ISSN
- 9783031107696
- Deskripsi Fisik
- xv; 756 PG; ill.
- Judul Seri
- -
- No. Panggil
- 006.3 AUT a
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah