Ähnliche Schlagwörter innerhalb Ihrer Suche.
Treffer 1 - 20 von 58 für Suche '"Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht. A."', Suchdauer: 1,00s Treffer weiter einschränken
  1. 1
    An omega(n4/3) lower bound on the monotone network complexity of n-th deg ree convolution

    An omega(n4/3) lower bound on the monotone network complexity of n-th deg ree convolution von Blum, Norbert 1954-

    Veröffentlicht 1981
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A new Hoare-calculus for programs with recursive parameterless procedures

    A new Hoare-calculus for programs with recursive parameterless procedures von Sieber, Kurt

    Veröffentlicht 1981
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Relative completeness of a Hoare-calculus for while-programs

    Relative completeness of a Hoare-calculus for while-programs von Sieber, Kurt

    Veröffentlicht 1980
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    An efficient tree transformer for LCF's SIMPL

    An efficient tree transformer for LCF's SIMPL von Holbach, Manfred, Möncke, Ulrich, Wilhelm, Reinhard

    Veröffentlicht 1980
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Planar L1 tree layout

    Planar L1 tree layout von Becker, Bernd

    Veröffentlicht 1980
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Mikroprozessoren, Prinzip und Anwendung

    Mikroprozessoren, Prinzip und Anwendung von Beierle, Hansge, Scheidig, Helge

    Veröffentlicht 1980
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Implementations of abstract data types and their correctness proofs

    Implementations of abstract data types and their correctness proofs von Loeckx, Jacques

    Veröffentlicht 1980
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Optimal dynamization of decomposable searching problems

    Optimal dynamization of decomposable searching problems von Mehlhorn, Kurt 1949-, Overmars, Mark H. 1958-

    Veröffentlicht 1980
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    OPTRAN, a language for the specification of program transformations

    OPTRAN, a language for the specification of program transformations von Glasner, Ingrid, Möncke, Ulrich, Wilhelm, Reinhard

    Veröffentlicht 1980
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Complexity arguments in algebraic language theory

    Complexity arguments in algebraic language theory von Alt, Helmut, Mehlhorn, Kurt 1949-

    Veröffentlicht 1978
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    On the average number of rebalancing operations in weight-balanced trees

    On the average number of rebalancing operations in weight-balanced trees von Blum, Norbert 1954-, Mehlhorn, Kurt 1949-

    Veröffentlicht 1978
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    The exponential storage cost of d-schemes

    The exponential storage cost of d-schemes von Tindell, Ralph

    Veröffentlicht 1976
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A. …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    An axiomatic justification of the LCF-system

    An axiomatic justification of the LCF-system von Barth, Wolfgang, Loeckx, Jacques

    Veröffentlicht 1976
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A. …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Space-Komplexität von klammerfreien Ausdrücken mit Typen

    Space-Komplexität von klammerfreien Ausdrücken mit Typen von Hotz, Günter 1931-

    Veröffentlicht 1976
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A. …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    An algorithm normalizing elementary while-programs

    An algorithm normalizing elementary while-programs von Lehmann, S., Loeckx, Jacques

    Veröffentlicht 1976
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A. …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Beschreibung des Programmes NEWRAF zur Nullstellenberechnung mittels eines modifizierten Newton-Raphson-Verfahrens

    Beschreibung des Programmes NEWRAF zur Nullstellenberechnung mittels eines modifizierten Newton-Raphson-Verfahrens von Hoffmann, Michael

    Veröffentlicht 1975
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Untere Schranken für den Platzbedarf bei der kontext-freien Analyse

    Untere Schranken für den Platzbedarf bei der kontext-freien Analyse von Alt, Helmut

    Veröffentlicht 1975
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht. A. …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Formale Sprachen Materialien zu e. Vorlesung, Sommersemester 1975

    Formale Sprachen Materialien zu e. Vorlesung, Sommersemester 1975 von Bibel, Wolfgang 1938-

    Veröffentlicht 1975
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht. A. …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Bracket-languages are recognizable in logarithmic space

    Bracket-languages are recognizable in logarithmic space von Mehlhorn, Kurt 1949-

    Veröffentlicht 1975
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht. A. …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Über die Effizienz von LR(k)-Analysatoren

    Über die Effizienz von LR(k)-Analysatoren von Kopp, Herbert

    Veröffentlicht 1974
    “… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht. A. …”
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: