LIBROS DEL AUTOR: bernhard steffen

11 resultados para LIBROS DEL AUTOR: bernhard steffen

bernhard steffen Eliminar filtro Quitar filtros
  • Bridging the Gap Between AI and Reality
    Bernhard Steffen
    This open access book constitutes selected papers of the proceedings of the Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, which took place in Rhodes, Greece, in November 2025. The papers included in this book focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health c...
    Disponible

    64,36 €

  • Bridging the Gap Between AI and Reality
    Bernhard Steffen
    This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The papers included in this book focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health care; models for trustwo...
    Disponible

    102,25 €

  • Bridging the Gap Between AI and Reality
    Bernhard Steffen
    This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to m...
    Disponible

    180,65 €

  • Bridging the Gap Between AI and Reality
    Bernhard Steffen
    This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of ...
    Disponible

    96,17 €

  • Tools and Algorithms for the Construction and Analysis of Systems
    Bernhard Steffen / Fabrice Kordon / Marieke Huisman
    This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It’s ...
    Disponible

    67,65 €

  • Tools and Algorithms for the Construction and Analysis of Systems
    Bernhard Steffen / Fabrice Kordon / Marieke Huisman
    This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It’s ...
    Disponible

    83,17 €

  • Mathematical Foundations of Advanced Informatics
    Bernhard Steffen / Michael Huth / Oliver Rüthing
    Introduction.- Propositions and Sets.- Relations and Functions.- Inductive Definitions.- Inductive Proofs.- Inductive Approach: Potential, Limitations, and Pragmatics. ...
    Disponible

    50,09 €

  • Mathematical Foundations of Advanced Informatics
    Bernhard Steffen / Michael Huth / Oliver Rüthing
    Introduction.- Propositions and Sets.- Relations and Functions.- Inductive Definitions.- Inductive Proofs.- Inductive Approach: Potential, Limitations, and Pragmatics. ...
    Disponible

    48,73 €

  • Transactions on Foundations for Mastering Change I
    Bernhard Steffen
    The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today’s agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problem...
    Disponible

    47,92 €

  • Transactions on Foundations for Mastering Change I
    Bernhard Steffen
    The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today’s agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problem...
    Disponible

    66,38 €

  • Tools and Algorithms for the Construction and Analysis of Systems
    Bernhard Steffen
    This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS’98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions. The ...
    Disponible

    65,36 €