| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996397115103316 |
|
|
Titolo |
A proclamation, discharging the payment of the rents of the bishopricks to any, but the persons named by the council [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[London, : printed at Edinburgh, and re-printed at London by G. Croom for Thomas Watson, 1689] |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
William, King of England, <1650-1702.> |
Mary, Queen of England, <1662-1694.> |
|
|
|
|
|
|
|
|
Soggetti |
|
Scotland History 1689-1745 Early works to 1800 |
Scotland Church history 17th century Early works to 1800 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Originally published: Edinburgh : Printed by the heir of Andrew Anderson, 1689. |
Reproduction of the original in the Guildhall Library, London. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996465275903316 |
|
|
Titolo |
Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings / / edited by Francesco Logozzo, Doron A. Peled, Leonore D. Zuck |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 325 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4905 |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Nota di contenuto |
|
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions -- CTL as an Intermediate Language -- Multi-valued Logics, Automata, Simulations, and Games -- Verification of Register Allocators -- Program Analysis and Programming Languages for Security -- An Improved Tight Closure Algorithm for Integer Octagonal Constraints -- Handling Parameterized Systems with Non-atomic Global Conditions -- Abstract Interpretation of the Physical Inputs of Embedded Programs -- Diagnostic Information for Realizability -- Approximation Refinement for Interpolation-Based Model Checking -- Abstract Interpretation of Cellular Signalling Networks -- Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? -- Model Checking for Action Abstraction -- On Bridging Simulation and Formal Verification -- Extending Model Checking with Dynamic Analysis -- Deriving Bisimulations by Simplifying Partitions -- Precise Set Sharing Analysis for Java-Style Programs -- Sufficient Preconditions for Modular |
|
|
|
|
|
|
|
|
|
|
|
|
|
Assertion Checking -- Runtime Checking for Separation Logic -- Decision Procedures for Multisets with Cardinality Constraints -- All You Need Is Compassion -- A Forward-Backward Abstraction Refinement Algorithm -- Internal and External Logics of Abstract Interpretations -- From LTL to Symbolically Represented Deterministic Automata -- Monitoring Temporal Properties of Stochastic Systems -- A Hybrid Algorithm for LTL Games. |
|
|
|
|
|
|
Sommario/riassunto |
|
The book constitutes the refereed proceedings of the 9th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in San Francisco, USA, in January 2008. The 21 revised full papers presented together with 2 invited lectures and 2 invited tutorials were carefully reviewed and selected from a total of over 60 submissions. The papers feature current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, cross-fertilization, and advancement of hybrid methods. |
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISA996217138803316 |
|
|
Autore |
Mouton Yves |
|
|
Titolo |
Organic materials in civil engineering [[electronic resource] /] / Yves Mouton |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London ; ; Newport Beach, CA, : ISTE Ltd., c2006 |
|
|
|
|
|
|
|
ISBN |
|
1-280-51057-9 |
9786610510573 |
1-84704-461-1 |
0-470-39450-1 |
0-470-61231-2 |
1-84704-561-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (358 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Polymers |
Organic compounds |
Civil engineering - Materials |
|
|
|
|
|
|
|
|
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. [341]-349) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Organic Materials in Civil Engineering; Table of Contents; Introduction; Chapter 1. Organic Polymers; 1.1. Definitions; 1.2. Macromolecular structure; 1.3. Synthesis of polymers; 1.3.1. Step polymerization or polycondensation; 1.3.1.1. Mechanism of polycondensation: polycondensation and polyaddition; 1.3.1.2. Practical applications; 1.3.2. Chain polymerization or polymerization strictly speaking; 1.4. Processing: thermoplastics and thermosets; 1.4.1. Thermoplastics and thermosets, thermorigid or thermohard; 1.4.2. Monocomponent and bicomponent; 1.5. Elastomers; 1.6. Preliminary conclusions |
1.7. Crystalline polymers and amorphous polymers: glass transition1.7.1. Notion of crystalline polymer; 1.7.2. Amorphous polymers: glass transition; 1.8. Mechanical behaviors of polymers: time-temperature equivalence; 1.8.1. Elastic behavior; 1.8.2. Elasto-plastic behavior; 1.8.3. Rubber-like behavior; 1.8.4. Case of cross-linked polymers; 1.8.5. Pure products and formulated products: plasticization; 1.8.6. Time-temperature equivalence; 1.9. Miscibility of polymers: concept of alloy; 1.9.1. Notion of solubility parameter; 1.9.2. Estimation of the solubility |
1.9.3. Polymer-polymer mixtures: notion of alloy1.10. Durability and aging of polymers: life cycles; 1.10.1. Notion of aging; 1.10.2. Principles of the methods for appreciating the life of materials; 1.10.3. Fire behavior of polymers; 1.10.4. General information on the life cycle of polymers; 1.11. Organic materials, the environment and health: evolution of the market; 1.12. Main organic and organo-metallic polymers used in civil engineering; 1.13. General conclusion; Chapter 2. Organic Binders I. Bitumen and Road Construction; 2.1. General terminology; 2.2. Manufacture of bitumen |
2.3. Physico-chemical composition of bitumens2.4. Various forms of bitumen; 2.4.1. Paving bitumens: characterization and classification; 2.4.2. Fluid binders; 2.4.3. Bitumen emulsions; 2.4.3.1. Formation of an emulsion; 2.4.3.2. Failure of emulsions; 2.4.3.3. Characterization of emulsions: applications; 2.5. Usage properties of paving bitumen; 2.6. Adhesiveness; 2.7. Rheological properties; 2.7.1. Viscosity; 2.7.2. Viscoelasticity; 2.7.3. Complex modulus; 2.7.4. Towards a rheological classification; 2.7.5. The SHRP program - Test methods and specifications of road binders |
2.7.6. Bending beam creep or BBR test2.8. Aging of bitumen; 2.9. Limits in the use of bitumen: quest for an ideal binder; 2.10. Modified bitumens, bitumens with additives and special bitumens; 2.10.1. Physico-chemical characterization of polymer modified bitumens; 2.10.2. Practical applications; 2.10.3. Bitumens with additives; 2.10.4. Special paving bitumens; 2.11. Regeneration binders; 2.12. Other uses of bitumen in civil engineering; 2.13. General conclusion; Chapter 3. Organic Binders II. Materials for the Conservation of Heritage and Safety; 3.1. Concrete repair and protection products |
3.1.1. Products and systems for the protection and repair of concrete structures: normative definitions |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book provides an inventory of organic materials and products, the major components of all civil engineering projects, in terms of their scientific and technical background, including the regulations that cover their use and their predicted useful life. Such materials include: bitumen on the roads; geotextiles for retaining walls; membranes for bridges; tunnel and reservoir waterproofing; paint binders to protect metallic and concrete structures or to create road markings; injection |
|
|
|
|
|
|
|
|
|
|
resins; gluing products; concrete admixtures; and composite materials. The presentation is based on a ph |
|
|
|
|
|
| |