Treffer 1 – 7 von 7 für Suche 'Ferrante, Jeanne', 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 fifth ACM SIGPLAN symposium on Principles and practice of parallel programming

    Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming von Ferrante, Jeanne

    Veröffentlicht 1995
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    The Computational Complexity of Logical Theories

    The Computational Complexity of Logical Theories von Ferrante, Jeanne, Rackoff, Charles 1948-

    Veröffentlicht 1979
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A decision procedure for the first order theory of real addition with order

    A decision procedure for the first order theory of real addition with order von Ferrante, Jeanne, Rackoff, Charles

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation

    Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation von Ferrante, Jeanne

    Veröffentlicht 2007
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    The computational complexity of logical theories

    The computational complexity of logical theories von Ferrante, Jeanne, Rackoff, Charles 1948-

    Veröffentlicht 1979
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Some upper and lower bounds on decision procedures in logic

    Some upper and lower bounds on decision procedures in logic von Ferrante, Jeanne

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Some upper and lower bounds on decision procedures in logic

    Some upper and lower bounds on decision procedures in logic von Ferrante, Jeanne

    Veröffentlicht 1974
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: