Filter by
Anti-fragile ICT systems
This book introduces a novel approach to the design and operation of large ICT systems. It views the technical solutions and their stakeholders as complex adaptive systems and argues that traditional risk analyses cannot predict all future incidents with major impacts. To avoid unacceptable events, it is necessary to establish and operate anti-fragile ICT systems that limit the impact of all in…
- Edition
- -
- ISBN/ISSN
- 9783319300702
- Collation
- xviii, 151p. : ill.
- Series Title
- -
- Call Number
- 004.6 HOL a
A journey of embedded and cyber-physical systems : essays dedicated to Peter …
This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a compre…
- Edition
- -
- ISBN/ISSN
- 9783030474874
- Collation
- xv, 176p. : ill.
- Series Title
- -
- Call Number
- 004.21 JOU j
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…
- Edition
- -
- ISBN/ISSN
- 9783030174651
- Collation
- pages cm
- Series Title
- -
- Call Number
- 005.1 TOO t
The Impact of digital technologies on public health in developed and developi…
This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and …
- Edition
- -
- ISBN/ISSN
- 9783030515171
- Collation
- 442 p.; 22 cm.
- Series Title
- -
- Call Number
- 384.648 IMP i
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…
- Edition
- -
- ISBN/ISSN
- 9783319484662
- Collation
- xiv, 232p. : ill.
- Series Title
- -
- Call Number
- 658.5 SUB s
Security of networks and services in an all-connected world : 11th IFIP WG 6.…
This book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, held in Zurich, Switzerland, in July 2017. The 8 full papers presented together with 11 short papers were carefully reviewed and selected from 24 submissions. The papers are organized in the following topical sections: security ma…
- Edition
- -
- ISBN/ISSN
- 9783319607740
- Collation
- xx, 192p. : ill.
- Series Title
- -
- Call Number
- 004.6 SEC 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…
- Edition
- -
- ISBN/ISSN
- 9783319554563
- Collation
- xxiii, 499p. : ill.
- Series Title
- -
- Call Number
- 515.353 LAN f
Cognitive aspects of human-computer interaction for GIS
The book is dealing with recent progress in human–computer interaction (HCI) related to geographic information science (GIS). The Editorial starts with an overview about the evolution of the Internet and first HCI concepts and stimulates recent HCI developments using 3D and 4D apps, running on all mobile devices with OS Android, iOS, Linus, and Windows. Eight research articles present the sta…
- Edition
- -
- ISBN/ISSN
- 9783039215683
- Collation
- 196 p.; 22 cm.
- Series Title
- -
- Call Number
- 001.4 COG c
Product lines for digital information products
Digital information products are an important class of widely used digital products, whose core benefit is the delivery of information or education (e.g., electronic books, online newspapers, e-learning courses).This book introduces a novel and systematic approach, Product Lines for Digital Information Products (PLANT), which focuses on the creation of variants of such products within a product…
- Edition
- -
- ISBN/ISSN
- 9783866441330
- Collation
- -
- Series Title
- -
- Call Number
- 004.71 PAN p
Computer aided verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and tec…
- Edition
- -
- ISBN/ISSN
- 9783319961453
- Collation
- pages cm
- Series Title
- -
- Call Number
- 004 CHO c
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography