LEADER 01739nam 2200385 n 450 001 996395934203316 005 20200824121312.0 035 $a(CKB)4330000000324444 035 $a(EEBO)2240912294 035 $a(UnM)ocm99891721e 035 $a(UnM)99891721 035 $a(EXLCZ)994330000000324444 100 $a19911125d1636 uy 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aBee patient in trouble: or, The patient mans counsell$b[electronic resource] $ewherein is showne the great goodnes [sic] of God towards them that beare the crosses and afflictions of this world patiently: as also a friendly instruction, whereby to advise us to forsake our wonted sinnes, and turne unto the Lord by speedy repentance, very meete and necessary for the worldlings to marke, reade, heare, and make use of. To the tune of, Bodkins Galliard 210 $aPrinted at London $cFor Iohn Wright junior, dwelling at the upper end of the Old Baily.$d[1636] 215 $a1 sheet ([1] p.) $cill 300 $aSigned: L.P. [i.e., Laurence Price]. 300 $aVerse: "Come, come, you greedy worldlings leave your toyle ..." 300 $aPublication date suggested by STC. 300 $aIn two parts, separated for mounting; woodcuts at head of each part. 300 $aReproduction of original in the British Library. 330 $aeebo-0018 606 $aBallads, English$y17th century 615 0$aBallads, English 700 $aL. P$g(Laurence Price),$ffl. 1625-1680?$01001543 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bCu-RivES 906 $aBOOK 912 $a996395934203316 996 $aBee patient in trouble: or, The patient mans counsell$92302558 997 $aUNISA LEADER 04703nam 22008055 450 001 9910484809703321 005 20251226195319.0 010 $a3-319-20860-8 024 7 $a10.1007/978-3-319-20860-2 035 $a(CKB)3710000000436927 035 $a(SSID)ssj0001558627 035 $a(PQKBManifestationID)16183751 035 $a(PQKBTitleCode)TC0001558627 035 $a(PQKBWorkID)14819556 035 $a(PQKB)11582947 035 $a(DE-He213)978-3-319-20860-2 035 $a(MiAaPQ)EBC6287243 035 $a(MiAaPQ)EBC5590608 035 $a(Au-PeEL)EBL5590608 035 $a(OCoLC)911633969 035 $a(PPN)186399766 035 $a(EXLCZ)993710000000436927 100 $a20150619d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aReversible Computation $e7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /$fedited by Jean Krivine, Jean-Bernard Stefani 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (VIII, 291 p. 90 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v9138 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-20859-4 327 $aInvited Paper -- Moment Semantics for Reversible Rule-Based Systems -- Reversible machines -- A Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional Languages -- Reverse Code Generation for Parallel Discrete Event Simulation -- Towards a Domain-Specific Language for Reversible Assembly Sequences -- Design and verification of quantum circuits -- Reversibility in Extended Measurement-based Quantum Computation -- A Fully Fault-Tolerant Representation of Quantum Circuits -- Equational reasoning about quantum protocols -- Design of reversible circuits -- Design and Fabrication of a Microprocessor using Adiabatic CMOS and Bennett Clocking -- Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits -- Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics -- Circuit Synthesis -- Technology Mapping for Single Target Gate based Circuits using Boolean Functional Decomposition -- Towards Code Optimization for Line-aware HDL-based Synthesis of Reversible Circuits -- Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions -- Short Papers -- Power-Clock Generator Impact on the Performance of NEM-Based Adiabatic Logic Circuits -- A Cost Metric for the Design of Nearest Neighbor Quantum Circuits at the Reversible Logic Level -- Towards modelling of local reversibility -- Application of Functional Decomposition in Synthesis of Reversible Circuits. 330 $aThis 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 invited talk were carefully reviewed and selected from 30 submissions. The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits, and circuit synthesis. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v9138 606 $aLogic design 606 $aComputer science 606 $aQuantum computers 606 $aAlgorithms 606 $aSoftware engineering 606 $aLogic Design 606 $aComputer Science Logic and Foundations of Programming 606 $aQuantum Computing 606 $aTheory of Computation 606 $aAlgorithms 606 $aSoftware Engineering 615 0$aLogic design. 615 0$aComputer science. 615 0$aQuantum computers. 615 0$aAlgorithms. 615 0$aSoftware engineering. 615 14$aLogic Design. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aQuantum Computing. 615 24$aTheory of Computation. 615 24$aAlgorithms. 615 24$aSoftware Engineering. 676 $a004 702 $aKrivine$b Jean$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStefani$b Jean-Bernard$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484809703321 996 $aReversible Computation$92889238 997 $aUNINA