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

Abschlüsse 1976 bis 1978 Name Titel Jahr Lehrstuhl Typ Alt, Helmut Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter kontextfreier Sprachen 1976 Mehlhorn Diss Breder, Michael Implementierung und Speicherverwaltung dynamischer Zeichenketten 1976 Hotz Dipl Dammasch, Ingolf E. Über Komplexitäten von Netzwerken und Turing-Maschinen 1976 Hotz Dipl Engstler, Lothar Untersuchungen zu Implementierungsmodellen für Algol-ähnliche Sprachen 1976 Kandzia Dipl Estenfeld, Klaus Ein funktorieller Zusammenhang zwischen einer beliebigen kontextfreien Sprache und der Greibachsprache 1976 Hotz Dipl Fröder, Manfred EIn Algorithmus zur Äquivalenzprüfung von Algol-68 modes 1976 Mehlhorn Dipl Fuchs, Heinz Analytische Untersuchungen von Seitenaustauschalgorithmen 1976 Spaniol Dipl Groß, Gerhard Dualitätssätze mit verallgemeinerten Kuhn-Tucker-Bedingungen 1976 Dörr Dipl Günther, Eugen LR(k)-Algorithmus von R. Kemp für A-minimale Automaten 1976 Hotz Dipl Höh, Fred Der LR(k)-Algorithmus von R. Kemp für z-minimale Automaten 1976 Hotz Dipl Jannasch, Hermann Untersuchungen zu Modellen für Prozedur-Laufzeit-Systeme 1976 Kandzia Dipl Kayen, Peter Praktische Versuche in der Particle-In-Cell Methode 1976 Natterer Dipl Klein, Hans-Joachim Einige Untersuchungen über Programme mit schwacher most-recent Eigenschaft 1976 Kandzia Dipl Köpp, Harald Das Ritz-Galerkin Verfahren für lineare parabolische Kontrollprobleme 1976 Natterer Dipl Lutz, Michael Untersuchung eines Zeitscheibenmodells mit Hilfe von stochastischen Prozessen 1976 Schmidt Diss Messerschmidt, Jan Untersuchungen an Klammersprachen 1976 Hotz Dipl Robert, Jürgen Über Beziehungen zwischen P-Tafeln und charakteristischen Gleichungssystemen linearer endlicher Automaten 1976 Kandzia Dipl Roos, Hartmut Untersuchung von ALOHA-Netzwerken mit mehreren Benutzerfrequenzen 1976 Spaniol Dipl Schmidt, Bernd Die mit k linear beschränkten Zählern berechenbaren Funktionen 1976 Hotz Dipl Schmidt, Hartwig Kantenzüge in Graphen mit Indizierten Kanten 1976 Dipl Schmidt, Werner Untersuchungen über die Auswirkungen der most-recent-Eigenschaft von Programmen Algol-ähnlicher Sprachen auf Laufzeitsysteme 1976 Langmaack Dipl Schmitt, Ulrich SAMSAD ein System zur Ablaufsteuerung, Messdatenerfassung und Strukturanalyse der Daten 1976 Hotz Diss Schneider, Gerd Optimale Klammerung von Matrizenprodukten 1976 Mehlhorn Dipl Spanier, Walter Strengste verallgemeinerte notwendige Optimalitätskriterien vom Kuhn-Tucker-Typ der nichtlinearen Optimierung 1976 Dörr Dipl Stadel, Manfred Das Normalisierungsproblem und der Zusammenhang mit der Zeitkomplexität der kontextsensitiven Analyse 1976 Hotz Diss Theobald, Konrad H. Theorie der Berechenbarkeit von Computerogrammen auf der Grundlage der Topologie 1976 Hotz Dipl Auler, Peter Eine benutzerorientierte Datenbank für Bio-Messdaten 1977 Hotz Dipl Battlehner, Hans-Peter Verarbeitung einfacher Programmiersprachen auf einer Grossrechenanlag 1977 Scheidig Dipl Büch, Erwin Die Simulationssprache CSMP und ihr Einsatz bei der Untersuchung des dynamischen Verhaltens von Regelkreisen 1977 Jaschek Dipl Conrad, Ursula Zur Semantikdefinition von Algol-ähnlichen Programmen mit Hilfe der sogenannten Ausführungen 1977 Kandzia Dipl Daewel, Dietrich Notwendige Optimalitätskriterien für verallgemeinerte Optimierungsaufgaben 1977 Dörr Dipl Engel, Hedi Simulation der SIG50-Leitungsprozedur auf der PDP8/A mit einem Zusatzprogramm zur direkten Übertragung einer PDP-OS-Datei zum TR440 1977 Scheidig Dipl Gräber, Wolfgang Untersuchungn zur Optimierung des Dialogbetriebes des Rechnesystems TR440/TR86S 1977 Hotz Diss Grau, Konrad Simulation eines Algorithmus zur Analyse kontextfreier Sprachen 1977 Hotz Dipl Grün, Helmut Modifizierte Verzweigungsprozesse mit gegenseitiger Beeinflussung 1977 Schmidt Dipl Güttler, Reiner Binäre Suchbäume 1977 Mehlhorn Dipl Harine, Jean-Claude Untersuchung über Modularität von Algol-ähnlichen Programmiersprachen 1977 Mehlhorn Dipl Huynh, Thiet-Dung Funktorieller Zusammenhang zwischen formalen Sprachen 1977 Hotz Dipl Jeannelle, Michel Erfahrungen und Durchführung von Beweisen in LUCID 1977 Loeckx Dipl Klein, Harald Zur formalen Definition von Implementierungsmodellen in Meta IV 1977 Kandzia Dipl Maurer, Roland Finite-Elemente-Methode für parabolische Anfangawertprobleme 1977 Natterer Dipl Michel, Jeannelle Erfahrungen und Durchführungen von Beweisen in LUCID 1977 Dipl Müller, Volker Approximation von Spielen über dem Einheitsquadrat 1977 Andre Dipl Philippi, Wolfgang Die Methode der finiten Elemente 1977 Dipl Preuß, Birgid Optimalität von totalsingulären Kontrollen 1977 Schmidt Dipl Quy, Van Mögliche Realisierung von einigen Seitenersetzungsalgorithmen in Einprogrammbetrieb und in Mehrprogrammbetrieb 1977 Spaniol Dipl Rathjens, Peter Steife Differentialgleichungen 1977 Dipl Rink, Manfred Die Erstellung eines Compilers für die höhere Systemprogrammiersprache SL: Leseprogramme und dynamische Speicherverwaltung 1977 Scheidig Dipl Rosar, Peter Das Multiprogramming-System RC 4000 und das Teilnehmer-BetriebssystemBS 3 des Telefunken-Rechners 440: Beschreibung, Vergleich, partielle Simulation 1977 Spaniol Dipl Schneider, Robert Dirichletsche Reihen bei der Exponentialapproximation 1977 Dörr Dipl Schneider, Wolfgang Binäre Suchbäume 1977 Mehlhorn Dipl Schuh, Hans-Joachim Die Erstellung eines Compilers für die höhere Systemprogrammiersprache SL: der Algorithmus von de Remer, die Semantik 1977 Scheidig Dipl Thome, Klaus Die Erstellung eines Compilers für die höhere Systemprogrammiersprache SL: der Vorlauf, statische Prüfungen 1977 Scheidig Dipl Vogelgesang, Maria Das CORDIC-Verfahren zur Approximation elementarer Funktionen im Vergleich mit anderen Verfahren 1977 Spaniol Dipl Weidner, Wolfgang Der topologische und algebraische Abschluss freier x-Kategorien 1977 Diss Wernet, Norbert Binäre Suchbäume 1977 Mehlhorn Dipl Altenkamp, Doris Nahezu optimale Peäfixcodes bei beliebigen Codesymbolkosten und beliebiger Wahrscheinlichkeitsverteilung der zu codierenden Symbole 1978 Mehlhorn Dipl Becker, Bernd Ein Algebraischer Beweis der Hauptsätze der Komplexen Multiplikation 1978 Frey Dipl Becker, Hans-Jürgen Optimierung von symbolischen Maschinenprogrammen 1978 Hotz Dipl Berberich, Roland Die Erstellung eines Vermittlungsrechnersystems auf einer AEG 80-20 1978 Scheidig Dipl Blum, Norbert Bäume beschränkter Balance 1978 Mehlhorn Dipl Commentz-Walter, Beate Tradeoff zwischen Grösse und Tiefe boolescher Formeln 1978 Mehlhorn Diss Dilg, Hans-Jürgen Darstellung diskreter, altersabhängiger Verzweigungsprozesse als Markoff'sche Prozesse 1978 Schmidt Dipl Dupre, Rudolf Ein Verfahren zur Approximation im Komplexen mit Exponentialsummen 1978 Dörr Dipl Ehrmantraut, Walter Die Bandkomplexität eines erweiterten Pushdown-Automaten zur Reduktion binärer Bäume 1978 Kemp Dipl Engel, Michael Verallgemeinerte Inverse von Matrizen bei der Lösung linearer Gleichungssysteme.Verfahren zur Berechnung der Moore-Penrose-Inversen. 1978 Dipl Eulenstein, Michael Die Entwicklung eines Verfahrens zur Aufnahme pathologischer Diagnosen in eine benutzerorientierte Datenbank 1978 Hotz Dipl Fabro, Alberto del Kompakte dynamische Bäume; eine Implementierung 1978 Mehlhorn Dipl Fels, Jutta Entwicklung eines intelligenten Arbeitsplatzes auf der Basis des Intel SYS 80/10 1978 Scheidig Dipl Fickinger, Edgar Die Implementation der Leitungeprozeduren SPKC und HDLC auf einem Prozessrechner AEG 80-20 1978 Scheidig Dipl Fuchs, Gudrun Herleitung und Anwendung von Grenzwertsätzen im superkritischen allgemeinen altersabhängigen Verzweigungsprozeß 1978 Schmidt Dipl Glasner, Ingrid Formale Beweise über while-Programme: ein Kalkül und sein Modell 1978 Loeckx Dipl Groß, Traute Margit Ein Formatgenerator und Datenerfassungssystem implementiert auf dem Intel 8080 1978 Scheidig Dipl Hagen, Michael Implementierung von Finite-Elemente-Programmen zur Lösung von zwei- und dreidimensionalen Potentialproblemen bei der Risstiefenbestimmung nach dem zerstörungsfreien elektrischen Durchströmungsverfahren 1978 Scheidig Dipl Hans, Konrad Die Multiplikation boolscher Matrizen (; praktische Auswertung und Zeitkomplexität) 1978 Mehlhorn Dipl Heidrich, Siegmund Die Lösung des Wortproblemes für kontextfreie Sprachen durch eine LD(E2)(N)-bandbeschränkte off-line Turingmaschine nach Hartmanis. Ein Simulationsprogramm 1978 Kemp Dipl Huynh, Thiet-Dung Durch Wahrscheinlichkeitsverteilungen induzierte Komplexitätsmasse 1978 Hotz Diss Joa, Petra Über das Wachstumsverhalten eines speziellen Zustandsabhängigen Verzweigungsprozesses 1978 Schmidt Dipl Kamps, Thomas Die Semantik von Schemata und ihre Darstellung im Kalkül LCF 1978 Loeckx Dipl Kunz, Adolf Schleifenoptimierung durch Intervalle 1978 Hotz Dipl Leinenbach, Hans-Joachim Algorithmen zum Aufbau und zur Manipulation von Warteschlangen 1978 Mehlhorn Dipl Lex, Roman Spezielle Optimale Steuerungen bei Beschränkungen im Zustandsraum und linear auftretender Steuerfunktion 1978 Dörr Dipl Luxenburger, Werner Die Bedeutung der Low-Value-Property in der Optimierung und ihr Verhältnis zu wichtigen Constraint Qualifications 1978 Dörr Dipl Maximini, Alfred Untersuchung eines Warteschlangenmodells mit unterbrochener Bedienung 1978 Schmidt Dipl Messerig, Ruth Die Invarianz der LL(k) Eigenschaft context-freier Grammatiken unter einigen Normalformtransformationen 1978 Hotz Dipl Mohr, Rudolf Die Erstellung eines Vermittlungsrechnersystems mit Texthaltungauf Disketten auf dem Kleinrechner OMRON 8025 1978 Scheidig Dipl Müller, Klaus Gottfried Wartephänomene in einem Bedienungssystem mit zwei Warteräumen und alternierender Bedienung durch ein Bedienungselement 1978 Schmidt Dipl Musseleck, Karl Entwicklung eines Sichtgerätegruppenanschlusses (SGA) mit dem Mikrocomputersystem INTEL SBC 80/10 1978 Scheidig Dipl Nauke, Gudela Spezielle Untersuchungen des Tangentenkegels hinsichtlich seiner Bedeutung in den Constraint-Qualifications der nichtlinearen Optimierung 1978 Dörr Dipl Perlbach, Brigitte Die Entwicklung und Programmierung einer Datendefinitionssprache zu einer relationalen Datenbank 1978 Mehlhorn Dipl Pokorny, Vera Zur Charakterisierung von Minimallösungen bei der linearen Tschebyscheffapproximation mit Exponentialsummen in der komplexen Ebene 1978 Dörr Dipl Reinshagen, Horst Dynamische Binärbäume; eine Implementierung 1978 Mehlhorn Dipl Roscheck, Michael Verfahren zum Entwurf eines Teilnehmer-Rechensystems für die kaufmännischen Berufs- und Fachschulen des Saarlandes 1978 Spaniol Dipl Sacksen, Jörn Dualitätssätze für im Lösungspunkt nichtreguläre Optimierungsprobleme 1978 Dörr Dipl Sacksen, Jörn Dualitätssätze für im Lösungspunkt nichtreguläre Optimierungsprobleme 1978 Dörr Dipl Schmauch, Cosima Übersetzung von Normalformtransformationen mithilfe (sic!) von Push-Down-Transduktoren 1978 Hotz Dipl Schmitz, Klaus-Dirk Ein Benutzerorientiertes Datenbanksystem nach dem Relationen-Modell zur Aufnahme pathologischer Befunddaten 1978 Hotz Dipl Sevenig, Joachim Analyse und Modifikation eines Microprozessorgesteuerten Helixdruckers 1978 Scheidig Dipl Simon, Hans-Ulrich Wortprobleme bei Gruppen und kontextfreie Analyse 1978 Hotz Dipl Spaniol, Peter SABAV - Entwicklung eines intelligenten Arbeitsplatzes zur Automatisierung der Ausleihe einer Bibliothek 1978 Scheidig Dipl Speicher, Alfred Ternäre Suchbäume 1978 Mehlhorn Dipl Stein, Wolfgang Das Optimieren von Markoffschen Erneuerungsprozessen bei randomisierter Aktionswahl 1978 Schmidt Dipl Tsagarakis, Marcos Korrektheitsbeweis und NLOGN Implementierung des HU Algorithmus 1978 Mehlhorn Dipl Weber, Reinhard Eindeutigkeitsaussagen bei mehrdimensionalen Kontrollproblemen parabolischer Differentialgleichungen: Suprenum-Norm Probleme 1978 Dörr Dipl Wendel, Harald Die Transformation für ein zweidimensionales komplexes Datenfeld und ihre maschinelle Bearbeitung 1978 Scheidig Dipl Wenderoth, Manfred Fehlerschranken vom Jackson-Typ bei der Tschebyscheff-Approximation mit Exponentialsummen über dem unbeschränkten Intervall [0,unendlich) 1978 Dörr Dipl Wenderoth, Manfred Fehlerschranken vom Jackson-Typ bei der Tschebyscheff-Approximation mit Exponentialsummen über dem unbeschränkten Intervall 0 bis unendlich 1978 Dörr Dipl

Created and designed by FdSI Impressum