Filter by
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 …
- Edition
- -
- ISBN/ISSN
- 9783030134990
- Collation
- xxii, 426p. : ill.
- Series Title
- -
- Call Number
- 005.1 MAN m
Foundations of software science and computation structures : 22nd internation…
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…
- Edition
- -
- ISBN/ISSN
- 9783030171278
- Collation
- xv, 542p. : ill.
- Series Title
- -
- Call Number
- 005.1 FOU f
Tools and algorithms for the construction and analysis of systems : 26th Inte…
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 …
- Edition
- -
- ISBN/ISSN
- 9783030452377
- Collation
- xxiii, 425p. : ill.
- Series Title
- -
- Call Number
- 004.21 TOO t
Programming languages and systems : 29th European Symposium on Programming, E…
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.
- Edition
- -
- ISBN/ISSN
- 9783030449148
- Collation
- xv, 772p. : ill.
- Series Title
- -
- Call Number
- 005.1 PRO p
Programming for computations - Python : a gentle introduction to numerical si…
This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received book has been extensively revised: All code is now written in Python version 3.6 (no longer version 2.7). In addition, the two first chapters of the previous edition have been extended and split up into five new chapters, thus expanding the introduction to programm…
- Edition
- -
- ISBN/ISSN
- 9783030168773
- Collation
- xxiii, 323p. " ill.
- Series Title
- -
- Call Number
- 004.0151 LIN p
Android on x86 : an introduction to optimizing for Intel architecture
Android on x86: an Introduction to Optimizing for Intel® Architecture serves two main purposes. First, it makes the case for adapting your applications onto Intel’s x86 architecture, including discussions of the business potential, the changing landscape of the Android marketplace, and the unique challenges and opportunities that arise from x86 devices. The fundamental idea is that extending…
- Edition
- -
- ISBN/ISSN
- 9781430261315
- Collation
- xxvii, 380p. : ill.
- Series Title
- -
- Call Number
- 004 KRA a
Intel galileo and intel galileo gen 2 : API features and Arduino projects for…
Intel® Galileo and Intel® Galileo Gen 2: API Features and Arduino Projects for Linux Programmers provides detailed information about Intel® Galileo and Intel® Galileo Gen 2 boards for all software developers interested in Arduino and the Linux platform. The book covers the new Arduino APIs and is an introduction for developers on natively using Linux. Author Manoel Carlos Ramon is a member…
- Edition
- -
- ISBN/ISSN
- 9781430268383
- Collation
- xxii, 680p. : ill.
- Series Title
- -
- Call Number
- 005.1 RAM i
DevOps for Digital Leaders : Reignite Business with a Modern DevOps-Enabled S…
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…
- Edition
- -
- ISBN/ISSN
- 9781484218426
- Collation
- xv, 173p. : ill.
- Series Title
- -
- Call Number
- 005.1 RAV d
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 …
- Edition
- -
- ISBN/ISSN
- 9783030295097
- Collation
- xxi, 256p. : ill.
- Series Title
- -
- Call Number
- 005.30287 FUT f
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography