LEADER 03920nam  22008295  450 
001 996213700603316
005 20200706071739.0
010   $a3-319-08494-1
024 7 $a10.1007/978-3-319-08494-7
035   $a(CKB)3710000000219385
035   $a(SSID)ssj0001298316
035   $a(PQKBManifestationID)11711878
035   $a(PQKBTitleCode)TC0001298316
035   $a(PQKBWorkID)11243108
035   $a(PQKB)10040830
035   $a(DE-He213)978-3-319-08494-7
035   $a(MiAaPQ)EBC6305135
035   $a(MiAaPQ)EBC5578027
035   $a(Au-PeEL)EBL5578027
035   $a(OCoLC)883658551
035   $a(PPN)179925520
035   $a(EXLCZ)993710000000219385
100   $a20140705d2014      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aReversible Computation$b[electronic resource] $e6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings /$fedited by Shigeru Yamashita, Shin-ichi Minato
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (X, 231 p. 105 illus.)
225 1 $aProgramming and Software Engineering ;$v8507
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-08493-3 
327   $aAutomata for reversible computation -- Notation and languages for reversible computation -- Synthesis and optimization for reversible circuits -- Validation and representation of quantum logic.
330   $aThis 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 with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on automata for reversible computation; notation and languages for reversible computation; synthesis and optimization for reversible circuits; validation and representation of quantum logic.
410  0$aProgramming and Software Engineering ;$v8507
606   $aLogic design
606   $aData structures (Computer science)
606   $aComputers
606   $aAlgorithms
606   $aSoftware engineering
606   $aComputer science
606   $aLogic Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I12050
606   $aData Structures and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15009
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
606   $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001
615  0$aLogic design.
615  0$aData structures (Computer science).
615  0$aComputers.
615  0$aAlgorithms.
615  0$aSoftware engineering.
615  0$aComputer science.
615 14$aLogic Design.
615 24$aData Structures and Information Theory.
615 24$aComputation by Abstract Devices.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aSoftware Engineering.
615 24$aComputer Science, general.
676   $a004
702   $aYamashita$b Shigeru$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMinato$b Shin-ichi$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996213700603316
996   $aReversible Computation$92036156
997   $aUNISA