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

Technische Wissenschaften

2  Treffer  für „Schneider, Klaus“
Alle Filter löschen
    Schneider / Brandt | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Schneider / Brandt Theorem Proving in Higher Order Logics

    2007
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-74590-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grimm / Schneider / Zivkovic | MBMV 2019 | Sonstiges | Sack Fachmedien

    Grimm / Schneider / Zivkovic MBMV 2019

    22. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
    Neuerscheinung
    Verlag: VDE Verlag
    ISBN: 978-3-8007-4945-4
    Medium: Sonstiges
    60,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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