for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book discusses the development of safety-critical systems under the following standards: IEC 61508; ISO 26262; EN 50128; and IEC 62304. It... Læs mere
In order to survive in highly competitive market conditions and in a world of fast evolving technologies, businesses try hard... Læs mere
This book constitutes the refereed proceedings of the 13th Conference on... Læs mere
This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2018, CT-RSA 2018, held in San Francisco, CA, USA, in March 2018.The 26 papers presented in this volume were carefully reviewed and selected from 79 submissions.
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds;
The 7 full papers and 5 short papers presented together with 4 challenge track and 2 students student track papers were carefully reviewed and selected from 26 submissions.
This book constitutes the proceedings of the 13th International Workshop... Læs mere
The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.
This book constitutes the refereed proceedings of the 8th International Conference on Reversible... Læs mere
This book constitutes the refereed proceedings of the 9th International Conference on Reversible... Læs mere
This book constitutes the proceedings of the 15th International Conference... Læs mere