Filter by
Improving Energy Decisions: Towards Better Scientific Policy Advice for a Saf…
Managing a successful transition of the current energy supply system to less carbon emitting options, ensuring a safe and secure supply during the whole process and in the long term, is one of the largest challenges of our time. Various approaches and first implementations show that it is not only technological issue, but also a matter of societal acceptance and acceptability, considering basic…
- Edition
- -
- ISBN/ISSN
- 978-3-319-11345-6
- Collation
- XLIII, 257
- Series Title
- -
- Call Number
- 338 IMP
Implementing IT Processes: The Main 17 IT Processes and Directions for a Succ…
Information Technology plays a major role in our society. Due to system integration and process automation, a company has to rely on performant information systems. To achieve this objective, it is important to have relevant IT processes in place on the one hand to ensure current operation and on the other hand to enable the successful introduction of new technologies. Once IT processes are def…
- Edition
- -
- ISBN/ISSN
- 978-3-658-04772-6
- Collation
- XIV, 239
- Series Title
- -
- Call Number
- 004 IMP
Foundations and Practice of Security
This book constitutes the thoroughly refereed post-proceedings of the 7th Symposium on Foundations and Practice of Security, FPS 2014, held in Montreal, QC, Canada, in November 2014. The 18 revised full papers presented together with 5 short papers and 2 position papers were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on privacy; software se…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17040-4
- Collation
- XIII, 375 pages
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Topics in Modal Analysis & Testing, Volume 10 Proceedings of the 34th IMAC, …
Topics in Modal Analysis & Testing, Volume 10. Proceedings of the 34th IMAC, A Conference and Exposition on Dynamics of Multiphysical Systems: From Active Materials to Vibroacoustics, 2016, the tenth volume of ten from the Conference brings together contributions to this important area of research and engineering. The collection presents early findings and case studies on fundamental and applie…
- Edition
- -
- ISBN/ISSN
- 978-3-319-30249-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Topics in Cryptology –- CT-RSA 2015 The Cryptographer's Track at the RSA C…
This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2015, CT-RSA 2015, held in San Francisco, CA, USA, in April 2015. The 26 papers presented in this volume were carefully reviewed and selected from 111 submissions. The focus of the track is on following subjects: timing attacks, design and analysis of block ciphers, attribute and identity based enc…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16715-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Tools of Transport Telematics 15th International Conference on Transport Sys…
This book constitutes the proceedings of the 15th International Conference on Transport Systems Telematics, TST 2015, held in Wrocław, Poland, in April 2015. The 35 revised full papers and two short papers included in this volume were carefully reviewed and selected from 115 submissions. The papers provide an overview of solutions being developed in the fields of transport telematics and inte…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24577-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Formation and Containment Control for High-order Linear Swarm Systems
This book focuses on analysis and design problems for high-order linear time-invariant (LTI) swarm systems (multi-agent systems) to achieve consensus, formation, containment and formation-containment. As a first step, the concepts of practical consensus and formation-containment are introduced. Unlike previous research, the formation in this book can be time-varying. A general framework for con…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47836-3
- Collation
- XIX, 170 pages
- Series Title
- Springer Theses
- Call Number
- -
Formal Specification Level
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08699-6
- Collation
- VIII, 138 pages
- Series Title
- -
- Call Number
- -
Tools for High Performance Computing 2014 Proceedings of the 8th Internation…
Numerical simulation and modelling using High Performance Computing has evolved into an established technique in academic and industrial research. At the same time, the High Performance Computing infrastructure is becoming ever more complex. For instance, most of the current top systems around the world use thousands of nodes in which classical CPUs are combined with accelerator cards in order …
- Edition
- -
- ISBN/ISSN
- 978-3-319-16012-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Time-Dependent Switched Discrete-Time Linear Systems: Control and Filtering
This book focuses on the basic control and filtering synthesis problems for discrete-time switched linear systems under time-dependent switching signals. Chapter 1, as an introduction of the book, gives the backgrounds and motivations of switched systems, the definitions of the typical time-dependent switching signals, the differences and links to other types of systems with hybrid characterist…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28850-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography