LEADER 04759nam 22007335 450 001 996466269103316 005 20200703022157.0 010 $a3-642-36314-8 024 7 $a10.1007/978-3-642-36315-3 035 $a(CKB)3400000000125725 035 $a(SSID)ssj0000855402 035 $a(PQKBManifestationID)11516686 035 $a(PQKBTitleCode)TC0000855402 035 $a(PQKBWorkID)10913721 035 $a(PQKB)11229363 035 $a(DE-He213)978-3-642-36315-3 035 $a(MiAaPQ)EBC3069554 035 $a(PPN)168329999 035 $a(EXLCZ)993400000000125725 100 $a20130125d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aReversible Computation$b[electronic resource] $e4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers /$fedited by Robert Glück, Tetsuo Yokoyama 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (X, 241 p. 70 illus.) 225 1 $aProgramming and Software Engineering ;$v7581 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-36315-6 320 $aIncludes bibliographical references and index. 327 $aTheoretical Considerations -- Tutorial: Graphical Calculus for Quantum Circuits -- One-Way Reversible Multi-head Finite Automata -- A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads -- Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically Reversible Abstract Machines -- Synthesizing Loops for Program Inversion -- Frugal Encoding in Reversible MOQA: A Case Study for Quicksort -- Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots -- Reversible and Quantum Circuits -- Reversible and Quantum Circuit Optimization: A Functional Approach -- Properties of Quantum Templates -- Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits -- Design of an Online Testable Ternary Circuit from the Truth Table -- Physical Realizations and Design Garbageless Reversible Implementation of Integer Linear Transformations -- Garbage-Free Reversible Integer Multiplication with Constants of the Form 2k ± 2l ± 1 -- Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams -- Using ?DDs in the Design of Reversible Circuits (Work-In-Progress) -- Distributed Systems -- A Verification Technique for Reversible Process Algebra -- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway -- Controlled Reversibility and Compensations. 330 $aThis 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 this volume were carefully reviewed and selected from 46 submissions. The papers cover theoretical considerations, reversible software and reversible hardware, and physical realizations and applications in quantum computing. 410 0$aProgramming and Software Engineering ;$v7581 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 $a005.101/5113 702 $aGlück$b Robert$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYokoyama$b Tetsuo$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aRC 2012 906 $aBOOK 912 $a996466269103316 996 $aReversible Computation$92036156 997 $aUNISA LEADER 01944nam0 2200421 i 450 001 CFI0497004 005 20251003044143.0 010 $a8800857280 020 $aIT$b2001-9903 100 $a20121022d2000 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aSindacati e imprenditori$ele relazioni industriali in Italia dalla caduta del fascismo a oggi$fSandro Rogari 210 $aFirenze$cF. Le Monnier$d2000 215 $aX, 303 p.$d21 cm. 225 | $aQuaderni di storia$i. N. S$v18 410 0$1001CFI0427450$12001 $aQuaderni di storia$i. N. S$v18 606 $aRelazioni industriali$xItalia$x1945-1999$2FIR$3CFIC116345$9I 676 $a331$9ECONOMIA DEL LAVORO$v14 676 $a331.0945$9ECONOMIA DEL LAVORO, RELAZIONI INDUSTRIALI. Italia$v20 676 $a331.0945$9ECONOMIA DEL LAVORO. Italia$v21 676 $a331.880945$9SINDACATI. Italia$v20 686 $aIT/X430.0$cECONOMIA E SOCIETA ITALIA$2R 686 $aIT/X432.6$cRELAZIONI INDUSTRIALI ITALIA$2R 686 $aIT/X432.8$cORGANIZZAZIONI IMPRENDITORIALI E CONSORTILI ITALIA$2R 686 $aIT/X436.8$cORGANIZZAZIONI SINDACALI ED ALTRE ITALIA$2R 700 1$aRogari$b, Sandro$3CFIV015157$4070$080441 801 3$aIT$bIT-000000$c20121022 850 $aIT-BN0095 $aIT-NA0581 901 $bNAP FC$cFONDO $n$ 901 $bNAP 01$cPOZZO LIB.$nVi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono. 912 $aCFI0497004 950 0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01POZZO LIB.ECON MON 2706$e 0101 0000009735E VMA 1 v. precedente collocazione sez. DASES A 0090$fB $h20080916$i20080916 977 $a 01$a FC 996 $aSindacati e imprenditori$9907153 997 $aUNISANNIO