LEADER 03772nam  22008295  450 
001 996465969703316
005 20240108192621.0
010   $a3-642-38986-4
024 7 $a10.1007/978-3-642-38986-3
035   $a(CKB)3710000000002590
035   $a(SSID)ssj0001071241
035   $a(PQKBManifestationID)11959623
035   $a(PQKBTitleCode)TC0001071241
035   $a(PQKBWorkID)11114710
035   $a(PQKB)10158238
035   $a(SSID)ssj0001514677
035   $a(PQKBManifestationID)12498488
035   $a(PQKBTitleCode)TC0001514677
035   $a(PQKBWorkID)11472545
035   $a(PQKB)11299009
035   $a(DE-He213)978-3-642-38986-3
035   $a(MiAaPQ)EBC3096888
035   $a(PPN)172427517
035   $a(EXLCZ)993710000000002590
100   $a20130727d2013      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aReversible Computation$b[electronic resource] $e5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings /$fedited by Gerhard W. Dueck, D. Michael Miller
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (X, 263 p. 92 illus.)
225 1 $aProgramming and Software Engineering ;$v7948
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-38985-6 
320   $aIncludes bibliographical references and author index.
327   $aPhysical implementation -- Arithmetic -- Programming and data structures -- Modelling -- Synthesis and optimization -- Alternative technologies.
330   $aThis 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 together with one invited paper were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on physical implementation; arithmetic; programming and data structures; modelling; synthesis and optimization; and alternative technologies.
410  0$aProgramming and Software Engineering ;$v7948
606   $aLogic design
606   $aComputer logic
606   $aComputers
606   $aAlgorithms
606   $aSoftware engineering
606   $aLogic Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I12050
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
615  0$aLogic design.
615  0$aComputer logic.
615  0$aComputers.
615  0$aAlgorithms.
615  0$aSoftware engineering.
615 14$aLogic Design.
615 24$aLogics and Meanings of Programs.
615 24$aComputation by Abstract Devices.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aSoftware Engineering.
676   $a004
702   $aDueck$b Gerhard W$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMiller$b D. Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aRC (Workshop : Reversible computation)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465969703316
996   $aReversible Computation$92889238
997   $aUNISA