Treffer 1 – 6 von 6 für Suche 'Sergey, Ilya', Suchdauer: 0,03s 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
    QED at Large a Survey of Engineering of Formally Verified Software

    QED at Large a Survey of Engineering of Formally Verified Software von Ringer, Talia, Palmskog, Karl, Sergey, Ilya, Gligoric, Milos, Tatlock, Zachary

    Veröffentlicht 2019
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Programming languages and systems 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings

    Programming languages and systems 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

    Veröffentlicht 2022
    Weitere Verfasser: “… Sergey, Ilya …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Programming languages and systems 20th Asian symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, proceedings

    Programming languages and systems 20th Asian symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, proceedings

    Veröffentlicht 2022
    Weitere Verfasser: “… Sergey, Ilya …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings

    Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings

    Veröffentlicht 2023
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Programming languages and systems 31th European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings

    Programming languages and systems 31th European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022,...

    Veröffentlicht 2022
    Weitere Verfasser: “… Sergey, Ilya …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Programming languages and systems 20th Asian symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022 : proceedings

    Programming languages and systems 20th Asian symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022 : proceedings

    Veröffentlicht 2022
    Weitere Verfasser: “… Sergey, Ilya …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: