Filter by
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
Flexitranstore : special session in the 21st International Symposium on High …
This open access book comprises 10 high-level papers on research and innovation within the Flexitranstore Project that were presented at the FLEXITRANSTORE special session organized as part of the 21st International Symposium on High Voltage Engineering. FLEXITRANSTORE (An Integrated Platform for Increased FLEXIbility in smart TRANSmission grids with STORage Entities and large penetration of…
- Edition
- -
- ISBN/ISSN
- 9783030378189
- Collation
- vi, 115p. : ill.
- Series Title
- -
- Call Number
- 621.31913 FLE f
Adaptive strategies for water heritage : past, present and future
This Open Access book, building on research initiated by scholars from the Leiden-Delft-Erasmus Centre for Global Heritage and Development (CHGD) and ICOMOS Netherlands, presents multidisciplinary research that connects water to heritage. Through twenty-one chapters it explores landscapes, cities, engineering structures and buildings from around the world. It describes how people have actively …
- Edition
- -
- ISBN/ISSN
- 9783030002688
- Collation
- xix, 435p. : ill.
- Series Title
- -
- Call Number
- 363.61 ADA a
International cooperation for enhancing nuclear safety, security, safeguards …
This open access book examines key aspects of international cooperation to enhance nuclear safety, security, safeguards, and nonproliferation, thereby assisting in development and maintenance of the verification regime and fostering progress toward a nuclear weapon-free world. Current challenges are discussed and attempts made to identify possible solutions and future improvements, considering …
- Edition
- -
- ISBN/ISSN
- 9783030429133
- Collation
- xxxviii, 222p. : ill.
- Series Title
- -
- Call Number
- 621.4835 INT i
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…
- Edition
- -
- ISBN/ISSN
- 9783030223861
- Collation
- x, 170p. : ill.
- Series Title
- -
- Call Number
- 570.282 BIO b
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
The Future of transport between digitalization and decarbonization : trends, …
Energy systems are rapidly transitioning towards decarbonization, thanks in part to innovative digital technologies and changing mobility demands. This open access book examines the decarbonization and digitalization transformation in the transport sector, with a particular focus on energy consumption. By studying historical trends and outlining future scenarios, the authors illustrate the evol…
- Edition
- -
- ISBN/ISSN
- 9783030379667
- Collation
- xv, 112p. : ill.
- Series Title
- -
- Call Number
- 628.532 NOU f
Human and organisational factors : practices and strategies for a changing world
This open access book addresses several questions regarding the implementation of human and organisational factors (HOF) so that recent improvements in industrial safety can be built upon. It addresses sources of frustration in senior management with high expectations of operational recommendations and disquiet on the part of HOF specialists struggling to have an impact on high-level decision m…
- Edition
- -
- ISBN/ISSN
- 9783030256395
- Collation
- viii, 138p. : ill.
- Series Title
- -
- Call Number
- 620.86 HUM h
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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography