Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking... Læs mere
This book constitutes the refereed proceedings of the 12th International... Læs mere
This book constitutes refereed proceedings of the 20th International... Læs mere
The 12 full papers presented together with 15 short papers in this volume... Læs mere
This book constitutes the proceedings of the 23rd International Symposium on... Læs mere
This book constitutes selected and revised papers presented at the First... Læs mere
This book constitutes the refereed post-conference proceedings of the 7th Russian Supercomputing Days, RuSCDays 2021, held in Moscow, Russia, in September 2021.The 37 revised full papers and 3 short papers presented were carefully reviewed and selected from 99 submissions.
This book constitutes the refereed post-conference proceedings of the 13th International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2017, held in Dalian, China, in December 2017.
This book constitutes the refereed post-conference proceedings of the 28th... Læs mere
This book focuses on techniques that can be applied at the physical and data-link layers of communication systems in order to secure transmissions against eavesdroppers.