LEADER 02751nam 2200577 a 450 001 9910456264003321 005 20200520144314.0 010 $a1-283-14835-8 010 $a9786613148353 010 $a981-4295-73-6 035 $a(CKB)2550000000039699 035 $a(EBL)737645 035 $a(OCoLC)742333501 035 $a(SSID)ssj0000632506 035 $a(PQKBManifestationID)12217379 035 $a(PQKBTitleCode)TC0000632506 035 $a(PQKBWorkID)10627657 035 $a(PQKB)11786657 035 $a(MiAaPQ)EBC737645 035 $a(WSP)00007648 035 $a(Au-PeEL)EBL737645 035 $a(CaPaEBR)ebr10480227 035 $a(CaONFJC)MIL314835 035 $a(EXLCZ)992550000000039699 100 $a20110712d2011 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aBeijing record$b[electronic resource] $ea physical and political history of planning modern Beijing /$fWang Jun 210 $aHackensack, N.J. $cWorld Scientific$d2011 215 $a1 online resource (537 p.) 300 $aDescription based upon print version of record. 311 $a981-4295-72-8 320 $aIncludes bibliographical references and index. 327 $aContents; Foreword; Preface; Acknowledgement; Chapter One Preservation vs. Demolition; Chapter Two Antagonizing Views on Beijing's City Planning; Chapter Three The "Liang-Chen Proposal"; Chapter Four Controversy on "Liang-Chen Proposal"; Chapter Five Controversy on Dawuding; Chapter Six Perplexities of the Wise; Chapter Seven Pedantism; Chapter Eight Blueprint Revealed; Chapter Nine Clean Break between the Old and the New; Chapter Ten Lingering Sound, Hard to Die; Index 330 $aIn 2003, the Chinese Xinhua News Agency journalist Wang Jun published the bestseller ""Beijing Record"", the result of ten years of research on the urban transformation of Beijing in the last fifty years. Home to more than 15 million people, this ancient capital city - not surprisingly - has a controversial, complicated history of planning and politics, development and demolition. The publication raises a number of unsettling questions: Why has a valuable historical architecture such as city ramparts, gateways, old temples, memorial archways and the urban fabric of hutongs (traditional alleywa 606 $aCity planning$zChina$zBeijing 607 $aBeijing (China)$xHistory$y20th century 608 $aElectronic books. 615 0$aCity planning 676 $a307.12160951156 700 $aWang$b Jun$0855712 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910456264003321 996 $aBeijing record$92240258 997 $aUNINA LEADER 01195nam a2200301 i 4500 001 991001537619707536 005 20020502182951.0 008 970207s1983 it ||| | ita 020 $a8800855962 035 $ab10864714-39ule_inst 035 $aLE02371126$9ExL 040 $aDip.to Studi Storici$bita 082 0 $a945.09 100 1 $aNicoletti, Francesco$0242528 245 10$aCattolici e laici di fronte al decentramento regionale in Italia (1860-1968) /$cFrancesco Nicoletti ; presentazione di Francesco Malgeri 260 $aFirenze :$bFelice Le Monnier,$c1983 300 $a190 p. ;$c20 cm. 490 0 $aQuaderni di storia ;$v58 650 4$aCattolici e politica 650 4$aRegione - Decentramento amministrativo 650 4$aStoria$zItalia$ySec. 19.-20. - Regioni 700 1 $aMalgeri, Francesco 907 $a.b10864714$b23-02-17$c28-06-02 912 $a991001537619707536 945 $aLE023 945.09 NIC 1 - 1$g1$i2023000025154$lle023$o-$pE0.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i10973631$z28-06-02 996 $aCattolici e laici di fronte al decentramento regionale in Italia (1860-1968$997809 997 $aUNISALENTO 998 $ale023$b01-01-97$cm$da $e-$fita$git $h0$i1 LEADER 03550nam 22008415 450 001 9910337564003321 005 20251225193628.0 010 $a9783030171384 010 $a3030171388 024 7 $a10.1007/978-3-030-17138-4 035 $a(CKB)4100000007823590 035 $a(DE-He213)978-3-030-17138-4 035 $a(MiAaPQ)EBC5922766 035 $a(Au-PeEL)EBL5922766 035 $a(OCoLC)1132418762 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/39604 035 $a(PPN)235668427 035 $a(MiAaPQ)EBC31734330 035 $a(Au-PeEL)EBL31734330 035 $a(OCoLC)1117483691 035 $a(EXLCZ)994100000007823590 100 $a20190402d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPrinciples of Security and Trust $e8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6?11, 2019, Proceedings /$fedited by Flemming Nielson, David Sands 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XI, 249 p. 2896 illus., 22 illus. in color.) 225 1 $aSecurity and Cryptology,$x2946-1863 ;$v11426 311 08$a9783030171377 311 08$a303017137X 327 $aFoundations for parallel information ow control runtime systems -- A Formal Analysis of Timing Channel Security via Bucketing -- A Dependently Typed Library for Static Information-Flow Control in Idris -- Achieving Safety Incrementally with Checked C -- Wys*: A DSL for Verified Secure Multi-party Computations -- Generalised Differential Privacy for Text Document Processing -- Symbolic verification of distance bounding protocols -- On the formalisation of ?-Protocols and Commitment Schemes -- Orchestrating Layered Attestations -- Verifying liquidity of Bitcoin contracts. 330 $aThis book is Open Access under a CC BY licence. 410 0$aSecurity and Cryptology,$x2946-1863 ;$v11426 606 $aData protection 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aElectronic digital computers$xEvaluation 606 $aComputers 606 $aComputer science 606 $aData and Information Security 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aSystem Performance and Evaluation 606 $aComputing Milieux 606 $aTheory of Computation 615 0$aData protection. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aElectronic digital computers$xEvaluation. 615 0$aComputers. 615 0$aComputer science. 615 14$aData and Information Security. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aSystem Performance and Evaluation. 615 24$aComputing Milieux. 615 24$aTheory of Computation. 676 $a005.8 676 $a005.8 700 $aNielson$b Flemming$4edt$0714740 702 $aNielson$b Flemming$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSands$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910337564003321 996 $aPrinciples of Security and Trust$93358691 997 $aUNINA