Fachgebiet
Medium
  • 5
  • 2
Erscheinungsjahr
  • 2
  • 2
  • 2
  • 1
Autoren
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 4
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
Verlag
  • 1
  • 4
  • 2
Preis
  • 1
  • 2
  • 2
  • 2
Sprachen
  • 7
Verfügbarkeit
  • 7
Katalog
  • 7
7  Treffer  für „Katz, Guy“


    Katz Intercultural Negotiation

    The unique case of Germany and Israel
    Erscheinungsjahr 2011
    Verlag: Books on Demand
    ISBN: 978-3-8423-4810-3
    Medium: Buch
    24,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Junges / Katz Tools and Algorithms for the Construction and Analysis of Systems

    32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-22748-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Junges / Katz Tools and Algorithms for the Construction and Analysis of Systems

    32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-22751-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Isac / Ivanov / Katz Software Verification and Formal Methods for ML-Enabled Autonomous Systems

    5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-21221-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Isac / Ivanov / Katz Software Verification and Formal Methods for ML-Enabled Autonomous Systems

    5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-21222-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Avni / Giacobbe / Johnson AI Verification

    First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-65112-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    128,39 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Avni / Giacobbe / Johnson AI Verification

    First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-65111-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular