Der Perlentaucher unter den Buchläden

Genauer suchen (4 Treffer)
Filter schließen (4 Treffer)

Suchergebnis

Gefundene Buchautor*innen: Janis Brinkmann oder John Harrison oder Jimmy Wales

  1. The Seven Rules of Trust
    eng
    Jimmy Wales
    The Seven Rules of Trust
    From the Founder of Wikipedia
    • Bloomsbury UK
    • 2025
    • Taschenbuch
    • 240 Seiten
    21,50€

    Auf Lager

  2. Formal Methods for Industrial Critical Systems
    eng
    Formal Methods for Industrial Critical Systems
    30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
    • Springer
    • 2025
    • Taschenbuch
    • 308 Seiten
    62,05€

    Auf Lager

  3. Journalismus
    Janis Brinkmann
    Journalismus
    Eine praktische Einführung
    • Nomos Verlags GmbH
    • 2024
    • Taschenbuch
    • 337 Seiten
    26,90€

    Auf Lager

    Journalismus lernen leicht gemacht: Die zweite, aktualisierte Neuauflage des Lehrbuchs führt praxisnah in aktuelle Kernthemen moderner journalistisch…
  4. Theorem Proving with the Real Numbers
    eng
    John Harrison
    Theorem Proving with the Real Numbers
    • Springer
    • 2011
    • Taschenbuch
    • 200 Seiten
    106,99€

    Auf Lager

    This book discusses the use of the real numbers in theorem proving. Typ­ ically, theorem provers only support a few 'discrete' datatypes such as the …