Treffer 1 – 9 von 9 für Suche 'Platzer, André', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Logical foundations of cyber-physical systems

    Logical foundations of cyber-physical systems von Platzer, André

    Veröffentlicht 2018
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics

    Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics von Platzer, André

    Veröffentlicht 2010
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Logical analysis of hybrid systems proving theorems for complex dynamics

    Logical analysis of hybrid systems proving theorems for complex dynamics von Platzer, André

    Veröffentlicht 2010
    Inhaltsverzeichnis
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Logical foundations of cyber-physical systems

    Logical foundations of cyber-physical systems von Platzer, André

    Veröffentlicht 2018
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Logical analysis of hybrid systems proving theorems for complex dynamics

    Logical analysis of hybrid systems proving theorems for complex dynamics von Platzer, André

    Veröffentlicht 2010
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Automated deduction - CADE 28 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021 : proceedings

    Automated deduction - CADE 28 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021 : proceedings

    Veröffentlicht 2021
    Weitere Verfasser: “… Platzer, André …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Formal methods 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings, part II

    Formal methods 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings, part II

    Veröffentlicht 2025
    Weitere Verfasser: “… Platzer, André …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Formal methods 26th International Symposium, FM 2024 Milan, Italy, September 9–13, 2024 : proceedings, part I

    Formal methods 26th International Symposium, FM 2024 Milan, Italy, September 9–13, 2024 : proceedings, part I

    Veröffentlicht 2025
    Weitere Verfasser: “… Platzer, André …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  9. 9
    Automated deduction - CADE 28 28th international conference on automated deduction, virtual event, July 12-15, 2021 : proceedings

    Automated deduction - CADE 28 28th international conference on automated deduction, virtual event, July 12-15, 2021 : proceedings

    Veröffentlicht 2021
    Weitere Verfasser: “… Platzer, André …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: