| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996211054303316 |
|
|
Titolo |
Formal methods in computer-aided design : FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : IEEE Computer Society, 2007 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Digital integrated circuits - Computer-aided design |
Integrated circuits - Verification |
Formal methods (Computer science) - Design and construction - Mathematics |
Digital integrated circuits |
Electrical & Computer Engineering |
Electrical Engineering |
Engineering & Applied Sciences |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910254804703321 |
|
|
Titolo |
Urban Regions Now & Tomorrow : Between vulnerability, resilience and transformation / / edited by Sonja Deppisch |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
9783658167592 |
3-658-16759-9 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (282 pages) |
|
|
|
|
|
|
Collana |
|
Studien zur Resilienzforschung, , 2510-0939 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Community psychology |
Environmental psychology |
Community and Environmental Psychology |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Past, current and future change processes and their consequential challenges to urban and regional development -- Empirical as well as theoretical-conceptual reference to vulnerability, resilience and transformation as the dominant concepts on how it can be dealt with long-term or surprising and also sudden disastrous change; overweight on resilience -- Resilient development in urban regions of Europe, Northern America and Australia and potential transformations. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book is dealing with past, current and future change processes in European, Northern American as well as Australian cities and urban regions, and with the challenges they pose to a resilient urban development. Additionally, contributions deal with potential transformations of urban and regional development and related planning and governance approaches. It is referred to three dominant concepts on how it can be dealt with long-term or surprising and also sudden disastrous change, with an overweight on resilience. Contents Past, current and future change processes and their consequential challenges to urban and regional development Empirical as well as theoretical-conceptual reference to vulnerability, resilience and transformation as the dominant concepts on how it can be dealt with long-term or surprising and also sudden disastrous change; overweight |
|
|
|
|
|
|
|
|
|
|
on resilience Resilient development in urban regions of Europe, Northern America and Australia and potential transformations Target Groups scientists, practitioners and stakeholders from different disciplines and contexts working in urban and regional development and focusing especially on change processes in urban contexts and how to deal with their challenges scientists, students and further scholars who are interested or involved in the ongoing debates on resilience and transformation, here with the prevailing reference to the future development of urban regions The Editor Dr. Sonja Deppisch, HafenCity University Hamburg, involved in research on resilience in urban and regional planning and development since 2009. |
|
|
|
|
|
| |