| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990004301940403321 |
|
|
Autore |
Williams, Stephen <1942- > |
|
|
Titolo |
Diocletian : and the roman recovery / Stephen Williams |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
264 p. ill. : 8 p. di tav. ; 24 cm |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
|
|
Collocazione |
|
937.08 WIL 1 |
DDR-XX Dc XXVIII 003 |
DDR-XX Dc XXVIII 003 (al. es. 1) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910170961603321 |
|
|
Autore |
Kemeny Jim |
|
|
Titolo |
From public housing to the social market : rental policy strategies in comparative perspective / / Jim Kemeny |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London ; ; New York, : Routledge, 1995 |
|
|
|
|
|
|
|
ISBN |
|
1-134-88889-9 |
1-134-88890-2 |
1-282-77757-2 |
9786612777578 |
0-203-03380-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (211 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Rental housing |
Rental housing - Government policy |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. [186]-190) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Book Cover; Title; Contents; List of tables; Preface; Acknowledgements; Introduction; Profit markets and social markets; Markets as social institutions; German ordo-liberalism and the social market; Profit and social market rental strategies; On dominant views and research paradigms; The Romeo error in comparative renting; The anglo-saxon bias in comparative rental research; Ethnocentrism and implicit theory; On defining terms; Policy constructivism and the concept of maturation; From structural determinism to policy constructivism; The maturation process |
Cost renting, maturation and policy strategyReconceptualising rental systems; Dualist and unitary systems compared; Power, ideology and rental market policy structuring; Three worlds of capitalism and two worlds of renting?; Power structures and rental markets; Introduction; Case studies in the maturation process; Choice of case studies; Sweden: Gavlegrdarna; Australia: the South Australian Housing Trust; Maturation and asset stripping: discounted sales; Command policies; New Zealand; Australia; Britain; Conclusions; Market policies; Sweden; The Netherlands; Germany; Switzerland; Introduction |
|
|
|
|
|
|
|
|
|
|
|
|
|
Unitary rental markets: towards a systematisationThe dynamics of unitary rental markets; Unitary rental market dynamics and the Romeo error; Rental policy strategies as implicit agendas; The anglo-saxon hegemony and Eastern Europe; From command economy to the social market; The case against dualism; Reconstructing public renting; The role of profit renting; Subsidies; Housing allowances; Housing and other areas of social policy; Wider issues: housing and the welfare state; Housing and the welfare state; Summary and conclusions; Models of rental systems; Conclusions; Glossary of concepts |
NotesReferences; Index |
|
|
|
|
|
|
Sommario/riassunto |
|
This work presents a conceptual framework to allow a critical study of comparative rental markets. The framework centres around the concept of the process of maturation of cost rental housing and two policies for handling this which have been adopted by industrial societies. |
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910482992703321 |
|
|
Titolo |
Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings / / edited by E. Allen Emerson, Kedar S. Namjoshi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2006.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 443 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 3855 |
|
|
|
|
|
|
Altri autori (Persone) |
|
EmersonE. Allen |
NamjoshiKedar S |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer science |
Compilers (Computer programs) |
Software Engineering |
Computer Science Logic and Foundations of Programming |
Compilers and Interpreters |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Closure Operators for ROBDDs -- A CLP Method for Compositional and Intermittent Predicate Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation Framework for Coverability Properties of WSTS -- Complexity Results on Branching-Time Pushdown Model Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation into Boolean Functions -- Efficient Strongly Relational Polyhedral Analysis -- Environment Abstraction for Parameterized Verification -- Error Control for Probabilistic Model Checking -- Field Constraint Analysis -- A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems -- A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel External Directed Model Checking with Linear I/O -- Piecewise FIFO Channels Are Analyzable -- Ranking Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic Hierarchy Refactoring by Abstract Interpretation -- Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation -- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains -- Synthesis of Reactive(1) Designs -- Systematic Construction of Abstractions for Model-Checking -- Totally Clairvoyant Scheduling with Relative Timing Constraints -- Verification of Well-Formed Communicating Recursive State Machines -- What’s Decidable About Arrays?. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods. |
|
|
|
|
|
|
|
| |