Treffer 1 – 5 von 5 für Suche 'POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages', Suchdauer: 0,06s 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 sixth workshop on Programming languages meets program verification

    Proceedings of the sixth workshop on Programming languages meets program verification von Claessen, Koen

    Veröffentlicht 2012
    “… POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation

    Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation von Kiselyov, Oleg

    Veröffentlicht 2012
    “… POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

    Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages von Field, John

    Veröffentlicht 2012
    “… POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming

    Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming von Acar, Umut

    Veröffentlicht 2012
    “… POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation

    Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation von Pierce, Benjamin C

    Veröffentlicht 2012
    “… POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: