SciDok - Der Wissenschaftsserver der Universität des Saarlandes Statistik anzeigen

Abonnieren Sie diese Sammlung, um täglich per E-Mail über Neuerscheinungen informiert zu werden.
Ressourcen der Sammlung (Sortiert nach Erscheinungsjahr): 17621 bis 17640 von 19262
ErscheinungsjahrTitelVerfasserInOpenAccess
1995Ein Testmustergenerator unter 16-wertiger Logik mit variabler FehlermodellierungNikolaus, U.; Sparmann, Uwe
1995VCG - visualization of compiler graphsSander, Georg
1995Formula layoutHeckmann, Reinhold; Wilhelm, Reinhard
1995Full abstraction for the second order subset of an ALGOL-like languageSieber, Kurt
1995Spaces of valuationsHeckmann, Reinhold
1995Heuristic motion planning with many degrees of freedomChadzelek, Thomas; Hotz, Günter; Schömer, Elmar
1995Generating analyzers with PAGAlt, Martin; Martin, Florian
1995LiDIA : a library for computational number theoryBiehl, Ingrid; Buchmann, Johannes; Papanikolaou, Thomas
1995Distributed computation of the number of points on an elliptic curve over a finite prime fieldBuchmann, Johannes; Müller, Volker; Shoup, Victor
1995Die Behandlung übersetzungsambiger Präpositionen im Transfer des VERBMOBIL-DemonstratorsBuschbeck-Wolf, Bianka; Nübel, Rita
1995Transfer I : tense and aspectButt, Miriam
1995Variable Analysetiefe und Bewertungskriterien in VERBMOBIL : translationswissenschaftliche GrundlagenPrahl, Birte; Petzolt, Susanne; Heizmann, Susanne, u.a.
1995Semantische Auswertung und Transfer von Funktionsverbgefügen in VERBMOBILWinhart, Heike
1995Dialogue acts in VERBMOBILJekat, Susanne; Klein, Alexandra; Maier, Elisabeth, u.a.
1995Die Experimente mit dem VERBMOBIL-Simulator : Design - Ablauf - DatenBade, Ute; Krause, Detlev; Preuß, Wiebke
1995LR-inkrementelles, probabilistisches Chartparsing von Worthypothesenmengen mit Unifikationsgrammatiken : eine enge Kopplung von Suche und AnalyseWeber, Hans H.
1995Morphic - Plus : ein morphologisches Analyseprogramm für die deutsche Flexionsmorphologieund Komposita-AnalyseLutzy, Ottmar
1995Classification and representation of types in TDLKrieger, Hans-Ulrich
1995Integration ressourcen-orientierter Techniken in das wissensbasierte Konfigurierungssystem TOOCONEhresmann, Volker
1995The Oz programming modelSmolka, Gert
Ressourcen der Sammlung (Sortiert nach Erscheinungsjahr): 17621 bis 17640 von 19262

Suche einschränken

Volltext