Treffer 1 - 20 von 65 für Suche '"Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A]"', Suchdauer: 2,10s Treffer weiter einschränken
  1. 1

    Spaces of valuations von Heckmann, Reinhold

    Veröffentlicht 1995
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  2. 2

    Formula layout von Heckmann, Reinhold, Wilhelm, Reinhard

    Veröffentlicht 1995
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  3. 3

    Heuristic motion planning with many degrees of freedom von Chadzelek, Thomas, Hotz, Günter 1931-, Schömer, Elmar

    Veröffentlicht 1995
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  4. 4

    Transformations of evolving algebras von Diehl, Stephan 1969-

    Veröffentlicht 1995
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  5. 5

    Randomized search trees von Seidel, Raimund, Aragon, Cecilia R.

    Veröffentlicht 1995
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  6. 6

    New lower bounds for Hopcroft's problem von Erickson, Jeff

    Veröffentlicht 1994
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  7. 7

    Principal types for object-oriented languages von Hense, Andreas V., Smolka, Gert 1955-

    Veröffentlicht 1993
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  8. 8

    Generation of distributed supervisors for parallel compilers von Alt, Martin, Sander, Georg

    Veröffentlicht 1993
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  9. 9

    A verification of extensible record types von Hense, Andreas V., Smolka, Gert 1955-

    Veröffentlicht 1992
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  10. 10

    Handblockschrifterkennung mit neuronalen Netzwerken von Ritter, Stephan

    Veröffentlicht 1992
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  11. 11

    First order data types and first order logic von Treinen, Ralf

    Veröffentlicht 1991
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  12. 12

    Type inference for O'SMALL von Hense, Andreas V.

    Veröffentlicht 1991
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  13. 13

    Can a maximum flow be computed in o(nm) time? von Cheriyan, Joseph, Hagerup, Torben ca. 20. / 21. Jh, Mehlhorn, Kurt 1949-

    Veröffentlicht 1990
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  14. 14

    On determining vertex connectivity von Cheriyan, Joseph, Thurimella, Ramakrishna

    Veröffentlicht 1990
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  15. 15

    Approximate algorithms for approximate congruence von Schirra, Stefan

    Veröffentlicht 1990
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  16. 16

    Using persistent data structures for adding range restrictions to searching problems von Lenhof, Hans-Peter, Smid, Michiel

    Veröffentlicht 1990
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  17. 17

    A lower bound for the worst case of Bottom-Up-Heapsort von Fleischer, R., Sinha, B. P., Uhrig, Christian

    Veröffentlicht 1990
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  18. 18

    LEDA 1.0 user manual von Näher, Stefan

    Veröffentlicht 1989
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  19. 19

    Simulating automata for weighted tree reductions von Möncke, Ulrich R.

    Veröffentlicht 1987
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch
  20. 20

    A lower bound for the complexity of the union-split-find problem von Mehlhorn, Kurt 1949-, Näher, Stefan, Alt, Helmut

    Veröffentlicht 1986
    “… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
    Buch