Treffer 1 – 7 von 7 für Suche 'Goubault-Larrecq, Jean', Suchdauer: 0,06s 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
    Non-Hausdorff Topology and Domain Theory : Selected Topics in Point-Set Topology /

    Non-Hausdorff Topology and Domain Theory : Selected Topics in Point-Set Topology / von Goubault-Larrecq, Jean

    Veröffentlicht 2013
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Non-Hausdorff topology and domain theory

    Non-Hausdorff topology and domain theory von Goubault-Larrecq, Jean

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


    Gespeichert in:
  3. 3
    Non-Hausdorff topology and domain theory [selected topics in point-set topology]

    Non-Hausdorff topology and domain theory [selected topics in point-set topology] von Goubault-Larrecq, Jean

    Veröffentlicht 2013
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Proof theory and automated deduction

    Proof theory and automated deduction von Goubault-Larrecq, Jean, Mackie, Ian

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Foundations of software science and computation structures 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, proceedings

    Foundations of software science and computation structures 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Sof...

    Veröffentlicht 2020
    Weitere Verfasser: “… Goubault-Larrecq, Jean …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Foundations of software science and computation structures 23rd international conference FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings

    Foundations of software science and computation structures 23rd international conference FOSSACS 2020, held as part of the European joint conferences on theory and practice of soft...

    Veröffentlicht 2020
    Weitere Verfasser: “… Goubault-Larrecq, Jean …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    29th EACSL Annual Conference on Computer Science Logic CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)

    29th EACSL Annual Conference on Computer Science Logic CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: