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

Mathematik | Informatik

4  Treffer  für „Ganesh, Vijay“
Alle Filter löschen
    Ganesh / Gurfinkel | Computer Aided Verification | Buch | Sack Fachmedien

    Ganesh / Gurfinkel Computer Aided Verification

    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-65626-2
    Medium: Buch
    42,79 € (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
    Ganesh / Gurfinkel | Computer Aided Verification | Buch | Sack Fachmedien

    Ganesh / Gurfinkel Computer Aided Verification

    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-65632-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganesh / Gurfinkel | Computer Aided Verification | Buch | Sack Fachmedien

    Ganesh / Gurfinkel Computer Aided Verification

    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-65629-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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