> Verlagsreihe
-
243:
Declarative development of interactive systems T. C. Nicholas Graham
München; Wien: Oldenbourg, 1995
-
244:
Rechnerunterstützung formaler Beweissprachen Matthias Anlauff
München; Wien: Oldenbourg, 1995
-
245:
Design automation for embedded systems Paul Stravers; Patrick Groeneveld
München; Wien: Oldenbourg, 1995
-
246:
The architecture of high performance processors and their applicability to parallel systems Ulrich Brüning
München; Wien: Oldenbourg, 1995
-
228:
Maschinelle Assistenz bei der Korrektur von Zeichnungen Dieter Bolz
München; Wien: Oldenbourg, 1994
-
221:
On deadlocks in concurrent systems a Petri net based approach for deadlock prediction and avoidance Ndombe Cacutalua
München; Wien: Oldenbourg, 1994
-
231:
Spezifikationsbasiertes Testen verteilter Systeme Frank Bieler
München; Wien: Oldenbourg, 1994
-
222:
Netzkopplungen über Breitband-ISDN Entwurf und Realisierung einer modularen Systemarchitektur Thomas Luckenbach
München [u.a.]: Oldenbourg, 1994
-
225:
Multiperspektivische Unternehmensmodellierung theoretischer Hintergrund und Entwurf einer objektorientierten Entwicklungsumgebung Ulrich Frank
München; Wien: Oldenbourg, 1994
-
224:
Architekturunterstützung zur Erhöhung der Zuverlässigkeit und Sicherheit von Rechnersystemen Jörg Kaiser
München; Wien: Oldenbourg, 1994
-
223:
Hypertext und tutorielle Lernumgebungen ein Ansatz zur Integration Dirk B. Meyerhoff
München; Wien: Oldenbourg, 1994
-
241:
Codeselektion mit regulär gesteuerter Termersetzung Helmut Emmelmann
München [u.a.]: Oldenbourg, 1994
-
232:
Duale Objekte ein Modell zur objektorientierten Konstruktion von Programmfamilien für massiv parallele Systeme Jörg Nolte
München; Wien: Oldenbourg, 1994
-
217:
An integrated management model for intelligent networks Thomas Magedanz
München [u.a.]: Oldenbourg, 1994
-
218:
Spärlich verbundene neuronale Netze und ihre Anwendung Klaus-Robert Müller
München [u.a.]: Oldenbourg, 1994
-
220:
Integration kooperierender Systeme Architektur und Dienstplattform für offene verteilte Anwendungen Volker Tschammer
München [u.a.]: Oldenbourg, 1994
-
233:
Stochastic modeling using DSPNexpress Christoph Lindemann
München; Wien: Oldenbourg, 1994
-
234:
Group support systems Gesellschaft für Mathematik und Datenverarbeitung mbH. Thomas Kreifelts ... (Eds.)
München; Wien: Oldenbourg, 1994
-
227:
Multilevelverfahren mit selbstadaptiven Gitterverfeinerungen für Parallelrechner mit verteiltem Speicher Max Lemke
München [u.a.]: Oldenbourg, 1994
-
230:
Unterstützung applikationsspezifischer Anforderungen durch Reflexion über der Infrastruktur in objektorientierten Betriebssystemen Susann Sonntag
München; Wien: Oldenbourg, 1994
-
229:
Fixpoint transformations and parallel asynchronous iterative algorithms Jiawang Wei
München [u.a.]: Oldenbourg, 1994
-
219:
Using command objects to implement user interfaces Thomas Berlage
München [u.a.]: Oldenbourg, 1994
-
238:
Evaluating parallel processing of communication protocols Markus Walch
München; Wien: Oldenbourg, 1994
-
236:
Objekt-orientierte Modellierung offener Verteilter Systeme eine mathematisch untermauerte Pragmatik Klaus-Peter Eckert
München; Wien: Oldenbourg, 1994
-
239:
Eine Sicherheitsarchitektur für kooperative offene Umgebungen Michael Gehrke
München [u.a.]: Oldenbourg, 1994
-
240:
Hierarchische Mehr-Ebenen-Fehlersimulation mit Modellen der Schalter-Ebene Wolfgang Meyer. Gesellschaft für Mathematik und Datenverarbeitung mbH
München [u.a.]: Oldenbourg, 1994
-
207:
PERPLEX ein graphisch-interaktives System zur Unterstützung der logischen Programmierung Michael Spenke
München; Wien: Oldenbourg, 1993
-
215:
Visual programming for image analysis in object-oriented style Guofei Wu
München [u.a.]: Oldenbourg, 1993
-
213:
Object-oriented application frameworks for graphical user interfaces the GINA perspective Thomas Berlage
München; Wien: Oldenbourg, 1993
-
210:
A language for high-level programming of dynamic reconfiguration Markus Endler
München; Wien: Oldenbourg, 1993
-
214:
Informationsmodellierung für verteilte Anwendungen auf Basis standardisierter Datenmodelle Angela Scheller
München [u.a.]: Oldenbourg, 1993
-
212:
Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion Jochen Burghardt
München; Wien: Oldenbourg, 1993
-
209:
Expertensystemgestützte Diagnose massiv paralleler Rechner Lutz Eichler
München; Wien: Oldenbourg, 1993
-
211:
Flux-Splitting-Methoden und Mehrgitterverfahren für hyperbolische Systeme mit Beispielen aus der Strömungsmechanik Claudia Frohn-Schauf
München; Wien: Oldenbourg, 1993
-
201:
Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme Gerd Kock
München; Wien: Oldenbourg, 1992
-
199:
Wissensbasierte Pr/T-Netze zur Planungsunterstützung in offenen Systemen und ihre Anwendung im Bürobereich Frank Victor
München; Wien: Oldenbourg, 1992
-
200:
Grundbegriffe für eine Logik über Ereignisse und Normen ein semantischer Ansatz auf der Basis von Petrinetzen Reinhard Linz
München; Wien: Oldenbourg, 1992
-
202:
OSI-Testmethodik und TTCN Bernd Baumgarten; Alfred Giessler
München; Wien: Oldenbourg, 1992
-
203:
Strukturiertes Scheduling Dieter Eßwein
München; Wien: Oldenbourg, 1992
-
204:
Netzweiter Nachrichtenaustausch entlang eines dynamisch konfigurierbaren Interaktionsmusters Stefan Böcking
München [u.a.]: Oldenbourg, 1992
-
206:
Closing the parallel gap a data structure architecture Andreas Böttcher
München; Wien: Oldenbourg, 1992
-
192:
Zur Pragmatik eines operationalisierten [lambda]-Kalküls als Basis für interaktive Reduktionssysteme Ralf Martin Zimmer
München; Wien: Oldenbourg, 1991
-
194:
Namensräume in verteilten Systemen Winfried E. Kühnhauser
München; Wien: Oldenbourg, 1991
-
197:
Ein Modell zur Generierung paralleler Attributauswerter Eduard Klein
München; Wien: Oldenbourg, 1991
-
195:
A meta-calculus for formal system development Matthias Weber
München; Wien: Oldenbourg, 1991
-
191:
A corporate architecture and object oriented modeling substrate for distributed heterogeneous information systems Loudovikos Marinos
München [u.a.]: Oldenbourg, 1991
-
198:
Ein tableaubasierter Theorembeweiser für die intuitionistische Logik Oliver Bittel
München; Wien: Oldenbourg, 1991
-
193:
MTMM ein System zur Verwaltung von Zeitverhältnissen Stefan Materne
München; Wien: Oldenbourg, 1991
-
196:
Data and information modelling proceedings of the BERKOM Workshop in Höchst-Annelsbach/Odenwald 9.-13. July 1990 Susanne Lehert; Eckhard Moeller (Hrsg.)
München [u.a.]: Oldenbourg, 1991
-
189:
Mehrgitterverfahren für Diffusionsprobleme der Prozeßsimulation Wolfgang Joppich
München [u.a.]: Oldenbourg, 1991
-
187:
Teilweise Auswertung zur Konstruktion von Zwischensprachen Übersetzung komplexer Sprachoperationen Peter Kursawe
München; Wien: Oldenbourg, 1990
-
186:
Zur Semantik graphbasierter Modellierungsmethoden Veronika Strack
München; Wien: Oldenbourg, 1990
-
183:
Transaction concepts in autonomous database environments Jari Veijalainen
München; Wien: Oldenbourg, 1990
-
184:
Ein Simulationsmodell der Einkommensbesteuerung auf der Grundlage synthetischer Mikrodaten Gábor Gyárfás
München; Wien: Oldenbourg, 1990
-
188:
Vergleichende Analyse von Inferenzsystemen Roland Dietrich
München; Wien: Oldenbourg, 1990
-
176:
Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets Heinz Wilhelm Schmidt
München [u.a.]: Oldenbourg, 1989
-
180:
Zur Bedeutung der Concurrency-Theorie für den Aufbau hochverteilter Systeme vorgelegt von Einar Smith
München; Wien: Oldenbourg, 1989
-
181:
Application of the X.500 directory by office systems support for representation, authentication, authorization, and MHS Wolfgang Prinz
München; Wien: Oldenbourg, 1989
-
179:
Concepts, syntax and semantics of SEGRAS a specification language for distributed systems Bernd Krämer
München; Wien: Oldenbourg, 1989
-
175:
The Plankalkül Konrad Zuse
München [u.a.]: Oldenbourg, 1989
-
174:
Kausale Semantik nichtsequentieller Programme Eike Best
München; Wien: Oldenbourg, 1989
-
173:
Ein Modell zur Analyse programminhärenter Zusicherungen Walter Kirchgässner
München; Wien: Oldenbourg, 1988
-
172:
Über die Darstellung von CCS-Programmen durch Petrinetze Ursula Goltz
München [u.a.]: Oldenbourg, 1988
-
171:
Mehrgitterverfahren für Schalenprobleme Anton Schüller
München [u.a.]: Oldenbourg, 1988
-
168:
Kollokationsverfahren und Mehrgittermethoden bei elliptischen Randwertaufgaben Wilhelm Heinrichs
München [u.a.]: Oldenbourg, 1987
-
167:
Ein Transformationssystem zur Programmentwicklung Guido Persch
München; Wien: Oldenbourg, 1987
-
170:
Das Verhalten verteilter Systeme Wolfgang Reisig
München [u.a.]: Oldenbourg, 1987
-
166:
Anwendungen der Netztheorie zur formalen Systemspezifikation Gerda Thieler-Mevissen
München [u.a.]: Oldenbourg, 1987
-
165:
Datenbankentwurf auf der Grundlage von Systembeziehungen Carlos Alberto Heuser
München; Wien: Oldenbourg, 1987
-
162:
Buchungsmaschinen Meisterwerke feinmechanischer Datenverarbeitung 1910 bis 1960 Werner Lange
München [u.a.]: Oldenbourg, 1986
-
160:
Diophantische Systeme und Lösungsmethoden zur Bestimmung aller Invarianten in Petri-Netzen Karl-Heinz Pascoletti
München [u.a.]: Oldenbourg, 1986
-
164:
Mehrgitterverfahren für das erste Randwertproblem der biharmonischen Gleichung und Anwendung auf ein inkompressibles Strömungsproblem Johannes Linden
München [u.a.]: Oldenbourg, 1986
-
158:
Generative attributierte Grammatiken Peter Dencker
München [u.a.]: Oldenbourg, 1986
-
157:
Das Software-Unternehmen empirische Untersuchungen des Unternehmensverhaltens und der Faktoren des Unternehmenserfolgs Ursula Neugebauer
München [u.a.]: Oldenbourg, 1986
-
161:
Spezifikation von Programmiersprachen und Übersetzern Jürgen Uhl
München; Wien: Oldenbourg, 1986
-
159:
Kognitive Parallelverarbeitung Joachim Diederich
München [u.a.]: Oldenbourg, 1986
-
163:
Datenbankmaschinen Friedrich Gebhardt
München [u.a.]: Oldenbourg, 1986
-
144:
Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen Hans Eckert
Muenchen [u.a.]: Oldenbourg, 1985
-
149:
Ein netztheoretisches Modell zur quantitativen Analyse von Systemen (Q-Modell) Maurizio Tazza
München [u.a.]: Oldenbourg, 1985
-
155:
Informationsstrukturen und Verfahren für die getrennte Übersetzung von Programmteilen Manfred Dausmann
München [u.a.]: Oldenbourg, 1985
-
154:
Automated generation of optimized code Hans-Stephan Jansohn
München; Wien: Oldenbourg, 1985
-
148:
Datenzugang, Datenschutz und Anonymisierung Analysepotential und Identifizierbarkeit von anonymisierten Individualdaten Gerhard Paaß; Udo Wauschkuhn
München [u.a.]: Oldenbourg, 1985
-
151:
Strukturierter Programmentwurf Fallstudien zur datenorientierten Methode Klaus Schollenberger; Klaus Truöl; Ursula Viebeg
München [u.a.]: Oldenbourg, 1985
-
150:
Strukturierter Programmentwurf die datenorientierte Methode Klaus Truöl; Ursula Viebeg
München [u.a.]: Oldenbourg, 1985
-
152:
Ein Mehrgitterverfahren zur Berechnung subsonischer Potentialströmungen um Tragflächenprofile Klaus Becker
München; Wien: Oldenbourg, 1985
-
156:
Arbeitnehmerbeteiligung beim Einsatz informationstechnischer Systeme im Betrieb Peter Mambrey
München [u.a.]: Oldenbourg, 1985
-
145:
Prognose und Asymptotik Bayesscher Modelle eine Methode zur Evaluation der Genauigkeit ökonometrischer Prognosen Gerhard Paaß
München [u.a.]: Oldenbourg, 1984
-
142:
DAGS - database management system generic support a versatile internal DBMS interface Reiner Durchholz; Helmut Simm
München [u.a.]: Oldenbourg, 1983
-
143:
Skizzen aus den Anfängen der Datenverarbeitung Friedrich Gebhardt (Hrsg.)
Wien: R. Oldenbourg Verlag, 1983 ; München: R. Oldenbourg Verlag, 1983
-
135:
Zur Konvergenz des ADI-Verfahrens in der Methode der finiten Elemente Franz Brakhagen
München [u.a.]: Oldenbourg, 1982
-
136:
Verteilte Systeme Workshop in der GMD am 4. 11. 1981 Karl Hubert Glässer (Hrsg.)
München [u.a.]: Oldenbourg, 1982
-
138:
Anpassung von Stichproben und n-dimensionalen Tabellen an Randbedingungen Bewertung und Vergleich existierender Verfahren Udo Wauschkuhn
München [u.a.]: Oldenbourg, 1982
-
137:
Anwenderanforderungen an ein Bürokommunikationssystem Thomas Kreifelts
München; Wien: Oldenbourg, 1982
-
129:
Untersuchung über Massnahmen zur Verbesserung der Software-Produktion Zsfassung Zusammenfassung
München: Oldenbourg, 1981
-
128:
GMD-Rechnerstruktur-Workshop Gert Regenspurg (Hrsg.). [Gesellschaft für Mathematik und Datenverarbeitung mbH Bonn]
München [u.a.]: Oldenbourg, 1980
-
121:
Reduktionsverfahren zur Lösung elliptischer Differenzengleichungen im R3 Heinz Reutersberg
München [u.a.]: Oldenbourg, 1980
-
132:
Untersuchung über Massnahmen zur Verbesserung der Software-Produktion 3 Einsatz von Methoden der Software-Produktion
München: Oldenbourg, 1980
-
123:
Messungen zur Speicherverwaltung Untersuchungen zur Strategieselektion Konrad Klöckner
München [u.a.]: Oldenbourg, 1979
-
124:
System 2000 Projektgruppe Existierende Datenbank-Software und ihre Anwendungen
München [u.a.]: Oldenbourg, 1979
-
125:
Interessenberücksichtigung beim Technikeinsatz im Büro- und Verwaltungsbereich Herbert Kubicek
München [u.a.]: Oldenbourg, 1979 [erschienen] 1980
-
122:
Deterministische Strategien zum Scheduling von Taskabhängigkeitsstrukturen für Mehrprozessorsysteme Edgar Nett
München [u.a.]: Oldenbourg, 1979
-
111:
Ansätze zur Organisationstheorie rechnergestützter Informationssysteme Carl Adam Petri (Hrsg.)
München; Wien: Oldenbourg, 1979
-
120:
Konrad Zuse, der Weg zu seinem Computer Z3 Karl-Heinz Czauderna
München [u.a.]: Oldenbourg, 1979
-
119:
Erweiterung regulärer Sprachen zur automatischen Erkennung und Korrektur von syntaktischen Fehlern Fevzi Belli
München [u.a.]: Oldenbourg, 1978
-
118:
Die gesellschaftlichen Auswirkungen der Informationstechnologien André M. Danzin
München; Wien: Oldenbourg, 1978
-
117:
Starke Färbbarkeit in Petri-Netzen Rainer Prinoth
München [u.a.]: Oldenbourg, 1978
-
112:
Beschreibung des Plankalküls Konrad Zuse
München [u.a.]: Oldenbourg, 1977
-
113:
Ein konvergentes Verfahren zur Bestimmung der besten multivariablen rationalen Tschebyscheff-Approximation Ernst-Joachim Büsse
München [u.a.]: Oldenbourg, 1977
-
116:
Zwei-Zähler-Automaten mit gekoppelten Bewegungen Burchard von Braunmuehl
München [u.a.]: Oldenbourg, 1977
-
110:
Die numerische Lösung der Schalengleichung mit verallgemeinerten bikubischen Splinefunktionen Heinz Mühlenbein
München [u.a.]: Oldenbourg, 1977
-
115:
Konzeptioneller Ansatz für ein Planspiel zur Simulation des Budgetierungsprozesses von Hochschulen Siegfried Dickhoven
München [u.a.]: Oldenbourg, 1977
-
106:
The plankalkül Konrad Zuse
Bonn: GMD, 1976
-
109:
Reprensentation of functionals on haar subspaces Rudolph Lorentz
St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung, 1976
-
107:
Realisierungen allgemeiner Systeme Rüdiger Valk
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1976
-
105:
Gesichtspunkte zur Beurteilung algorithmischer Sprachen Konrad Zuse
Bonn: GMD, 1975
-
100:
AFMG - ein asynchroner Fluss-Modell-Generator Hans E. Fuss
Bonn: Ges. f. Mathematik u. Datenverarb., 1975
-
101:
Zur Theorie der Plattengleichung Rolf Leis
St. Augustin: Ges. f. Mathematik und Datenverarbeitung, 1975
-
102:
Über Dualräume nicht notwendig lokalkonvexer Funktionsräume Gustav Zahel
St. Augustin: Ges. f. Mathematik und Datenverarbeitung, 1975
-
98:
Gleichungsdefinierbarkeit in Relationalstrukturen Klaus Indermark
St. Augustin: Ges. für Mathematik und Datenverarbeitung, 1975
-
103:
Proceedings of the Conference on Problems in Nonlinear Functional Analysis Universität Bonn, July 22-26, 1975 [hrsg. v. Herbert Amann ...]
St. Augustin: Ges. für Mathematik und Datenverarbeitung, 1975
-
96:
Lose Kopplung von Systemkomponenten Horst Wedde
St. Augustin: GMD - Ges. für Mathematik und Datenverarbeitung, 1975
-
104:
Eine Untersuchung des Plankalküls im Vergleich mit algorithmischen Sprachen Joachim Hohmann
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1975
-
99:
Schlichtheitsradien von Potenzreihenabschnitten schlichter Funktionen Hans-Peter Kohlhammer
Bonn: Ges. f. Mathematik u. Datenverarb., 1975
-
97:
Beiträge zur Theorie der Programmiersprachen Herbert Kopp
Bonn: GMD, 1975
-
93:
Untergruppen speziell präsentierter Gruppen Jürgen Ackva
St. Augustin [u.a.]: Ges. f. Mathematik u. Datenverarbeitung, 1974
-
94:
Eine konstruktive Methode zur Lösung elliptischer Randwertprobleme Eckhard Reinartz
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1974
-
92:
Primitiv-rekursive Transformationen Friedrich Wilhelm von Henke
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1974
-
85:
Modifizierte Ritz Verfahren in Banachräumen Bruno Braunleder
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1974
-
84:
Funktionen von lokalem Konvexitätstyp Hans Georg Galbas
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1974
-
86:
Rechenschemata, Nomogramme und Tabellen zur Berechnung der Brennweiten linsenhaltiger ametroper brillen- und haftschalenkorrigierter Augen sowie der Brechkräfte der Augenlinsen Helmut Werner; Hermann Gernet; Gisela Neuser
St. Augustin: Ges. f. Mathematik und Datenverarbeitung, 1974
-
87:
Algebraische Eigenschaften linearer Automaten Klaus Ecker
(St. Augustin: Ges. für Mathematik u. Datenverarbeitung), 1974
-
88:
Algebraische Charakterisierung additiver Automaten-Arrays Wolfgang Merzenich
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1974
-
90:
Dialogsteuerung Günter Höns
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1974
-
91:
Teilklassen primitiv-rekursiver Wortfunktionen Klaus Weihrauch
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1974
-
89:
Optimale Abschätzung von Polynomnullstellen und Polynomkoeffizienten mit Anwendungen auf die Verfahren von Graeffe und Nickel Gerhard Schroeder
St. Augustin: Ges. f. Mathematik und Datenverarbeitung, 1974
-
95:
Zu den Grundlagen einer Theorie netzverarbeitender Automaten Dieter Schütt
St. Augustin: GMD - Ges. für Mathematik und Datenverarbeitung, 1974
-
67:
Außenraumaufgaben zur Plattengleichung mit Hilbertraummethoden Wolfram Wickel
St. Augustin-Birlinghoven: Ges. f. Mathematik und Datenverarbeitung, 1973
-
68:
Numerische Behandlung der singulären Integralgleichung zur Bestimmung der Ladungsdichte und Feldstärke bei elektronen-optischen Instrumenten Wolfgang Appelt
St. Augustin-Birlinghoven: Ges. f. Mathematik und Datenverarbeitung, 1973
-
69:
Eine intervallanalytische Methode zur Lösung von Integralgleichungen mit mehrparametrigen Funktionen Hans-Otto Klein
St. Augustin-Birlinghoven: Ges. f. Mathematik und Datenverarbeitung, 1973
-
78:
Über die erkennbare Wortmenge linearer nilpotenter Automaten Klaus Ecker; Helmut Ratschek
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1973
-
80:
Hochwasserprognose ein Simulationsmodell und experimentelle Ergebnisse Peter Henne
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1973
-
81:
Eine Theorie der Kaskadenrealisierung von Gruppenfunktionen Otto Kolp
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1973
-
82:
Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri-Netzen Kurt Lautenbach
St. Augustin-Birlinghoven: Ges. f. Mathematik und Datenverarbeitung, 1973
-
71:
Über beschränkte Interpolationsreihen mit n Stützstellen Rolf Fischer
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1973
-
70:
Ableitungsverträgliche Verallgemeinerung der Intervallpolynome Klaus Kansy
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1973
-
79:
Fehlereinschliessung bei der numerischen Lösung elliptischer Differentialgleichungen unter Verwendung eines intervallarithmetischen Defektverfahrens Wolfgang Appelt
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1973
-
72:
Zur Theorie elastischer Schwingungen Rolf Leis
St. Augustin-Birlinghoven: Ges. f. Mathematik und Datenverarbeitung, 1973
-
76:
Zur Beschreibung mehrdimensionaler Zeichenketten durch formale Sprachen Manfred Rosendahl
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1973
-
83:
Intervallanalytische Methoden zum Existenznachweis und zur Konstruktion der Lösung von Periodizitätsproblemen bei gewöhnlichen Differentialgleichungen Udo Wauschkuhn
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1973
-
74:
Berechnung von Cohomologieringen simplizialer Paare auf EDV-Anlagen Heinz-Otto Peitgen
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1973
-
77:
Ergebnisse einer Tagung über "Funktionentheoretische Methoden bei partiellen Differentialgleichungen" Bonn, 19.-21. Okt 1972 [hrsg. v. Stephan Ruscheweyh]
St. Augustin-Birlinghoven: Ges. f. Mathematik und Datenverarbeitung, 1973
-
75:
Ein Darstellungssatz für eine Klasse pseudoanalytischer Funktionen Karl Wilhelm Bauer; Stephan Ruscheweyh
St. Augustin: Ges. f. Math. u. Datenverarbeitung, 1973
-
73:
Zur Klassifikation von Lambda-Plaenen Bernhard Mager
St. Augustin: Ges. f. Mathem. u. Datenverarb., 1973
-
55:
Struktur eines Frage-Antwort-Systems auf mengentheoretischer Grundlage Klaus-Dieter Kraegeloh; Peter Lockemann
St. Augustin-Birlinghoven: Ges. f. Mathematik und Datenverabeitung, 1972
-
62:
Über vollautomatische Erfassung und Abschätzung von Rundungsfehlern in arithmetischen Prozessen Thomas Kreifelts
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1972
-
54:
Fixpunkte homotoper Abbildungen
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1972
-
56:
Erkennung von Schreibvorgängen
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1972
-
58:
EUCLID Darstellung und Behandlung zweidimensionaler geometrischer Strukturen im Computer Rolf Petersen
St. Augustin: Ges. für Mathematik und Datenverarbeitung, 1972
-
59:
Parameterabhängige Schaltungen und Automaten Klaus J. Weschenfelder
St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung, 1972
-
57:
Festband anlässlich des 65. Geburtstages von Herrn Prof. Dr. Dr. h. c. Ernst Peschl am 1. September 1971 [hrsg. von Friedhelm Erwe ...]
St. Augustin: Ges. f. Mathametik und Datenverarbeitung, 1972
-
53:
Reflexivität und Existenz-Teilräume in der linearen Approximationstheorie Wlater Pollul
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1972
-
64:
Ein System zur Darstellung und Bearbeitung assoziativer Datenstrukturen Christian Köhler
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1972
-
60:
Ein Dualkegel für p-konvexe topologische lineare Räume Wolfgang Ruess
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1972
-
65:
Randwertaufgaben zu elliptischen Differentialgleichungen zweiter Ordnung mit singulären Koeffizienten Karl Josef Witsch
St. Augustin: Ges. f. Mathematik und Datenverarbeitung, 1972
-
66:
Zur Existenz des Dirichletschen Integrals für klassische Lösungen der Neumannschen Randwertaufgabe Rainer Picard
St. Augustin: Ges. f. Mathematik und Datenverarbeitung, 1972
-
63:
Der Plankalkül Konrad Zuse
St. Augustin: Ges. für Mathematik und Datenverarbeitung, 1972
-
42:
Über analytische Iteration linearer und kontrahierender biholomorpher Abbildungen Ludwig Reich
St. Augustin-Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1971
-
48:
Leray-Schauder Theorie fuer eine Klasse differenzierbarer Abbildungen in Banachräumen Christian Fenske
St. Augustin: Gs. f. Math. u. Daten=verarb., 1971
-
41:
Intervallanalytische Defektabschätzung bei Anfangswertaufgaben für Systeme gewöhnlicher Differentialgleichungen Siegfried Hunger
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1971
-
45:
Ein verallgemeinertes Modell endlicher sequentieller Systeme und Beiträge zu deren Reduktionstheorie Gisbert Dittrich
St. Augustin-Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1971
-
39:
Quasimetrische Räume und quasinormierte Gruppen Friedrich Wilhelm Schäfke
St. Augustin-Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1971
-
44:
F-Normideale von Operatoren in normierten Räumen Bernd Rosenberger
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1971
-
50:
Zur Theorie der zeitunabhängigen Maxwellschen Gleichungen Rolf Leis
St. Augustin-Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1971
-
37:
Einfache nicht-sequentielle Prozesse Hartmann Jochen Genrich
St. Augustin: Ges. f. Mathematik u. Datenverarbeitung, 1971
-
38:
Zur Realisierung von Automaten über Algebren Bernd Reusch
St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung, 1971
-
40:
Struktur und Klassifizierung bizyklischer p-Gruppen Wolfgang Lindenberg
St. Augustin-Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1971
-
51:
Ein Programm zur Bestimmung der Automorphismengruppen endlicher auflösbarer Gruppen Eberhard Geller
St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung, 1971
-
46:
Über die absolute Unabhängigkeit in einstelligen Algebren Klaus Truöl
St. Augustin-Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1971
-
43:
Diametrale Dimension, approximative Dimension und Anwendungen Eberhard Schock
St. Augustin-Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1971
-
49:
Positive Approximation Rudolph A. Lorentz
St. Augustin-Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1971
-
31:
Zu den Grundlagen einer Theorie topologischer sequentieller Systeme und Automaten Wilfried Brauer
St. Augustin-Birlinghoven: Ges. fuer Mathematik u. Datenverarbeitung, 1970
-
33:
Zur Zustandsminimisierung nichtdeterministischer erkennender Automaten Klaus Indermark
Birlinghoven: Ges. f. Math. u. Datenverarb., 1970
-
30:
Numerische Behandlung des Simplexverfahrens mit intervallanalytischen Methoden Bernd Machost
Birlinghoven: Ges. f. Math. u. Datenverarb., 1970
-
26:
Tschebyscheff-Approximation von Intervallfunktionen durch verallgemeinerte Intervallpolynome Günther Schmitgen
Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1970
-
29:
Über die Struktur zerfallender nicht-modularer bizyklischer 2-Gruppen Wolfgang Lindenberg
St. Augustin-Birlinghoven: Ges. f. Mathematik u. Datenverarbeitung, 1970
-
32:
Indexberechnung mit Funktionalkalkuelen analytischer und stetiger Funktionen
St. Augustin-Birlinghoven: Ges. f. Mathematik u. Datenverarbeitung, 1970
-
28:
Lösung der 1. Randwertaufgabe der Laplace-Gleichung im Rechteck mit intervallanalytischen Methoden Ronald Tost
St. Augustin-Birlinghoven: Ges. f. Mathematik u. Datenverarb., 1970
-
35:
Intervallanalytische Methoden zur Lösung von Randwertaufgaben bei gewöhnlichen Differentialgleichungen Peter Schwanenberg
St. Augustin-Birlinghoven: Ges. f. Mathematik u. Datenverarbeitung, 1970
-
36:
Untersuchungen über Fermatsche Kongruenzen Willi Klösgen
St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung, 1970
-
27:
Natürliche Pontrjagin-Dualität topologischer Moduln Fritz Eduard Peters
Birlinghoven: Ges. f. Mathematik u. Datenverarbeitung, 1970
-
34:
Über Schieberegistergraphen und -Realisierungen Dieter Schütt
St. Augustin-Birlinghoven: Ges. für Mathematik und Datenverarbeitung, 1970
-
10:
Zusammenziehbare Sphären in [Phi]-Räumen Diethard Pallaschke
Birlinghoven: Ges.f.Math.u.Datenverarb., 1969
-
13:
Primitiv-rekursive Funktionen in Peano-Algebren Arnulf Hirschelmann
Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1969
-
22:
Eigenschaften und Abschätzungen von Wirkungsfunktionen Helmut Plünnecke
Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1969
-
23:
On M-functions and their application to nonlinear Gauss-Seidel iterations and to network flows Werner C. Rheinboldt
Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1969
-
16:
Lefschetzsche Fixpunkträume und Fixpunkte von iterierten Abbildungen Günther Eisenack
Birlinghoven: Ges. f. Mathematik u. Datenverarbeitung, 1969
-
19:
Über ein Verfahren zur Berechnung der maximalen Untergruppen einer endlichen Gruppe mit einer Hallschen Normalteilerkette Ekkehard Altmann
Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1969
-
8:
Verallgemeinerte Basen für topologische lineare Räume Diethard Pallaschke
Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1969
-
25:
Topologische Eigenschaften einer Klasse nicht notwendig lokal konvexer metrischer Funktionsräume Diethard Pallaschke
Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1969
-
18:
Faktorzerlegung von Polynomen mit Fehlererfassung Peter Katzan
Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1969
-
20:
Ein Steuerungsprinzip der Intervallrechnung und dessen Anwendung auf den Gaußschen Algorithmus Peter Wißkirchen
Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1969
-
21:
Die numerische Behandlung von Integralgleichungen mit intervall-analytischen Methoden Walter Neuland
Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1969
-
12:
Zur Berechnung der ersten und zweiten Cohomologiegruppen endlicher Gruppen durch elektronische Rechenautomaten Ekkehard Altmann
Birlinghoven: Ges. f. Mathematik u. Datenverarbeitung, 1969
-
15:
Der Satz von Bernstein für metrische lineare Räume Diethard Pallaschke
Birlinghoven: Ges. f. Math. u. Datenverarbeitung, 1969
-
11:
Eine Verallgemeinerung der Intervallarithmetik Hans-Joachim Ortolf
Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1969
-
17:
Über vollständige und teilweise lineare Realisierung von Automaten Bernd Reusch
Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1969
-
14:
Über die Abhängigkeit der uneigentlichen Geradenrelation von der eigentlichen bei mehrwertigen Ordnungsfunktionen auf affinen Räumen Wilhelm Junkers
Birlinghoven: Ges. f. Mathematik u. Datenverarbeitung, 1969
-
1:
Zur Theorie der Schieberegister - Realisierungen von Schaltwerken Karl Heinz Boehling
Birlinghoven: Gesellschaft fuer Mathematik und Datenverarbeitung, 1968
-
6:
Kugelkompaktheit für metrische lineare Räume Diethard Pallaschke; Georgios Pantelidis
Birlinghoven: Ges. f. Math. u. Datenverarb., 1968
-
7:
Eine Darstellungstheorie für stetige lineare Funktionale Abbas Al-Anbari
Birlinghoven: Ges. für Math. u. Datenverarb., 1968
-
2:
IDOL e. interaktives Display-orientiertes List Processing System
Birlinghoven: Ges. f. Mathematik u. Datenverarb., 1968
-
3:
Zur Theorie der pro-endlichen Gruppen Wilfried Brauer
Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1968
-
4:
Über Fixpunkte kontrahierender Abbildungen in uniformen Räumen und deren Darstellung durch konvergente Iterationsverfahren Jochen Reinermann
Birlinghoven: Ges. f. Mathematik u. Datenverarbeitung, 1968
-
5:
Überblick über die algebraischen Theorien in der Automatentheorie Dieter Schütt
Birlinghoven: Gesellschaft für Mathematik und Datenverarbeitung, 1968