LEADER 03676nam 2200541 450 001 9910797100303321 005 20240102235732.0 010 $a9783038213130 : (ebk : EbookCentral) 024 7 $a10.1515/9783038213130 035 $a(MiAaPQ)EBC4793914 035 $a(Au-PeEL)EBL4793914 035 $a(CaPaEBR)ebr11334810 035 $a(CaONFJC)MIL979758 035 $a(OCoLC)971365869 035 $a(DE-B1597)252856 035 $a(OCoLC)979911788 035 $a(DE-B1597)9783038213130 035 $a(PPN)254608086 035 $a(CKB)3850000000000455 035 $a(EXLCZ)993850000000000455 100 $a20161026h20172017 uy| 0 101 0 $aeng 135 $aurcnu|||uuuuu 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aAdaptive reuse $eextending the lives of buildings /$fLiliane Wong 210 1$aBoston :$cBirkhauser,$d[2017] 210 4$d2017 215 $a256p. ;$ccol. ill 320 $aIncludes bibliographical references and index. 327 $tFrontmatter -- $tContents -- $tPreface -- $t00. Babel -- $t01. New Order: The Frankenstein Syndrome -- $t02. Plunder: Erasure & Redemption -- $t03. The Quest for Immortality -- $t04. Battle of the Immortals -- $t05. Immortality Redefined -- $t06. Immortality Codified -- $t07. Hosts [and Guests] -- $t08. Considering DNA -- $t09. Ghosts -- $t10. Fitting In -- $t11. The Impassive Host -- $t12. Sited Interventions -- $t13. The Mathematics of Reuse -- $t14. A New and Distant Frontier -- $t15. Second Violin -- $tIllustration Credits -- $tAbout the Author -- $tIndex 330 $aBauen im Bestand erfordert mehr als praktische Lösungen und Sicherheit in Stilfragen. Wenn bei der Umnutzung von Bauten die neuen Programme und Funktionen mit Veränderungen verbunden sind, stellt sich die fundamentale Frage, mit welchen Mitteln die Vergangenheit in den Entwurf für die Zukunft integriert werden soll. Auf dem Hintergrund langjähriger Lehrerfahrung gibt dieses Buch eine umfassende Einführung ins architektonische Entwerfen von Umbau-/Umnutzungsprojekten. Es zieht Bildwelten von Frankenstein bis Rem Koolhaas zur Verdeutlichung heran, behandelt Geschichte und Theorie, Bautypologie, Material- und Konstruktionsfragen sowie Aspekte von Denkmalschutz, Urbanistik und Innenarchitektur und stellt so das Bauen im Bestand als ein eigenständiges Gebiet des architektonischen Arbeitens dar. 330 $aBuilding in existing fabric requires more than practical solutions and stylistic skills. The adaptive reuse of buildings, where changes in the structure go along with new programs and functions, poses the fundamental question of how the past should be included in the design for the future. On the background of long years of teaching and publishing, and using vivid imagery from Frankenstein to Rem Koolhaas and beyond, the author provides a comprehensive introduction to architectural design for adaptive reuse projects. History and theory, building typology, questions of materials and construction, aspects of preservation, urban as well as interior design are dealt with in ways that allow to approach adaptive reuse as a design practice field of its own right. 606 $aBuildings$xRemodeling for other use 606 $aInterior architecture 606 $aArchitecture and history 615 0$aBuildings$xRemodeling for other use. 615 0$aInterior architecture. 615 0$aArchitecture and history. 676 $a690/.24 700 $aWong$b Liliane$01547930 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910797100303321 996 $aAdaptive reuse$93804558 997 $aUNINA LEADER 06300nam 22007575 450 001 9910144212303321 005 20200702153058.0 010 $a3-540-40018-4 024 7 $a10.1007/b94290 035 $a(CKB)1000000000212257 035 $a(SSID)ssj0000325922 035 $a(PQKBManifestationID)11230927 035 $a(PQKBTitleCode)TC0000325922 035 $a(PQKBWorkID)10264626 035 $a(PQKB)11067299 035 $a(DE-He213)978-3-540-40018-9 035 $a(MiAaPQ)EBC3088540 035 $a(PPN)155179322 035 $a(EXLCZ)991000000000212257 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProgramming Languages and Systems $eFirst Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings /$fedited by Atsushi Ohori 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (XIV, 434 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2895 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20536-5 320 $aIncludes bibliographical references and index. 327 $aInvited Talk 1 -- On a Method of Global Optimization -- Session 1 -- Observing Asymmetry and Mismatch -- Expressive Synchronization Types for Inheritance in the Join Calculus -- Term Graph Rewriting for the ?-Calculus -- Useless-Code Elimination and Program Slicing for the Pi-Calculus -- Session 2 -- Constraint Functional Logic Programming for Origami Construction -- A Typeful and Tagless Representation for XML Documents -- Dataflow Pointcut in Aspect-Oriented Programming -- Session 3 -- Affine-Based Size-Change Termination -- Using Locality of Flow in Dataflow Analyses -- A Differential Fixpoint Evaluation Framework for Non-distributive Systems -- Invited Talk 2 -- Model Checking: From Hardware to Software -- Session 4 -- Executing Verified Compiler Specification -- Controlling and Optimizing the Usage of One Resource -- Resource Usage Verification -- Automatic Construction of Hoare Proofs from Abstract Interpretation Results -- Session 5 -- A Program Inverter for a Functional Language with Equality and Constructors -- Rebuilding a Tree from Its Traversals: -- Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver -- Session 6 -- Continuation Semantics for Parallel Haskell Dialects -- Translating a Continuous-Time Temporal Logic into Timed Automata -- The Semantic Layers of Timber -- Invited Talk 3 -- Scrap Your Boilerplate -- Session 7 -- Correctness of a Higher-Order Removal Transformation through a Relational Reasoning -- Extensional Polymorphism by Flow Graph Dispatching -- Register Allocation Based on a Reference Flow Analysis -- Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations. 330 $aWith warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countries and regions such as Japan, South Korea, Singapore, and Taiwan, the 1st Asian Symposium on Programming Languages andSystems(APLAS2003)tookplaceinBeijing.Wereceived76papers,among which 24 were selected for the proceedings after serious evaluation, which fully demonstrates the high quality of the collected papers. I hereby, on behalf of the Program Committee and the Organization Committee of the symposium, would like to extend the warmest welcome and hearty thanks to all colleagues who attended the symposium, all scholars who generously contributed their papers, and all those who were actively dedicated to the organization of this symposium. Over the past decade, the Asian economy has undergone rapid development. Keeping pace with this accelerated economic growth, Asia has made great he- way in software, integrated circuits, mobile communication and the Internet. All this has laid a ?rm material foundation for undertaking theoretical research on computer science and programming languages. Therefore, to meet the incr- sing demands of the IT market, great opportunities and challenges in advanced research in these ?elds. I strongly believe that in the coming future, with the persistent e?orts of our colleagues, the Asian software industry and research on computer science will be important players in the world economy, on an equal footing with their counterparts in the United States and Europe. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2895 606 $aProgramming languages (Electronic computers) 606 $aSoftware engineering 606 $aOperating systems (Computers) 606 $aComputer logic 606 $aLogic, Symbolic and mathematical 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aProgramming languages (Electronic computers) 615 0$aSoftware engineering. 615 0$aOperating systems (Computers) 615 0$aComputer logic. 615 0$aLogic, Symbolic and mathematical. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering. 615 24$aOperating Systems. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a005.13 702 $aOhori$b Atsushi$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aAPLAS 2003 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144212303321 996 $aProgramming Languages and Systems$93644366 997 $aUNINA