Showing 1 - 12 results of 12 for search 'Thiemann, Peter', query time: 0.05s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation

    Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation by Thiemann, Peter

    Published 2002
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Gestaltung von Steuerungssystemen für die Automatisierung von Brückenkranen

    Gestaltung von Steuerungssystemen für die Automatisierung von Brückenkranen by Thiemann, Peter

    Published 1996
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Proceedings of the 17th ACM SIGPLAN international conference on Functional programming

    Proceedings of the 17th ACM SIGPLAN international conference on Functional programming by Thiemann, Peter

    Published 2012
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    Continuation-based program generation

    Continuation-based program generation by Thiemann, Peter, Dussart, Dirk

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Imperative functional specialization

    Imperative functional specialization by Dussart, Dirk, Thiemann, Peter

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Grundlagen der funktionalen Programmierung

    Grundlagen der funktionalen Programmierung by Thiemann, Peter

    Published 1994
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Grundlagen der funktionalen Programmierung

    Grundlagen der funktionalen Programmierung by Thiemann, Peter 1964-

    Published 1994

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  8. 8
    Konzepte zur effizienten Implementierung strukturell rekursiver Programme

    Konzepte zur effizienten Implementierung strukturell rekursiver Programme by Thiemann, Peter

    Published 1991
    Thesis Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Efficient implementation of structural recursive programs

    Efficient implementation of structural recursive programs by Thiemann, Peter

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Untersuchungen zur ökonomisch richtigen Aufgabenteilung zwischen Eisenbahn und Kraftverkehr im grenzüberschreitenden Güterverkehr der DDR

    Untersuchungen zur ökonomisch richtigen Aufgabenteilung zwischen Eisenbahn und Kraftverkehr im grenzüberschreitenden Güterverkehr der DDR by Thiemann, Peter

    Published 1975
    Thesis Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Programming languages and systems 25th European Symposium on Programming, ESOP 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

    Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016,...

    Published 2016
    Other Authors: “…Thiemann, Peter 1964-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Programming languages and systems 25th European Symposium on Programming, ESOP 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

    Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016,...

    Published 2016
    Other Authors: “…Thiemann, Peter 1964-…”

    Get full text Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:

Search Tools: