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
Years
Keywords
  • 1
    UID:
    almahu_9949386050102882
    Format: 1 online resource
    ISBN: 9781003006220 , 1003006221 , 9781000028799 , 1000028798 , 9781000028867 , 1000028860 , 1000028720 , 9781000028720
    Content: "Modern risk management as practiced today faces significant obstacles-we argue-primarily due to the fundamental premise of the concept itself. It asserts that we are mainly dealing with measurable, quantifiable risks and that we can manage the uncontrollable by relying on formal control-based systems, which has produced a general view that (enterprise) risk management is a technical-scientific discipline. Strategic Risk Leadership offers a critique of the status quo, and encourages leaders, executives, and chief risk officers to find fresh approaches that can help them deal more proactively with what the future may hold. The book provides an overview of the history of risk management and current risk governance approaches as prescribed by leading risk management standards, such as, COSO and ISO31000. This enables practitioners to challenge the frameworks and improve their adoption in practice introducing sustainable resilience as a (more) meaningful response to uncertain and unknowable conditions. The book shows how traditional thinking downplays the significance of human behavior and judgmental biases as key elements of major organizational exposures illustrated and explained through numerous case examples and studies. This book is essential reading for strategic risk managers to understand the requirements for effective risk governance practices in the contemporary and rapidly changing global risk landscape. Indeed, it is a valuable resource for all risk executives, leaders and chief risk officers, as well as advanced students of risk management"--
    Additional Edition: Print version: Andersen, Torben Juul. Strategic risk leadership. Abingdon, Oxon ; New York, NY : Routledge, 2020 ISBN 9780367436308
    Language: English
    Keywords: Electronic books. ; Electronic books.
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    edoccha_9959146087902883
    Format: 1 electronic resource (XXI, 412 p. p.)
    ISBN: 1000028867
    Content: The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.
    Note: English
    Additional Edition: ISBN 3-86644-885-6
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    edocfu_9959146087902883
    Format: 1 electronic resource (XXI, 412 p. p.)
    ISBN: 1000028867
    Content: The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.
    Note: English
    Additional Edition: ISBN 3-86644-885-6
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    almahu_9949711006102882
    Format: 1 electronic resource (XXI, 412 p. p.)
    ISBN: 1000028867
    Content: The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.
    Note: English
    Additional Edition: ISBN 3-86644-885-6
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Did you mean 1000028687?
Did you mean 1000028267?
Did you mean 1000028860?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages