Treffer 1 - 20 von 625 für Suche '"Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht"', Suchdauer: 8,37s Treffer weiter einschränken
  1. 1

    Transformierende attributierte Grammatiken Ein formales Beschreibungsverfahren für Codeoptimierer auf d. Basis attributierter Grammatiken von Neugebauer, Helmut

    Veröffentlicht 1979
    “… Universität <Karlsruhe>. Fakultät für Informatik: Interner Bericht. …”
    Buch
  2. 2

    Transformierende attributierte Grammatiken von Neugebauer, Helmut

    Veröffentlicht 1979
    “… Universität <Karlsruhe>. Fakultät für Informatik: Interner Bericht. …”
    Buch
  3. 3

    Programmentwicklung im Dialog von Rohlfing, Helmut

    Veröffentlicht 1976
    “… Universität <Karlsruhe>. Fakultät für Informatik: Interner Bericht. …”
    Buch
  4. 4

    A proof of Buchberger's lemma von Loos, Rüdiger

    Veröffentlicht 1982
    “… Universität <Karlsruhe>: Fakultät für Informatik: Interner Bericht …”
    Buch
  5. 5

    Registerzuteilung für Ausdrücke mit gemeinsamen Unterausdrücken auf dem Adressierungsniveau von Scholz, Frank

    Veröffentlicht 1981
    “… Universität <Karlsruhe>. Fakultät für Informatik: Interner Bericht. …”
    Buch
  6. 6

    Registerzuteilung für Ausdrücke mit gemeinsamen Unterausdrücken auf dem Adressierungsniveau von Scholz, Frank

    Veröffentlicht 1981
    “… Universität <Karlsruhe>. Fakultät für Informatik: Interner Bericht. …”
    Buch
  7. 7

    Rekonfigurierung von hybridredundanten Mehrmikrorechnern von Echtle, Klaus

    Veröffentlicht 1983
    “… Universität <Karlsruhe>: Fakultät für Informatik: Interner Bericht …”
    Buch
  8. 8

    MKRP von Bürckert, Hans-Jürgen

    Veröffentlicht 1983
    “… Universität <Karlsruhe>: Fakultät für Informatik: Interner Bericht …”
    Buch
  9. 9

    Registerzuteilung für Ausdrücke mit gemeinsamen Unterausdrücken auf dem Adressierungsniveau von Scholz, Frank

    Veröffentlicht 1981
    “… Universität <Karlsruhe>. Fakultät für Informatik: Interner Bericht. …”
    Buch
  10. 10

    Registerzuteilung für Ausdrücke mit gemeinsamen Unterausdrücken auf dem Adressierungsniveau von Scholz, Frank

    Veröffentlicht 1981
    “… Universität <Karlsruhe>. Fakultät für Informatik: Interner Bericht. …”
    Buch
  11. 11

    Specification and verification of distributed technical systems with central control von Schellhorn, Gerhard ca. 20./21. Jh

    Veröffentlicht 1994
    “… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
    Buch
  12. 12

    CuPit - a parallel language for neural algorithms language reference and tutorial von Prechelt, Lutz

    Veröffentlicht 1994
    “… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
    Buch
  13. 13

    Latency hiding in parallel systems a quantitative approach von Warschko, Thomas M., Herter, Christian G., Tichy, Walter F.

    Veröffentlicht 1994
    “… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
    Buch
  14. 14

    Temporal logic programming with metric and past operators based on constraint logic programming von Brzoska, Christoph

    Veröffentlicht 1993
    “… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
    Buch
  15. 15

    Zwei Beschreibungsformen für nebenläufige Systeme und ihre Transformation von Rinderspacher, Markus

    Veröffentlicht 1993
    “… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
    Buch
  16. 16

    Temporal logic programming with metric and past operators based on constraint logic programming von Brzoska, Christoph

    Veröffentlicht 1993
    “… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
    Buch
  17. 17

    Abschlußbericht zur Sprache KANN (KArlsruher Normal-Narrowing) von Gollner, Michael, Barheine, Wolfgang

    Veröffentlicht 1993
    “… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
    Buch
  18. 18

    A brief introduction to the WAVE language von Sapaty, Peter S.

    Veröffentlicht 1993
    “… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
    Buch
  19. 19

    Comparison of MasPar MP-1 and MP-2 communication operations von Prechelt, Lutz

    Veröffentlicht 1993
    “… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
    Buch
  20. 20

    A semantic approach to order-sorted rewriting von Werner, Andreas

    Veröffentlicht 1993
    “… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
    Buch