Informatik (15 755 Artikel)

Insbesondere große Unternehmen betreiben häufig ein Vielzahl von Anwendungssystemen zur Transaktionsverarbeitung, die eine lange Entwicklungsgeschichte besitzen. Die meisten dieser Systeme basieren...

Problems, Reductions, and Proofs

Problems, Reductions, and Proofs

This book constitutes the refereed proceedings of the 6th International Conference on Reversible Computation, RC 2014, held in Kyoto, Japan, in July 2014. The 14 contributions presented together wi...

This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015. The 19 papers presented together with 1...

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers p...

This book constitutes the refereed proceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. The 19 contributions presented tog...

This book constitutes the refereed proceedings of the 13 International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this boo...

8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017.The 13 full and 5 short papers included i...

10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings

This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volum...

This book constitutes the refereed proceedings of the 4th International Workshop on Reversible Computation, RC 2012, held in Copenhagen, Denmark, in July 2012. The 19 contributions presented in thi...

14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings