| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910462404803321 |
|
|
Autore |
Ferrett Ed. |
|
|
Titolo |
Health and safety in construction revision guide : for the NEBOSH National Certificate in Construction / / Ed Ferrett |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Abingdon, Oxon : , : Routledge, , 2012 |
|
|
|
|
|
|
|
ISBN |
|
1-280-77669-2 |
9786613687081 |
0-203-11378-0 |
1-136-28827-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (246 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
HughesPhil, MSc, FIOSH, RSP. |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Construction industry - Standards - Great Britain |
Industrial safety - Great Britain |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Companion to: Introduction to health and safety in construction / Phil Hughes, Ed Ferrett. 4th ed. 2011. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Front Cover; Health and Safety inConstruction Revision Guide; Copyright Page; Contents; Preface; List of Principal Abbreviations; Unit NGC1 Management of Health and Safety; 1.1 Foundations in Health and Safety; 1.2 Health and Safety Management Systems- Policy; 1.3 Health and Safety Management Systems- Organising; 1.4 Health and Safety Management Systems- Planning; 1.5 Health and Safety Management Systems- Measuring, Auditand Review; Unit NCC2 Managing and Controlling Hazards in Construction Activities 75; 2.1 Construction Law and Management; 2.2 Construction Site -Hazards and Risk Control |
2.3 Vehicle and Plant Movement - Hazards and Risk Control2.4 Musculoskeletal Hazards and Risk Control; 2.5 Work Equipment Hazards and Risk Control; 2.6 Electrical Safety; 2.7 Fire Safety; 2.8 Chemical and Biological Health Hazards and Risk Control; 2.9 Physical and Psychological Health Hazards and Risk Control; 2.10 Working at Height- Hazards and Risk Control; 2.11 Excavation Work and Confined Spaces - Hazards and Risk Control; 2.12 Demolition and Deconstruction - Hazards and Risk Control; Specimen Answers to |
|
|
|
|
|
|
|
|
|
|
|
NEBOSH Examination Questions |
|
|
|
|
|
|
Sommario/riassunto |
|
"This guide has been designed to be used together with the NEBOSH National General Certificate syllabus and the textbook Introduction to Health and Safety in Construction by Hughes and Ferrett. The guide gives only a basic summary of the NEBOSH National Certificate in Construction Health and Safety course and a full explanation of all the topics is given in the text book.The Revision Guide has the following features; It follows the latest NEBOSH National Certificate in Construction Health and Safety syllabus; Revision notes for each of the elements of the two units NGC1 Management of health and safety and NCC1 Managing and controlling hazards in construction activities; A summary of the learning outcomes and key points is given for each element; There is a final section to advise on the preparation for the examinations and some specimen answers to both long and short answer questions taken from recent NEBOSH examination papers. The Revision Guide will also be useful to those who have specific health and safety responsibilities in their jobs, such as Construction Site Managers and those who are studying on other courses related building and construction that include important health and safety elements, for example HNC, HND and degree courses in Building, Architecture, Construction, Building Services and Energy. The compact size of the Revision Guide ensures that they can be easily carried and used for revision at any time or place. They should be used throughout the NEBOSH course alongside the textbook and course hand-outs"--Provided by publisher. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910483811903321 |
|
|
Titolo |
Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / / edited by Michael Fisher, Fariba Sadri, Michael Thielscher |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2009.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 173 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 5405 |
|
|
|
|
|
|
Classificazione |
|
DAT 540f |
DAT 709f |
SS 4800 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
FisherMichael <1962-> |
SadriFariba <1956-> |
ThielscherMichael |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Machine theory |
Computer science |
Data structures (Computer science) |
Information theory |
Computer science - Mathematics |
Formal Languages and Automata Theory |
Computer Science Logic and Foundations of Programming |
Theory of Computation |
Data Structures and Information Theory |
Mathematics of Computing |
Models of Computation |
|
|
|
|
|
|
|
|
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 |
|
Invited Papers -- Easy Yet Hard: Model Checking Strategies of Agents -- Programming Multi-agent Systems -- Regular Papers -- Verifying Agents’ Conformance with Multiparty Protocols -- Run-Time Semantics of a Language for Programming Social Processes -- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut- |
|
|
|
|
|
|
|
|
|
|
|
Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic -- Bounded-Resource Reasoning as (Strong or Classical) Planning -- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems -- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall -- Contracts Violation: Justification via Argumentation -- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed and revised proceedings of the 9th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA IX, held in Dresden, Germany, in September 2008 and co-located with the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008. The 8 full papers, presented together with two invited papers, were carefull selected from 18 submissions and passed through two rounds of reviewing and revision. Topics addressed in the regular papers include the use of automata-based techniques for verifying agents' conformance with protocols, and an approach based on the C+ action description language to provide formal specifications of social processes such as those used in business processes and social networks. Other topics include casting reasoning as planning and thus providing an analysis of reasoning with resource bounds, a discussion of the formal properties of Computational Tree Logic (CTL) extended with knowledge operators, and the use of argumentation in multi-agent negotiation. The invited contributions discuss complexity results for model-checking temporal and strategic properties of multi-agent systems, and the challenges in design and development of programming languages for multi-agent systems. |
|
|
|
|
|
|
|
| |