Filter by
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…
- Edition
- -
- ISBN/ISSN
- 9783319738970
- Collation
- xv, 236p. : ill.
- Series Title
- -
- Call Number
- 005.1 ESS s
Fundamental Approaches to Software Engineering : 22nd International Conferenc…
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…
- Edition
- -
- ISBN/ISSN
- 9783030167226
- Collation
- xiii, 446p. : ill.
- Series Title
- -
- Call Number
- 005.1 FUN f
CyberParks : the interface between people, places and technology : new approa…
This open access book is about public open spaces, about people, and about the relationship between them and the role of technology in this relationship. It is about different approaches, methods, empirical studies, and concerns about a phenomenon that is increasingly being in the centre of sciences and strategies – the penetration of digital technologies in the urban space. As the main outco…
- Edition
- -
- ISBN/ISSN
- 9783030134174
- Collation
- xv, 321p. : ill.
- Series Title
- -
- Call Number
- 307.1216 CYB c
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
Principles of security and trust : 8th International Conference, POST 2019, h…
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…
- Edition
- -
- ISBN/ISSN
- 9783030171384
- Collation
- ix, 248p. : ill.
- Series Title
- -
- Call Number
- 005.8 PRI p
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
Fundamental approaches to software Eengineering : 23rd International Conferen…
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…
- Edition
- -
- ISBN/ISSN
- 9783030452346
- Collation
- xiii, 552p. : ill.
- Series Title
- -
- Call Number
- 005.1 FUN f
Enabling things to talk : designing IoT solutions with the IoT architectural …
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 hyper-connectivity to our society by using augmented and rich interfaces. Whereas in the beginning IoT referred to the advent of barcodes and Radio Frequency Identification (RFID), which helped to auto…
- Edition
- -
- ISBN/ISSN
- 9783642404030
- Collation
- x, 349p. : ill.
- Series Title
- -
- Call Number
- 004.678 ENA e
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography