LEADER 04316nam 22006375 450 001 9910373892103321 005 20200706120331.0 010 $a981-15-1380-5 024 7 $a10.1007/978-981-15-1380-0 035 $a(CKB)4100000010119511 035 $a(DE-He213)978-981-15-1380-0 035 $a(MiAaPQ)EBC6027576 035 $a(PPN)242843220 035 $a(EXLCZ)994100000010119511 100 $a20200123d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aUrban Health and Wellbeing Programme $b[electronic resource] $ePolicy Briefs: Volume 1 /$fedited by Franz W. Gatzweiler 205 $a1st ed. 2020. 210 1$aSingapore :$cSpringer Singapore :$cImprint: Springer,$d2020. 215 $a1 online resource (VIII, 70 p. 26 illus., 21 illus. in color.) 225 1 $aUrban Health and Wellbeing, Systems Approaches,$x2510-3490 311 $a981-15-1379-1 327 $aA systems approach to urban health and wellbeing has come of age in China -- A systems approach to urban health and wellbeing has come of age in the Asia-Pacific region -- A Systems Approach to Urban Health and Wellbeing has come of age in Latin-America and the Caribbean -- A systems approach to urban health and wellbeing has come of age in Africa -- Facilitating the Governance of Urban Sustainability and Resilience Transitions with Knowledge-Action Systems Analysis -- Advancing Urban Health and Wellbeing Through Collective and Artificial Intelligence: A Systems Approach 3.0 -- The SALURBAL (Salud Urbana en América Latina) Project: learning from Latin America?s Cities for a Healthier Future -- Antimicrobial resistance is a health risk in Chinese cities - now it has been mapped -- Financing & Implementing Resilience with a Systems Approach in Beirut -- Addressing the Environment and Health Nexus is a Strategic Approach to Advance the Sustainable Development Goals in ASEAN -- Health and Wellbeing in the Changing Urban Environment. 330 $aThis book is a compilation of the policy briefs produced by the International Science Council?s program on Urban Health and Wellbeing: A Systems Approach over the past five years. Intended for urban decision-makers at all levels, it highlights policy-relevant findings and research insights to encourage the co-creation of knowledge for healthy urban environments and people. The book shows how variations on the systems approach developed and promoted by the program have been implemented in regions around the world and contributed to improving urban health. These policy briefs summarize research findings and scientific events concerning urban health-related topics that are relevant for public health professionals, urban planners, urban stakeholder groups and the public at large. 410 0$aUrban Health and Wellbeing, Systems Approaches,$x2510-3490 606 $aEnvironmental health 606 $aUrban geography 606 $aEnvironmental policy 606 $aPublic health 606 $aEnvironmental Health$3https://scigraph.springernature.com/ontologies/product-market-codes/U18005 606 $aUrban Geography / Urbanism (inc. megacities, cities, towns)$3https://scigraph.springernature.com/ontologies/product-market-codes/J15010 606 $aEnvironmental Policy$3https://scigraph.springernature.com/ontologies/product-market-codes/X33040 606 $aWater and Health$3https://scigraph.springernature.com/ontologies/product-market-codes/213000 606 $aPublic Health$3https://scigraph.springernature.com/ontologies/product-market-codes/H27002 615 0$aEnvironmental health. 615 0$aUrban geography. 615 0$aEnvironmental policy. 615 0$aPublic health. 615 14$aEnvironmental Health. 615 24$aUrban Geography / Urbanism (inc. megacities, cities, towns). 615 24$aEnvironmental Policy. 615 24$aWater and Health. 615 24$aPublic Health. 676 $a362.1042 702 $aGatzweiler$b Franz W$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910373892103321 996 $aUrban Health and Wellbeing Programme$92017445 997 $aUNINA LEADER 05025nam 22007695 450 001 996465506103316 005 20230329233914.0 010 $a3-319-72056-2 024 7 $a10.1007/978-3-319-72056-2 035 $a(CKB)4100000001283034 035 $a(DE-He213)978-3-319-72056-2 035 $a(MiAaPQ)EBC6303540 035 $a(MiAaPQ)EBC5578868 035 $a(Au-PeEL)EBL5578868 035 $a(OCoLC)1066189524 035 $a(PPN)222227834 035 $a(EXLCZ)994100000001283034 100 $a20171127d2018 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogical Foundations of Computer Science$b[electronic resource] $eInternational Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8?11, 2018, Proceedings /$fedited by Sergei Artemov, Anil Nerode 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (X, 369 p. 17 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10703 311 $a3-319-72055-4 320 $aIncludes bibliographical references and index. 327 $aConstructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic structures -- Computability and randomness -- Logical foundations of programming -- Logical aspects of computational complexity -- Parameterized complexity -- Logic programming and constraints -- Automated deduction and interactive theorem proving -- Logical methods in protocol and program verification -- Logical methods in program specification and extraction -- Domain theory logics -- Logical foundations of database theory -- Equational logic and term rewriting -- Lambda and combinatory calculi -- Categorical logic and topological semantics -- Linear logic -- Epistemic and temporal logics -- Intelligent and multiple-agent system logics -- Logics of proof and justification -- Non-monotonic reasoning -- Logic in game theory and social software -- Logic of hybrid systems -- Distributed system logics -- Mathematical fuzzy logic -- System design logics. 330 $aThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018. The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10703 606 $aMachine theory 606 $aComputer arithmetic and logic units 606 $aComputer science 606 $aArtificial intelligence 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aFormal Languages and Automata Theory 606 $aArithmetic and Logic Structures 606 $aComputer Science Logic and Foundations of Programming 606 $aArtificial Intelligence 606 $aCompilers and Interpreters 606 $aProgramming Techniques 615 0$aMachine theory. 615 0$aComputer arithmetic and logic units. 615 0$aComputer science. 615 0$aArtificial intelligence. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 14$aFormal Languages and Automata Theory. 615 24$aArithmetic and Logic Structures. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aArtificial Intelligence. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 676 $a004 702 $aArtemov$b Sergei$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNerode$b Anil$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465506103316 996 $aLogical Foundations of Computer Science$9772536 997 $aUNISA LEADER 02934nam 2200661 a 450 001 9910781316803321 005 20200520144314.0 010 $a1-283-16354-3 010 $a9786613163547 010 $a1-61148-029-9 035 $a(CKB)2550000000039244 035 $a(EBL)730751 035 $a(OCoLC)741492731 035 $a(SSID)ssj0000540637 035 $a(PQKBManifestationID)11334144 035 $a(PQKBTitleCode)TC0000540637 035 $a(PQKBWorkID)10598365 035 $a(PQKB)11775524 035 $a(MiAaPQ)EBC730751 035 $a(Au-PeEL)EBL730751 035 $a(CaPaEBR)ebr10483538 035 $a(CaONFJC)MIL316354 035 $a(EXLCZ)992550000000039244 100 $a20100203d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aReading riddles$b[electronic resource] $erhetorics of obscurity from Romanticism to Freud /$fBrian Tucker 210 $aLewisburg, N.Y. $cBucknell University Press$dc2011 215 $a1 online resource (199 p.) 225 1 $aNew studies in the age of Goethe 300 $aDescription based upon print version of record. 311 $a1-61148-028-0 320 $aIncludes bibliographical references and index. 327 $aPt. I -- Riddle and obscurity in early romanticism -- From irritant to ideal: the transvaluation of riddle -- The closed circle of criticism -- Alethic aesthetics: Hegel's riddle of the symbol -- Wordplay and identity in Tieck's early prose -- Pt. II -- Reading the psyche: the human riddle -- The inaugural gesture of psychoanalysis -- The joke and its other: toward a Freudian concept of riddle -- The riddle as Freud's textual model -- Trauma and the other Oedipus complex. 330 $aReading Riddles: Rhetorics of Obscurity from Romanticism to Freud explores how the riddle becomes a figure for reading and writing in early German Romanticism and how this model then enables Sigmund Freud's approach to the psyche. It traces a migration of ideas from literature to psychoanalysis and argues that the relationship between them must be situated at the methodological level 410 0$aNew studies in the age of Goethe. 606 $aGerman literature$y18th century$xHistory and criticism 606 $aGerman literature$y19th century$xHistory and criticism 606 $aRiddles in literature 606 $aSymbolism in literature 606 $aRomanticism$zGermany 615 0$aGerman literature$xHistory and criticism. 615 0$aGerman literature$xHistory and criticism. 615 0$aRiddles in literature. 615 0$aSymbolism in literature. 615 0$aRomanticism 676 $a830.9/145 700 $aTucker$b Brian$f1976-$01463231 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910781316803321 996 $aReading riddles$93672467 997 $aUNINA LEADER 01118nam 2200373 450 001 9910798690403321 005 20231130211617.0 010 $a1-4438-9848-1 035 $a(CKB)3710000000830968 035 $a(MiAaPQ)EBC4648797 035 $a(EXLCZ)993710000000830968 100 $a20160903h20162016 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aKissinger and the invasion of cyprus $ediplomacy in the Eastern Mediterranean /$fby William Mallinson 210 1$aNewcastle upon Tyne, England :$cCambridge Scholars Publishing,$d2016. 210 4$d©2016 215 $a1 online resource (232 pages) 311 $a1-4438-3179-4 311 $a1-4438-9737-X 320 $aIncludes bibliographical references and index. 607 $aCyprus$xHistory 676 $a973.924092 700 $aMallinson$b William$0913500 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910798690403321 996 $aKissinger and the invasion of cyprus$93837922 997 $aUNINA