Seite 1 von 7.737 Ergebnissen

Sortieren nach: Relevanz | Aktualität | Titel

  1.  

    Entwicklung und Betrieb von Zusatzgeräten zum Pulverdiffraktometer bei HAYSLAB : Abschlußbericht ; Contract 05-357-DC-I-8

    Fachbereich Ingenieurwissenschaften, Universität des Saarlandes, Saarbrücken | TIBKAT | 1990
  2.  

    LEDA 1.0 user manual : Contract SPP Me 620/6-1

    Näher, Stefan / Fachbereich Informatik, Universität des Saarlandes | TIBKAT | 1989
  3.  

    Programm zum menschengerechten Einsatz vernetzter Arbeitsplatzcomputer : Antrag für die Durchführungsphase : Contract 01HK445

    Planung EDV, Präsidialbüro, Universität des Saarlandes, Saarbrücken | TIBKAT | 1990
  4.  

    Distributed control algorithms : selected topics

    Mattern, Friedemann / Fachbereich Informatik, Universität des Saarlandes | TIBKAT | 1991
  5.  

    On the representation of mathematical concepts and their translation into first-order logic

    Kerber, Manfred / Fachbereich Informatik, Universität des Saarlandes, Saarbrücken | TIBKAT | 1992
  6.  

    Order-sorted type-theory 1 : unification

    Kohlhase, Michael / Fachbereich Informatik, Universität des Saarlandes, Saarbücken | TIBKAT | 1991
  7.  

    Rechnergestützte Modellierung von Ultraschall-Prüfköpfen

    Rupp, Stephan / Fachrichtung Elektrotechnik, Universität des Saarlandes, Saarbrücken | TIBKAT | 1986
  8.  

    Kopplungsverfahren in der HPLC : Tagung ; Auswahl von Vorträgen und Postern

    Universität des Saarlandes, Lehrstuhl für Angewandte Physikalische Chemie | TIBKAT | 1985
  9.  

    Type inference for O'SMALL

    Hense, Andreas V. / Fachbereich Informatik, Universität des Saarlandes | TIBKAT | 1991
  10.  

    Aufnahme und Verteilung von Radioruthenium in Pflanzen für den Expositionspfad Luft - Pflanzen : Contract St.-Sch. 01043

    Abteilung für Nuklearmedizin, Universität des Saarlandes, Homburg, Saar | TIBKAT | 1990
  11.  

    An O'SMALL interpreter based on denotational semantics

    Hense, Andreas V. / Fachbereich Informatik, Universität des Saarlandes | TIBKAT | 1991
  12.  

    XTRA : ein natürlichsprachliches Zugangssystem zu Expertensystemen ; Projektstand Dez. 1989

    Sonderforschungsbereich 314 Künstliche Intelligenz - Wissensbasierte Systeme, Universität des Saarlandes | TIBKAT | 1989
  13.  

    Ökonomie und Ökologie : 2. Universitätstag

    Ministerium für Wirtschaft des Saarlandes, Saarbrücken / Saarland Universität, Saarbrücken / Hohenheim Universität, Stuttgart | TIBKAT | 1986
  14.  

    The relationship between user models and discourse models : two position papers

    Sonderforschungsbereich 314 Künstliche Intelligenz - Wissensbasierte Systeme, Universität des Saarlandes, Saarbrücken | TIBKAT | 1987

Ergebnisse anzeigen: 10 | 20 | 50