Treffer 1 – 2 von 2 für Suche 'Petersson, Kent', 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
    New avenues for electronic publishing in the age of infinite collections and citizen science : scale, openness and trust : Proceedings of the 19th International Conference on Electronic Publishing /

    New avenues for electronic publishing in the age of infinite collections and citizen science : scale, openness and trust : Proceedings of the 19th International Conference on Elect...

    Veröffentlicht 2015
    “… Peter Linde, Eva Norling, Anette Pettersson, Lena Petersson, Kent Pettersson, Anna Stockmann and Sofia Swartz -- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Programming in Martin-Löf's type theory an introduction

    Programming in Martin-Löf's type theory an introduction von Nordström, Bengt, Petersson, Kent, Smith, Jan M.

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: