LEADER 03009nam 22005533 450 001 9910159391903321 005 20250416110939.0 010 $a9782804703721 010 $a280470372X 035 $a(CKB)3710000001019142 035 $a(MiAaPQ)EBC5693331 035 $a(Au-PeEL)EBL5693331 035 $a(CaPaEBR)ebr11655140 035 $a(OCoLC)968926528 035 $a(FR-PaCSA)88899710 035 $a(FRCYB88899710)88899710 035 $a(EXLCZ)993710000001019142 100 $a20210901d2016 uy 0 101 0 $afre 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLondres Surprises $e500 Coups de Coeur 210 1$aCork :$cPierre Mardaga Editeur,$d2016. 210 4$d©2016. 215 $a1 online resource (314 pages) 311 08$a9782804703301 311 08$a2804703304 327 $a5 panoramas gratuits sur Londres -- Les 5 plus beaux parcours a? faire en transports en commun -- Les 5 meilleurs night-clubs de musique underground -- Les 5 meilleurs quartiers a? visiter -- Les 5 meilleures rues de commerces inde?pendants -- 5 promenades pour de?couvrir le Londres contemporain -- 25 activite?s a? faire avec les enfants -- Les 5 meilleurs muse?es pour enfants -- 5 lieux ou? partir a? l'aventure -- Les 5 meilleurs magasins pour enfants -- 5 activite?s stimulantes pour les enfants -- 5 endroits ou? s'amuser a? l'exte?rieur -- 20 endroits ou? loger -- Les 5 ho?tels design les plus tendance -- 5 logements a? prix raisonnable -- 5 he?bergements sortant de l'ordinaire -- 5 ho?tels charmants -- 35 activite?s pour le week-end -- 5 endroits ou? nager en plein air -- Les 5 plus beaux jardins cache?s -- Les 5 meilleures promenades en ve?lo -- 5 escapades amusantes pour le week-end -- 5 aventures a? tenter -- 5 endroits ou? faire du sport -- 5 endroits tranquilles ou? se relaxer -- 35 de?tails urbains et anecdotes a? connai?tre -- 5 noms de rues peu communs -- 5 de?tails urbains inhabituels -- 5 stations souterraines a? visiter -- 5 re?sidences qui ont marque? l'histoire -- 5 films cultes avec Londres pour de?cor -- 5 livres fascinants sur Londres -- 5 sites web essentiels -- Dans la me?me collection -- Copyright. 517 $aLONDRES SURPRISES 500 COUPS DE COEUR 606 $aTRAVEL / Europe / Great Britain$2bisacsh 606 $aTRAVEL / Museums, Tours, Points of Interest$2bisacsh 606 $aTRAVEL / Reference$2bisacsh 606 $aTRAVEL / Restaurants$2bisacsh 606 $aTRAVEL / Shopping$2bisacsh 615 7$aTRAVEL / Europe / Great Britain 615 7$aTRAVEL / Museums, Tours, Points of Interest 615 7$aTRAVEL / Reference 615 7$aTRAVEL / Restaurants 615 7$aTRAVEL / Shopping 700 $aGreig$b Tom$01374661 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910159391903321 996 $aLondres Surprises$93408043 997 $aUNINA LEADER 04281nam 22007455 450 001 9910485047203321 005 20251226203516.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 $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,$x2945-9168 ;$v7581 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$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,$x2945-9168 ;$v7581 606 $aLogic design 606 $aComputer science 606 $aAlgorithms 606 $aSoftware engineering 606 $aLogic Design 606 $aComputer Science Logic and Foundations of Programming 606 $aTheory of Computation 606 $aAlgorithms 606 $aSoftware Engineering 615 0$aLogic design. 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aSoftware engineering. 615 14$aLogic Design. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aTheory of Computation. 615 24$aAlgorithms. 615 24$aSoftware Engineering. 676 $a005.101/5113 701 $aGluck$b Robert$01432745 701 $aYokoyama$b Tetsuo$01763375 712 12$aRC 2012 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910485047203321 996 $aReversible computation$94203758 997 $aUNINA