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
Library
Years
Person/Organisation
Keywords
  • 1
    Online Resource
    Online Resource
    Karlsruhe : KIT Scientific Publishing
    UID:
    almahu_9949282126102882
    Format: 1 electronic resource (216 p.)
    ISBN: 1000097527
    Series Statement: Karlsruher Beiträge zur Regelungs- und Steuerungstechnik
    Content: This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults in the verification result. The approach is based on Kaucher interval arithmetic to enclose the measurement in a bounded error sense. The developed methods are proven mathematically to provide a reliable verification for a wide class of safety critical systems.
    Note: English
    Additional Edition: ISBN 3-7315-0965-2
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    Karlsruhe : KIT Scientific Publishing
    UID:
    edoccha_9960173530502883
    Format: 1 electronic resource (216 p.)
    ISBN: 1000097527
    Series Statement: Karlsruher Beiträge zur Regelungs- und Steuerungstechnik
    Content: This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults in the verification result. The approach is based on Kaucher interval arithmetic to enclose the measurement in a bounded error sense. The developed methods are proven mathematically to provide a reliable verification for a wide class of safety critical systems.
    Note: English
    Additional Edition: ISBN 3-7315-0965-2
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Karlsruhe : KIT Scientific Publishing
    UID:
    edocfu_9960173530502883
    Format: 1 electronic resource (216 p.)
    ISBN: 1000097527
    Series Statement: Karlsruher Beiträge zur Regelungs- und Steuerungstechnik
    Content: This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults in the verification result. The approach is based on Kaucher interval arithmetic to enclose the measurement in a bounded error sense. The developed methods are proven mathematically to provide a reliable verification for a wide class of safety critical systems.
    Note: English
    Additional Edition: ISBN 3-7315-0965-2
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    almahu_9949386270402882
    Format: 1 online resource (xli, 697 pages) : , illustrations
    ISBN: 9781003042846 , 1003042848 , 9781000097580 , 1000097587 , 9781000097528 , 1000097528 , 9781000097559 , 1000097552
    Content: "The backbone of any organization is its management system. It must reflect the needs of the organization and the requirements of its customers. Compliance with legal requirements and ethical environmental practices contribute towards the sustainability of the management system. Whatever the state of maturity of the management, this book, one of three, provides useful guidance to design, implement, maintain and improve its effectiveness and is intended to provide readers with practical 'how to' methods for integrating quality, safety and environmental management processes. This volume sets out procedures and flowcharts to show how the integration of these processes can be achieved. Separated into management procedures, core procedures, support procedures and assurance procedures, and complemented by practical examples, this book an invaluable resource for complete systems development and integration. This book, along with its two companion volumes, is a practical guide for real managers, designed to help them manage their business more effectively and gain competitive advantage"--
    Note: Cover -- Half Title -- Title Page -- Copyright Page -- Dedication -- Table of Contents -- List of Figures -- List of Tables -- List of Flowcharts -- List of Forms -- Disclaimer -- Foreword -- Review of Integrating Business Management Processes, Volumes 1, 2 and 3 -- Preface -- The Way Forward -- Acknowledgements -- Review -- Author -- 1 Integrating Management Systems -- 1.1 Introduction -- 1.2 Reasons for Integration -- 1.3 Benefits of IMSs -- 1.3.1 Internal Benefits to the Organisation -- 1.3.2 External Benefits to the Organisation -- 1.4 Drivers of Organisations Adopting IMS , 1.4.1 Top-Down Integration -- 1.4.2 Integration of Topics and Requirements -- 1.4.3 Integration of Day-to-Day Processes -- 1.5 Approaches to Integration -- 1.5.1 Two Levels of Integration -- 1.5.2 Three Levels of Integration -- 1.5.2.1 Integration as Correspondence -- 1.5.2.2 Integration as Coordination -- 1.5.2.3 Integration as a Strategic and Inherent Approach -- 1.6 Models of Integration -- 1.6.1 EFQM Model -- 1.6.1.1 Enablers -- 1.6.1.2 Results -- 1.6.2 Integration Based on ISO Standards -- 1.6.3 Process-Based Model -- 1.6.4 Process-Based Model with Focus on Critical Aspects , 1.6.5 IMS Model Based on Total Quality Approach -- 1.6.6 Optimal IMS of Quality and Safety for Food Enterprises -- 1.7 Classification of Business Processes -- 1.8 Proposed Model for Integrating Quality, Environment and FSMSs -- 1.8.1 Development of the Proposed IMS -- 1.8.1.1 Stage 1: Review -- 1.8.1.2 Stage 2: Identification, Classification and documenting processes -- 1.8.1.3 Stage 3: Integration -- 1.8.1.4 Stage 4: Monitoring the Effectiveness -- 1.9 Barriers to Overcome -- 1.9.1 Internal Barriers -- 1.9.2 External Barriers -- References -- Section I: Management Procedures , BMS 000 Business Management System -- MP 000 Our Company -- MP 001 Internal and External Issues -- MP 002 Interested Parties -- MP 003 Statutory and Regulatory Requirements -- MP 004 Scope -- MP 005 Planning IQFSE Management System -- MP 006 IQFSE Management System and Its Processes -- MP 007 Risk Management -- MP 008 Objectives -- MP 009 Integrated Quality, Food Safety and Environment Policy -- MP 010 Our Commitment -- MP 011 Roles, Responsibilities and Authorities -- MP 012 IQFSE Management System Planning Processes -- MP 013 Operational Planning and Control -- MP 014 Strategic Planning , MP 015 Production Planning -- MP 016 Looking After Our Customers -- MP 017 Management of Emergencies -- MP 018 Emergency Response Planning -- MP 019 Actions to Address Risks and Opportunities -- MP 020 Change Management -- MP 021 Control of Product and Service Changes -- Section II: Core Procedures -- CP 001 Approval of Suppliers -- CP 002 Offering Contracts -- CP 003 Purchasing Information -- CP 004 Purchasing -- CP 005 Purchasing Engineering Items -- CP 006 Purchasing Technology Resources -- CP 007 Inward Goods Receipt -- CP 008 Inward Goods Inspection -- CP 009 Issue of Inward Goods
    Additional Edition: Print version: De Silva, Titus. Integrating business management processe New York, NY : Routledge, 2020. ISBN 9780367487867
    Language: English
    Keywords: Electronic books. ; Electronic books.
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Did you mean 1000097527?
Did you mean 1000042528?
Did you mean 1000027428?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages