Treffer 1 – 4 von 4 für Suche 'POPL '15: The 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages', Suchdauer: 0,02s 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
    Proceedings of the 2015 Conference on Certified Programs and Proofs

    Proceedings of the 2015 Conference on Certified Programs and Proofs von Leroy, Xavier

    Veröffentlicht 2015
    “… POPL '15: The 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation

    Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation von Asai, Kenichi

    Veröffentlicht 2015
    “… POPL '15: The 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Proceedings of the Programming Languages Mentoring Workshop

    Proceedings of the Programming Languages Mentoring Workshop

    Veröffentlicht 2015
    “… POPL '15: The 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

    Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages von Rajamani, Sriram

    Veröffentlicht 2015
    “… POPL '15: The 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: