Treffer 1 – 5 von 5 für Suche 'Gordon, Andrew D. 1964-', 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
    Functional programming and input - output

    Functional programming and input - output von Gordon, Andrew D. 1964-

    Veröffentlicht 1994
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Functional programming and input - output

    Functional programming and input - output von Gordon, Andrew D. 1964-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A mechanised definition of Silage in Hol

    A mechanised definition of Silage in Hol von Gordon, Andrew D. 1964-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Foundations of software science and computation structures 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings

    Foundations of software science and computation structures 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Soft...

    Veröffentlicht 2003
    Weitere Verfasser: “… Gordon, Andrew D. 1964- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    POPL'17 proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages : January 15-21, 2017, Paris, France

    POPL'17 proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages : January 15-21, 2017, Paris, France

    Veröffentlicht 2017
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: