Bokus

Michael Huth – författare

Visar alla böcker från författaren Michael Huth. Handla med fri frakt och snabb leverans.

24 produkter

  1. Michael Huth, Mark Ryan - Logic in Computer Science, Häftad. Tillgänglighet: Lägg i varukorg

    Logic in Computer Science

    Modelling and Reasoning about Systems

    Av Michael Huth, Mark Ryan

    Häftad, 2004

    938 kr

    Lägg i varukorg

    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 in formal reasoning so that students can gain …

  2. Mark Ryan, Michael Huth - Logic in Computer Science, E-bok. Tillgänglighet: Lägg i varukorg

    Logic in Computer Science

    Modelling and Reasoning about Systems

    Av Mark Ryan, Michael Huth

    E-bok, 2004

    923 kr

    Lägg i varukorg

    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 in formal reasoning so that students can gain …

  3. Mark Ryan, Michael Huth - Logic in Computer Science, E-bok. Tillgänglighet: Lägg i varukorg

    Logic in Computer Science

    Modelling and Reasoning about Systems

    Av Mark Ryan, Michael Huth

    E-bok, 2004

    923 kr

    Lägg i varukorg

    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 in formal reasoning so that students can gain …

  4. Bernhard Steffen, Oliver Rüthing, Michael Huth - Mathematical Foundations of Advanced Informatics, Häftad. Tillgänglighet: Lägg i varukorg

    Mathematical Foundations of Advanced Informatics

    Volume 1: Inductive Approaches

    Av Bernhard Steffen, Oliver Rüthing m. fl.

    Häftad, 2019

    377 kr

    Lägg i varukorg

    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 fundamental principle for system and domain analysis. After a …

  5. Omera Khan, Michael Huth, George A. Zsidisin, Michael Henke - Supply Chain Resilience, Inbunden. Tillgänglighet: Lägg i varukorg

    Supply Chain Resilience

    Reconceptualizing Risk Management in a Post-Pandemic World

    Av Omera Khan, Michael Huth m. fl.

    Inbunden, 2022

    2248 kr

    Lägg i varukorg

    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 highlight the lessons learned, insist on new models …

  6. Michael Henke, George A. Zsidisin, Michael Huth, Omera Khan - Supply Chain Resilience, E-bok. Tillgänglighet: Lägg i varukorg

    Supply Chain Resilience

    Reconceptualizing Risk Management in a Post-Pandemic World

    Av Michael Henke, George A. Zsidisin m. fl.

    E-bok, 2022

    2948 kr

    Lägg i varukorg

    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 highlight the lessons learned, insist on new models …

  7. Omera Khan, Michael Huth, George A. Zsidisin, Michael Henke - Supply Chain Resilience, Häftad. Tillgänglighet: Lägg i varukorg

    Supply Chain Resilience

    Reconceptualizing Risk Management in a Post-Pandemic World

    Av Omera Khan, Michael Huth m. fl.

    Häftad, 2023

    2248 kr

    Lägg i varukorg

    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 highlight the lessons learned, insist on new models …

  8. Bernhard Steffen, Oliver Rüthing, Michael Huth - Mathematical Foundations of Advanced Informatics, Inbunden. Tillgänglighet: Lägg i varukorg

    Mathematical Foundations of Advanced Informatics

    Volume 1: Inductive Approaches

    Av Bernhard Steffen, Oliver Rüthing m. fl.

    Inbunden, 2018

    377 kr

    Lägg i varukorg

    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 fundamental principle for system and domain analysis. After a …

  9. Michael Huth, Oliver Ruthing, Bernhard Steffen - Mathematical Foundations of Advanced Informatics, E-bok. Tillgänglighet: Lägg i varukorg

    Mathematical Foundations of Advanced Informatics

    Volume 1: Inductive Approaches

    Av Michael Huth, Oliver Ruthing m. fl.

    E-bok, 2018

    470 kr

    Lägg i varukorg

    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 fundamental principle for system and domain analysis. After …

  10. Michael Huth - Risikomanagement der Gefahrgutbeförderung, E-bok. Tillgänglighet: Lägg i varukorg

    Risikomanagement der Gefahrgutbeförderung

    Einsatzpotential eines GIS-basierten Entscheidungsunterstützungssystems

    Av Michael Huth

    E-bok, 2013

    937 kr

    Lägg i varukorg

  11. Michael Huth - Wiley-Schnellkurs Prozessmanagement, Häftad. Tillgänglighet: Lägg i varukorg

    Wiley-Schnellkurs Prozessmanagement

    Av Michael Huth

    Häftad, 2017

    189 kr

    Lägg i varukorg

    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 Thema ein. Er erklärt, was Prozesse überhaupt sind, …

  12. Michael Huth - Wiley-Schnellkurs Logistik, E-bok. Tillgänglighet: Lägg i varukorg

    Wiley-Schnellkurs Logistik

    Av Michael Huth

    E-bok, 2015

    218 kr

    Lägg i varukorg

    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 Transportlogistik und Lagerhaltung. Er führt Sie in …

  13. Michael Huth - Wiley-Schnellkurs Prozessmanagement, E-bok. Tillgänglighet: Lägg i varukorg

    Wiley-Schnellkurs Prozessmanagement

    Av Michael Huth

    E-bok, 2017

    235 kr

    Lägg i varukorg

    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 Thema ein. Er erklärt, was Prozesse überhaupt sind, …

  14. Orna Grumberg, Michael Huth - Tools and Algorithms for the Construction and Analysis of Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Tools and Algorithms for the Construction and Analysis of Systems

    13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

    Av Orna Grumberg, Michael Huth

    Häftad, 2007

    1128 kr

    Lägg i varukorg

    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 model checking and markov chains, automata-based …

  15. Michael Huth, Orna Grumberg - Tools and Algorithms for the Construction and Analysis of Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Tools and Algorithms for the Construction and Analysis of Systems

    13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

    Av Michael Huth, Orna Grumberg

    E-bok, 2007

    1502 kr

    Lägg i varukorg

  16. Michael Huth, N. Asokan, Srdjan Capkun, Ivan Flechais, Lizzie Coles-Kemp - Trust and Trustworthy Computing, Häftad. Tillgänglighet: Lägg i varukorg

    Trust and Trustworthy Computing

    6th International Conference, TRUST 2013, London, UK, June 17-19, 2013, Proceedings

    Av Michael Huth, N. Asokan m. fl.

    Häftad, 2013

    523 kr

    Lägg i varukorg

    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 5 respectively, were carefully reviewed from 39 in …

  17. Lizzie Coles-Kemp, Ivan Flechais, Srdjan Capkun, N. Asokan, Michael Huth - Trust and Trustworthy Computing, E-bok. Tillgänglighet: Lägg i varukorg

    Trust and Trustworthy Computing

    6th International Conference, TRUST 2013, London, UK, June 17-19, 2013, Proceedings

    Av Lizzie Coles-Kemp, Ivan Flechais m. fl.

    E-bok, 2013

    672 kr

    Lägg i varukorg

    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 5 respectively, were carefully reviewed from 39 in …

  18. Michael Huth, Frank Romeike - Risikomanagement in der Logistik, Häftad. Tillgänglighet: Lägg i varukorg

    Risikomanagement in der Logistik

    Konzepte – Instrumente – Anwendungsbeispiele

    Av Michael Huth, Frank Romeike

    Häftad, 2015

    688 kr

    Lägg i varukorg

    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 konkrete Arbeitshilfe für Praktiker und stellt anhand …

  19. Frank Romeike, Michael Huth - Risikomanagement in der Logistik, E-bok. Tillgänglighet: Lägg i varukorg

    Risikomanagement in der Logistik

    Konzepte – Instrumente – Anwendungsbeispiele

    Av Frank Romeike, Michael Huth

    E-bok, 2015

    739 kr

    Lägg i varukorg

    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 konkrete Arbeitshilfe für Praktiker und stellt anhand …

  20. Michael Huth - Resilienz in Supply Chains, Häftad. Tillgänglighet: Lägg i varukorg

    Resilienz in Supply Chains

    Effektive Strategien und Methoden für robuste und agile Lieferketten

    Av Michael Huth

    Häftad, 2025

    458 kr

    Lägg i varukorg

    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 Supply Chains beschreibt die Fähigkeit, schnell und …

  21. Michael Huth - Resilienz in Supply Chains, E-bok. Tillgänglighet: Lägg i varukorg

    Resilienz in Supply Chains

    Effektive Strategien und Methoden für robuste und agile Lieferketten

    Av Michael Huth

    E-bok, 2025

    470 kr

    Lägg i varukorg

    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 Supply Chains beschreibt die Fähigkeit, schnell und …

  22. Michael Pauly, Stephan Pauly, Stephan Osnabrügge, Michael Huth - Das arbeitsrechtliche Mandat: Teilzeit und geringfügige Beschäftigung, Inbunden. Tillgänglighet: Lägg i varukorg

    Das arbeitsrechtliche Mandat: Teilzeit und geringfügige Beschäftigung

    Av Michael Pauly, Stephan Pauly m. fl.

    Inbunden, 2024

    868 kr

    Lägg i varukorg

  23. Michael Huth - Risikomanagement der Gefahrgutbeförderung, Häftad. Tillgänglighet: Lägg i varukorg

    Risikomanagement der Gefahrgutbeförderung

    Einsatzpotential eines GIS-basierten Entscheidungsunterstützungssystems

    Av Michael Huth

    Häftad, 2004

    688 kr

    Lägg i varukorg

    Wie Unfälle immer wieder beweisen, sind Gefahrguttransporte mit einem erheblichen Schadenpotenzial verbunden. Dennoch werden viele Entscheidungen im Rahmen der Gefahrgutbeförderung ohne ausreichende risikopolitische Fundierung getroffen. Auf einem geografischen Informationssystem (GIS) basierende …

  24. Michael Huth - Wiley-Schnellkurs Logistik, Häftad. Tillgänglighet: Tillfälligt slut

    Wiley-Schnellkurs Logistik

    Av Michael Huth

    Häftad, 2015

    205 kr

    Tillfälligt slut

    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 Transportlogistik und Lagerhaltung. Er führt Sie in …