Treffer 1 – 3 von 3 für Suche 'Jacobs, Bart 1963-', Suchdauer: 0,04s 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
    Categorical logic and type theory

    Categorical logic and type theory von Jacobs, Bart 1963-

    Veröffentlicht 2005
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Foundations of software science and computation structures 19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings

    Foundations of software science and computation structures 19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Sof...

    Veröffentlicht 2016
    Weitere Verfasser: “… Jacobs, Bart 1963- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Foundations of software science and computation structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings

    Foundations of software science and computation structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Veröffentlicht 2016
    Weitere Verfasser: “… Jacobs, Bart 1963- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: