Startseite Aktuell Vereinsportrait Vorstand Guenter-Hotz-Medaille Bachelor-Preis Infobrief Veranstaltungen Mitglied werden Jobs Service Alumni Netzwerk

Abschlüsse 1979 bis 1982 Name Titel Jahr Lehrstuhl Typ Becker, Dieter Direkte Differenzenmethoden zur Lösung der Poisson'schen Differentialgleichung in einem Dreieck 1979 Natterer Dipl Beierle, Hans Entwurf und Realisierung eines einfachen SPOOLing-Betriebssystems für einen Mikrocomputer 1979 Scheidig Dipl Bubeck, Wolfgang Lösung von L2-Approximationsaufgaben mit Methoden der Optimierung 1979 Dipl Dörner, Erich Ein Galton-Watson Prozess mit oberer deterministischer Absorbtionsschranke 1979 Schmidt Dipl Estenfeld, Klaus Über den Zusammenhang von Pushdowntransduktionen von Bäumen und Funktorpaaren 1979 Hotz Diss Görgen, Harald Beliebige Gewichtsveränderungenin dynamischen Bäumen; eine Implementierung 1979 Mehlhorn Dipl Groß, Karlheinz Pagenierung höhenbalancierter Bäume 1979 Mehlhorn Dipl Groß, Karlheinz Pagenierung höhenbalancierter Bäume 1979 Dipl Groß, Stefan Lösung inkorrekt gestellter Aufgaben durch Optimierung 1979 Natterer Dipl Halasz, Vera M. Der Zusammenhang zwischen der kontextfreien Analyse und der Multipliktion in Polynom- bzw. Matrizenringen 1979 Hotz Dipl Hambuch, Peter Hinreichende Bedingungen für das Überleben von Verzweigungsprozessen 1979 Schmidt Dipl Hans, Konrad Die Multiplikation Boolscher Matrizen 1979 Dipl Harig, Dieter Ein allgemeines Engpaß-Optimierungsproblem 1979 Natterer Dipl Holbach, Manfred Die Realisierung des LCF-Kommandos SIMPL durch Baumtransformatoren 1979 Wilhelm Dipl Hubig, Roland Analyse von GTDPL-Sprachen (Teil II) 1979 Kemp Dipl Käfer, Karl-Heinz Analyse von GTDPL-Sprachen (Teil II) 1979 Kemp Dipl Koscielny, Eva Zur numerischen Lösung des eindimensionalen Wärmeleitungskontrollproblems mit Hilfe des bedingten Gradientenverfahrens 1979 Dörr Dipl Krause, Alwin Untersuchungen von relationalen und assoziativen Datenstrukturen 1979 Kandzia Dipl Lang, Norbert SAFORM - Erstellung eines Formatumwandlers für bibliotheks- und/oder dokumentationsspezifisch formatierten Daten 1979 Scheidig Dipl Lehmann, Steffi Alphard: Experiences with a new programming language 1979 Loeckx Dipl Mühlmeyer, Agnes Dateneingabe und Datenbankbeschreibung für das Forschungsprojekt: Das Saarbrücker Dokumentations- und Informationssystem der rechtsphilosophischen Bibliothek 1979 Scheidig Dipl Pesch, Wilfried Stochastische Modelle bei Staudämmen mit endlicher und unendlicher Kapazität 1979 Schmidt Dipl Pocsay, Alexander Spezielle Untersuchungen zur Regularisierung von nichtlinearen Optimierungsproblemen 1979 Dörr Dipl Pohl, Reinhard Analysierbare Sprachen eines LR(0)-Automaten 1979 Kemp Dipl Rauber, Rudolf Die Formeln von Engset und Erlang 1979 Schmidt Dipl Schmidt, Diana Well-partial orderings and their maximal order types 1979 Dipl Schmidt, Joachim Bildrekonstruktion durch quadratische Optimierung 1979 Natterer Dipl Schminke, Dietmar Maximaler Fluss in engen Netzen: Betrachtung der Algorithmen von Ford, und Fulkerson, Steckhan, Edmonds und Karp, Dinic und Karzanow 1979 Melhorn Dipl Schmitt, Alwine Die Umgebung zu SL 1979 Scheidig Dipl Schülein, Peter Mathematische Ausführungen zu einem regelungstechnischen stochastischen Optimierungsproblem aus der Lagerhaltung 1979 Schmidt Dipl Werner, Armin Ein Warteschlangenprozess mit allgemeinem Ankunftsprozess und konstanten Bedienungszeiten 1979 Schmidt Dipl Altenhofen, Hermann-Josef Eine Analyse der impliziten Blockelimination und ihrer Anwendung bei F-E-Systemen 1980 Dipl Barth, Walter Komplexitäts- und Strukturbetrachtung an monotonen Schaltkreisen 1980 Mehlhorn Dipl Bellem, Herbert Suchen in mehrdimensionalen Daten 1980 Mehlhorn Dipl Bolz, Stefan Zur Theorie der additiven Funktionale bei mehrdimensionaler Brownscher Bewegung 1980 Brosamler Diss Breder, Michael Sortieren in Magnetblasenspeichern 1980 Hotz Diss Brück, Arno Pascal-Testsystem: Ablaufsteuerung 1980 Wilhelm Dipl Dorr, Hans-Jürgen Pascal Testsystem: Symbolische Ausführung 1980 Wilhelm Dipl Dorschel, Erhard Aussagen über das Bang - Bang - Prinzip bei elliptischen und parabolischen Kontrollproblemen 1980 Dörr Dipl Ehlers, Renate Optimales Stoppen von Makrovprozessen mit diskreter Zeit 1980 Brosamler Dipl Färber, Bernd Eine Datenstruktur zur geräte- und anwendungsunabhängigen Repräsentierung graphischer Daten 1980 Scheidig Dipl Gärtner, Alois Beliebige Gewichtsverminderung in D-Bäumen - eine Implementierung 1980 Mehlhorn Dipl Hoffmann, Luitwin Schnelle Matrizenmultiplikation 1980 Hotz Dipl Hubig, Wolfgang Stochastische Vorgänge bei der Szintigrafie 1980 Schmidt Dipl Karst, Michael Implementierung einer Normalformtransformation 1980 Hotz Dipl Kirbs, Karl Korrektheitsbeweise in CLU 1980 Loeckx Dipl Kolber, Nico Ein Programmsystem zur formalen Manipulation von kontextfreien Grammatiken 1980 Hotz Dipl Laurentius, Walter Ein Dateiverwaltungssystem auf dem Prozessrechner AEG 80-20 1980 Scheidig Dipl Lörscher, Josef Ein LR-Scanner-Generator 1980 Wilhelm Dipl Mencher, Günther Codeerzeugung für die COMSKEE-Zwischensprache CIL 1980 Hotz Dipl Messerschmidt, Jan Zusammenhang zwischen Netzsprachen und Makrosprachen 1980 Hotz Diss Pink, Axel Der Datentyp NETZ 1980 Hotz Diss Räuchle, Thomas Automatische Implementierung von monotonen Rahmen für Datenflussprobleme 1980 Wilhelm Dipl Ries, Manfred Implementierung und Speicherverwaltung des COMSKEE-Datentyps SET 1980 Hotz Dipl Schütz, Jörg Der Datentyp Baum 1980 Hotz Dipl Speicher, Roland Lokale Fehlererkennung und -verbesserung 1980 Hotz Dipl Tsakalidis, Athanasios Sortieren, Vorsortieren, Folgen 1980 Mehlhorn Dipl Weustenfels, Joachim Sequentielle Ersetzung mit Methoden der Erneuerungstheorie und der dynamischen Optimierung 1980 Dipl Blum, Norbert Eine untere Schranke für die monotone Schaltkreiskomplexität von n-te Grad Convolution 1981 Mehlhorn Diss Brück, Erich Mehrdimensionale Datenstrukturen für Partial-Match Retrieval 1981 Mehlhorn Dipl Dietz, Lothar Fehlerschranken bei der Lösung Linearer Gleichungssyteme 1981 Natterer Dipl Eisenbarth, Bernhard Allgemeine Randbaumanalyse und ihre Anwendung zur Untersuchnung der Overflowtechnik bei B-Bäumen 1981 Mehlhorn Dipl Fugmann, Michael Vergleich von Optimierungsverfahren angewandt auf primale und duale Probleme 1981 Dörr Dipl Gehres, Karl Schnelle Lösung linearer Block-Töplitz Gleichungssysteme 1981 Dipl Hocke, Michael Marius Ein Probeprozessor für Problemorientierte Sprachen - der Wandler-FORTRAN IV - PL/I 1981 Dipl Honecker, Stefan Das Verfahren der konjugierten Gradienten für schlecht konditionierte Matrizen 1981 Natterer Dipl Ludwig, Oswald Rundungsfehler bei der LR-Zerlegung dünn besetzter Matrizen in fl2-Arithmetik 1981 Natterer Dipl Morawietz, Hubert Einbettung von Linien und binären Bäumen in binäre Bäume 1981 Mehlhorn Dipl Schmidt, Werner Ein Interpreter für Prolog 1981 Loeckx Dipl Schneider, Detlef Einheitliche Behandlung diskreter, schneller unitärer Transformationen 1981 Natterer Dipl Schneider, Günther Dynamische Logik und ihre Anwendbarkeit bei Korrektheitsbeweisen von Programmen 1981 Loeckx Dipl Schneider, Martina Paketorientierte Übertragungsdienste in Verteilten Systemen 1981 Wilhelm Dipl Schwarz, Horst-Erich DAME - Eine Betrachtung zur künstlichen Intelligenz über das Beispiel des 2-Personen-Nullsummenspiels DAME, Teil 1 1981 Mehlhorn Dipl Simon, Hans-Ulrich Komplexitätsbetrachtungen rationaler Baum- und Netzmengen 1981 Hotz Diss Vieh, Klaus-Peter Nachbarschaftsmatrizen von Endlichen Multidigraphen und Multigraphen 1981 Andre Dipl Backes, Christine (2,4)-Bäume 1982 Mehlhorn Dipl Becker, Bernd Über die kreuzungsfreie, rechtwinklige Einbettung von gewichteten Graphen in die Ebene 1982 Hotz Diss Bistrich, Walburga Die Transformation von statischen Datenstrukturen in dynamische 1982 Mehlhorn Dipl Darsch, Stefan VLSI: Addition und Multiplikation von Binärzahlen 1982 Mehlhorn Dipl Dewald, Bruno Ein Transferprogramm, das Programme geschrieben in einer Teilmenge der Sprache ALPHARD in äquivalente PASCAL-Programme überführt 1982 Loeckx Dipl Dithmar, Wolfram Implementierung eines Compiler-erzeugenden-Systems auf einem Mikrorechner: der Attributierungsgenerator 1982 Wilhelm Dipl Essig, Gerhard Simulation konventioneller Programmkonstrukte in Prolog 1982 Loeckx Dipl Fissgus, Ursula Brigitte Darstellungssätze für Chomsky-0 und Chomsky-1 Sprachen 1982 Hotz Dipl Frick, Helmut MEDUSA Der Mehrrechner-Durchschalte-Satellitenrechner des Rechenzentrums der Universität des Saarlandes 1982 Scheidig Diss Gerhard, Wolfgang Dietrich Zur Perkolation im eingeschränkten Zahlengitter 1982 Brosamler Dipl Güttler, Reiner Die Erzeugung optimalen Codes für series-parallel-graphs in polynomieller Zeit 1982 Mehlhorn Diss Hoferichter, Wolfgang Anwendbarkeit und Vergleich verschiedener Methoden für partielle Korrektheitsbeweise in Bezeichnungssemantik 1982 Loeckx Dipl Jakobs, Franz-Josef Implementierung eines Compiler-Generators auf einem Mikro-Rechner: Intraktives Lernprogramm 1982 Wilhelm Dipl Jung, Alfons Anfangs-Randregularität bei semilinearen parabolischen Differentialgleichungen 1982 Tomi Dipl Kasper, Udo ADA-Editor, Teil I, Grundlagen 1982 Wilhelm Dipl Klein, Adrian Ort der Regularisierung bei schlechtgestellten Problemen 1982 Natterer Dipl Kolla, Reiner Untere Schranken für VLSI 1982 Hotz Dipl Licher, Veronika Pascal Testsystem Simplifier 1982 Wilhelm Dipl Molitor, Paul Louis Kolmogorov Komplexität 1982 Hotz Dipl Oberhauser, Hans-Georg Ein LALR(1)-Parsergenerator 1982 Wilhelm Dipl Orchowski, Rudolf Die Übersetzung regulärer Ausdrücke in integrierte Schaltkreise 1982 Mehlhorn Dipl Pesch, Antonius Die Maximum-Likelhood-Schätzung bei einparametrigen Exponentialfamilie 1982 Schmidt Dipl Pfahler, Peter Ein LR-Scanner-Generator 1982 Wilhelm Dipl Plank, Lothar Lösung schlecht gestellter Probleme durch Regularisierung :Bestimmung des optimalen Regularisierungsparameters durch Cross-Validation 1982 Natterer Dipl Sahl, Marika Beta - Datenmanipulationssprache zu einer relationalen Datenbank 1982 Mehlhorn Dipl Schauch, Claudia LexikographischeAnordnung von Klassen geordneter Bäume 1982 Kemp Dipl Schmauch, Claudia Lexikographische Anordnung von Klassen geordneter Bäume 1982 Dipl Spies, Gaby Wortidentifikation mit Fehlererkennung 1982 Mehlhorn Dipl Spurk, Reinhard Modularisierung von SRL(1)-Analysetabellen und deren Optimierung 1982 Scheidig Dipl Strothmann, Rolf Aspekte der Kommunikation in Systemen mit sehr vielen Prozessen 1982 Hotz Diss

Created and designed by FdSI Impressum