Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
Type of Medium
Language
Region
Years
Person/Organisation
  • 1
    Online Resource
    Online Resource
    Abingdon, Oxon ; : Routledge,
    UID:
    almahu_9949386050702882
    Format: 1 online resource
    ISBN: 9781003022299 , 1003022294 , 9781000056013 , 1000056015 , 9781000056006 , 1000056007 , 9781000056020 , 1000056023
    Content: "Culture refers to not only the arts but also other manifestations of human intellectual achievement regarded collectively. It similarly refers to the customs, institutions, and achievements of a social group, a people, or a nation. Innovation refers to the action or process of change, alteration, or revolution; a new method of idea creation or product that may bring about change. It is easy to assume that innovation may be juxtaposed to the preservation of culture and time-tested rituals. Yet as human settlements grew; and as streets and squares evolved through the diverse exchanges of people trading, celebrating, rallying and socially interacting, it should come as little surprise that cities and its places would become, and continue to be, centres of culture and innovation that can be inextricably linked. Culture and Innovation in cities can potentially take on different complexions if viewed through the lens of academics and practitioners drawn from different geographies, disciplines, or fields of expertise when addressing particular urban challenges. It is through this complexity of views that this book seeks to provide a broad perspective on culture and innovation in the context of global cities today; and a rich cornucopia of insights from thought leaders within their respective fields to shape the cities of tomorrow"--
    Note: 〈P〉〈STRONG〉About the organisations〈/STRONG〉〈/P〉〈P〉〈STRONG〉Contributors〈/STRONG〉〈/P〉〈B〉〈P〉Acknowledgements〈/P〉〈/B〉〈P〉〈STRONG〉Forewords〈/STRONG〉〈/P〉〈P〉〈STRONG〉Introduction〈/STRONG〉〈/P〉〈B〉〈P〉1.0 Society〈/P〉〈/B〉〈P〉1.1 Where is the trust? For the good of the people〈/P〉〈I〉〈P〉Prof. Stephen Naylor and Prof. Sandra Harding〈/P〉〈/I〉〈P〉1.2 Shaping inclusive open cities in divisive times -- the interplay of communities and the municipality in Vienna〈/P〉〈P〉〈EM〉Maria Vassilakou〈/EM〉〈/P〉〈B〉〈P〉2.0 Culture〈/P〉〈/B〉〈P〉2.1 Building empowering media ecosystems for cities〈/P〉〈P〉〈I〉Emmanuel Benbihy〈/P〉〈/I〉〈P〉2.2 Enhancing the identity of cities through creative media installations〈/P〉〈P〉〈EM〉Prof. Tim Heath and Evangelia Pavlaki〈/EM〉〈/P〉〈B〉〈P〉3.0 Space 〈/P〉〈/B〉〈P〉3.1 Living better through sport〈/P〉〈I〉〈P〉Lim Teck Yin〈/P〉〈/I〉〈P〉3.2 The science of street life and the rebirth of the boulevard〈/P〉〈P〉〈EM〉Tim Stonor〈/EM〉〈/P〉〈B〉〈P〉4.0 Environment 〈/P〉〈/B〉〈P〉4.1 Traditional islamic values for passive environmental design〈/P〉〈I〉〈P〉Prof. Hisham Mortada〈/P〉〈/I〉〈P〉4.2 Landscape cities〈/P〉〈P〉〈EM〉Andrew Grant〈/EM〉〈/P〉〈B〉〈P〉5.0 Technology〈/P〉〈P〉〈/B〉5.1 Designing emergent futures for productive cities〈/P〉〈P〉〈I〉Tomas Diez〈/P〉〈/I〉〈P〉5.2 Understanding the future of education in the context of smart communities〈/P〉〈P〉〈EM〉Charif Hamidi〈/EM〉〈B〉〈/P〉〈P〉6.0 Economy 〈/P〉〈/B〉〈P〉6.1 Digital economies and city development: a perspective from Africa and the Middle East〈/P〉〈I〉〈P〉Samvit Kanoria and Prakash Parbhoo〈/P〉〈/I〉〈P〉6.2 The rise of the digital economy and its impact on the smart city〈/P〉〈P〉〈EM〉Prof. Jason Pomeroy〈/EM〉〈/P〉〈P〉〈STRONG〉Conclusion〈/STRONG〉〈/P〉〈P〉〈STRONG〉Photo credits〈/STRONG〉〈B〉〈/P〉〈/B〉
    Additional Edition: Print version: Cities of opportunities. Milton Park, Abingdon, Oxon ; New York, NY : Routledge, 2020 ISBN 9780367900663
    Language: English
    Keywords: Electronic books. ; Electronic books. ; History. ; Electronic books
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    KIT Scientific Publishing
    UID:
    almahu_9949710987702882
    Format: 1 electronic resource (XIV, 231 p. p.)
    ISBN: 1000056002
    Content: In order to solve a long-standing problem with list fusion, a new compiler transformation, “Call Arity” is developed and implemented in the Haskell compiler GHC. It is formally proven to not degrade program performance; the proof is machine-checked using the interactive theorem prover Isabelle. To that end, a formalization of Launchbury’s Natural Semantics for Lazy Evaluation is modelled in Isabelle, including a correctness and adequacy proof.
    Note: English
    Additional Edition: ISBN 3-7315-0546-0
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    KIT Scientific Publishing
    UID:
    edocfu_9959145700402883
    Format: 1 electronic resource (XIV, 231 p. p.)
    ISBN: 1000056002
    Content: In order to solve a long-standing problem with list fusion, a new compiler transformation, “Call Arity” is developed and implemented in the Haskell compiler GHC. It is formally proven to not degrade program performance; the proof is machine-checked using the interactive theorem prover Isabelle. To that end, a formalization of Launchbury’s Natural Semantics for Lazy Evaluation is modelled in Isabelle, including a correctness and adequacy proof.
    Note: English
    Additional Edition: ISBN 3-7315-0546-0
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Online Resource
    Online Resource
    KIT Scientific Publishing
    UID:
    edoccha_9959145700402883
    Format: 1 electronic resource (XIV, 231 p. p.)
    ISBN: 1000056002
    Content: In order to solve a long-standing problem with list fusion, a new compiler transformation, “Call Arity” is developed and implemented in the Haskell compiler GHC. It is formally proven to not degrade program performance; the proof is machine-checked using the interactive theorem prover Isabelle. To that end, a formalization of Launchbury’s Natural Semantics for Lazy Evaluation is modelled in Isabelle, including a correctness and adequacy proof.
    Note: English
    Additional Edition: ISBN 3-7315-0546-0
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Did you mean 1000156002?
Did you mean 1000056902?
Did you mean 1000056007?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages