Treffer 1 – 4 von 4 für Suche 'Chakraborty, Supratik', Suchdauer: 0,01s 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
    Verified software theories, tools, and experiments : 11th international conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, revised selected papers

    Verified software theories, tools, and experiments : 11th international conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, revised selected papers

    Veröffentlicht 2020
    Weitere Verfasser: “… Chakraborty, Supratik …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Verified software theories, tools, and experiments : 11th international conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers

    Verified software theories, tools, and experiments : 11th international conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers

    Veröffentlicht 2020
    Weitere Verfasser: “… Chakraborty, Supratik …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011) FSTTCS 2011, December 12–14, 2011, Mumbai, India

    IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011) FSTTCS 2011, December 12–14, 2011, Mumbai, India

    Veröffentlicht 2011
    Weitere Verfasser: “… Chakraborty, Supratik …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    27th International Conference on Theory and Applications of Satisfiability Testing SAT 2024, August 21–24, 2024, Pune, India

    27th International Conference on Theory and Applications of Satisfiability Testing SAT 2024, August 21–24, 2024, Pune, India

    Veröffentlicht 2024
    Weitere Verfasser: “… Chakraborty, Supratik …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: