Michael Huth - Böcker

More and more working computer professionals are confronted with the use, maintenance, or customization of cryptographic components and program certification mechanisms for local or mobile code. This text for advanced undergraduate and beginning g...

Läs mer »

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods...

Läs mer »

This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra...

Läs mer »

What every computer scientist ought to know about cryptographic systems, security protocols, and secure information flow in programs.

Läs mer »

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods...

Läs mer »

The books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers. This first volume establishes the inductive approach as a fundamen...

Läs mer »

This book provides insights from research and practice in how organizations were able to sustain resilience in their global supply chains during the COVID-19 pandemic and to advance the understanding of supply chain risk management. The chapters h...

Läs mer »

This book provides insights from research and practice in how organizations were able to sustain resilience in their global supply chains during the COVID-19 pandemic and to advance the understanding of supply chain risk management. The chapters h...

Läs mer »

This book provides insights from research and practice in how organizations were able to sustain resilience in their global supply chains during the COVID-19 pandemic and to advance the understanding of supply chain risk management. The chapters h...

Läs mer »

The books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers. This first volume establishes the inductive approach as a fundamen...

Läs mer »

Michael Huth analysiert, welche Faktoren das Risiko der Gefahrgutbeförderung beeinflussen, und entwickelt auf dieser Basis Anforderungen an Aufbau und Funktionalitÿt eines Entscheidungsunterstützungssystems. Anhand zweier praxisnaher Beispiele ...

Läs mer »

Logistik, der Begriff wird immer wieder gerne genutzt, aber was ist Logistik eigentlich? Dies und vieles mehr erklärt Ihnen Michael Huth in diesem Buch. Er grenzt den Begriff von anderen ab, geht auf Logistikziele und -strategien ein und erläutert...

Läs mer »

Wie beim Klöße essen, einer nach dem anderen. Ganz so einfach ist Prozessmanagement leider nicht. Aber richtig veranschaulicht, ist es oft auch nicht so schwer zu verstehen, wie es im ersten Moment scheint. Michael Huth führt Sie zügig in dieses T...

Läs mer »

This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, Portugal. Coverage includes software verification, probabilistic m...

Läs mer »

This book constitutes the refereed proceedings of the 6th International Conference on Trust and Trustworthy Computing, TRUST 2013, held in London, UK, in June 2013. There is a technical and a socio-economic track. The full papers presented, 14 and...

Läs mer »

This book constitutes the refereed proceedings of the 6th International Conference on Trust and Trustworthy Computing, TRUST 2013, held in London, UK, in June 2013. There is a technical and a socio-economic track. The full papers presented, 14 and...

Läs mer »

Logistische Prozessketten und Logistiknetze werden immer komplexer - auch hinsichtlich Kosten, Zeit und Qualität. Mit diesem Buch soll die Lücke zwischen Anforderungen und Umsetzung im Logistik-Risikomanagement geschlossen werden. Es ist eine konk...

Läs mer »

Ereignisse wie die Corona-Pandemie, die Blockade des Suezkanals und der Krieg in der Ukraine haben in den letzten Jahren wesentlich dazu beigetragen, dass die Themen Resilienz und Risikomanagement weiter an Bedeutung gewinnen. Die Resilienz von Su...

Läs mer »

Michael Huth analysiert, welche Faktoren das Risiko der Gefahrgutbeforderung beeinflussen, und entwickelt auf dieser Basis Anforderungen an Aufbau und Funktionalitat eines Entscheidungsunterstutzungssystems. Anhand zweier praxisnaher Beispiele aus...

Läs mer »