Liebe Besucherinnen und Besucher,

heute ab 15 Uhr feiern wir unser Sommerfest und sind daher nicht erreichbar. Ab morgen sind wir wieder wie gewohnt für Sie da. Wir bitten um Ihr Verständnis – Ihr Team von Sack Fachmedien

Ergebnisse filtern
Fachgebiet
Medium
  • 5
Erscheinungsjahr
  • 1
  • 1
  • 2
  • 1
Autoren
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
Verlag
  • 4
  • 1
Preis
  • 4
  • 1
Sprachen
  • 5
Verfügbarkeit
  • 5
Katalog
  • 5

Mathematik | Informatik

5  Treffer  für „Hou, Zhe“
Alle Filter löschen
    Hou | Fundamentals of Logic and Computation | Buch | Sack Fachmedien

    Hou Fundamentals of Logic and Computation

    With Practical Automated Reasoning and Verification
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-87884-9
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hou | Fundamentals of Logic and Computation | Buch | Sack Fachmedien

    Hou Fundamentals of Logic and Computation

    With Practical Automated Reasoning and Verification
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-87881-8
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hou / Ganesh | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Hou / Ganesh Automated Technology for Verification and Analysis

    19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-88884-8
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dong / Izadi / Hou | Sports Analytics | Buch | Sack Fachmedien

    Dong / Izadi / Hou Sports Analytics

    First International Conference, ISACE 2024, Paris, France, July 12-13, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-69072-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lin / Mahony / Hou | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Lin / Mahony / Hou Formal Methods and Software Engineering

    22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-63405-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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