03316nam 22006735 450 99646636770331620200707005133.03-319-99498-010.1007/978-3-319-99498-7(CKB)4100000006098295(DE-He213)978-3-319-99498-7(MiAaPQ)EBC6302034(PPN)229916368(EXLCZ)99410000000609829520180821d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierReversible Computation[electronic resource] 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings /edited by Jarkko Kari, Irek Ulidowski1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XIII, 353 p. 132 illus.) Programming and Software Engineering ;111063-319-99497-2 Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications.This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible concurrent computation; quantum circuits; reversible programming languages; and applications.Programming and Software Engineering ;11106Logic designArtificial intelligenceProgramming languages (Electronic computers)Computer communication systemsSoftware engineeringLogic Designhttps://scigraph.springernature.com/ontologies/product-market-codes/I12050Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logic design.Artificial intelligence.Programming languages (Electronic computers).Computer communication systems.Software engineering.Logic Design.Artificial Intelligence.Programming Languages, Compilers, Interpreters.Computer Communication Networks.Software Engineering.004Kari Jarkkoedthttp://id.loc.gov/vocabulary/relators/edtUlidowski Irekedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466367703316Reversible Computation2036156UNISA