Treffer 1 – 4 von 4 für Suche 'POPL '10: The 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages', 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
    Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming

    Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming von Petersen, Leaf

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


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

    Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation von Kennedy, Andrew

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


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

    Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages von Hermenegildo, Manuel

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


    Gespeichert in:
  4. 4
    Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification

    Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification von Filliâtre, Jean-Christophe

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


    Gespeichert in:

Suchwerkzeuge: