Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the 6th International... Læs mere
The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions. The discussion of the conference centers around two main aspects.
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 19th Annual... Læs mere
This book constitutes the refereed proceedings of the 18th International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2015, held in Kyoto, Japan, in November 2015. The 28 full papers were carefully reviewed and selected from 119 submissions.
This book constitutes the refereed proceedings oft he 19th International... Læs mere
Thisbook constitutes the proceedings of the 20th Annual Conference on Research inComputational Molecular Biology, RECOMB 2016, held in Santa Monica, CA, USA, inApril 2016. The 15 regular papers presented in this volume were carefullyreviewed and selected from 172 submissions.
This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The papers cover a range of topics in the field of reachability for infinite state systems;