search result

Cover von Ein Randverteilungsproblem und seine Anwendung auf das asymptotische Spektrum bilinearer Abbildungen

Ein Randverteilungsproblem und seine Anwendung auf das asymptotische Spektrum bilinearer Abbildungen
Author: Mauch, Franz Search for this author
Year: 1998
Publisher: Konstanz, Universität
Series: Konstanzer Schriften in Mathematik und Informatik / Universität Konstanz / Fakultät für Mathematik und Informatik; 75
Media group: DISSERTATION
Cover von Abstrakte Rechnernetzmodelle als Grundlage einer umfassenden Automatisierung des Netzmanagements

Abstrakte Rechnernetzmodelle als Grundlage einer umfassenden Automatisierung des Netzmanagements
Konzepte und Sprachen zu ihrer Umsetzung
Author: Stadler, Michael Search for this author
Year: 1998
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 7/98
Media group: DISSERTATION
Cover von Entwicklung und Bewertung von Objektmigrationsstrategien für verteilte Umgebungen

Entwicklung und Bewertung von Objektmigrationsstrategien für verteilte Umgebungen
Author: Gerns, Arnd Search for this author
Year: 1998
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 6/98
Media group: DISSERTATION
Cover von Homology and cohomology of toric varieties

Homology and cohomology of toric varieties
Author: Jordan, Arno Search for this author
Year: 1998
Publisher: Konstanz, Universität
Series: Konstanzer Schriften in Mathematik und Informatik / Universität Konstanz / Fakultät für Mathematik und Informatik; 57
Media group: DISSERTATION
Cover von Differenzierbarkeit im Bild und Abbildungseigenschaften verallgemeinerter Fouriertransformationen bei variablen Koeffizienten im Außengebiet und Anwendungen auf Gleichungen im Kirchhoff-Typ

Differenzierbarkeit im Bild und Abbildungseigenschaften verallgemeinerter Fouriertransformationen bei variablen Koeffizienten im Außengebiet und Anwendungen auf Gleichungen im Kirchhoff-Typ
Author: Kerler, Charlotte Search for this author
Year: 1998
Publisher: Konstanz, Universität
Series: Konstanzer Schriften in Mathematik und Informatik / Universität Konstanz / Fakultät für Mathematik und Informatik; 67
Media group: DISSERTATION
Cover von Fuzzy Geometrie und Anwendungen in der medizinischen Bildverarbeitung

Fuzzy Geometrie und Anwendungen in der medizinischen Bildverarbeitung
Author: Köhler, Lutz Search for this author
Year: 1998
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 3/98
Media group: DISSERTATION
Cover von Linking visual formalisms

Linking visual formalisms
a compositional proof system for statecharts based on symbolic timing diagrams
Author: Helbig, Johannes Search for this author
Year: 1998
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 4/98
Media group: DISSERTATION
Cover von Mechanical support and validation of a design calculus for communicating systems by a logic-based proof system

Mechanical support and validation of a design calculus for communicating systems by a logic-based proof system
Author: Bohn, Jürgen Search for this author
Year: 1998
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 2/98
Media group: DISSERTATION
Cover von Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme

Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme
Author: Kleuker, Stephan Search for this author
Year: 1998
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 1/98
Media group: DISSERTATION
Cover von Spezialisierung und Degeneration von Tensoren

Spezialisierung und Degeneration von Tensoren
Author: Tobler, Verena Search for this author
Year: 1997
Publisher: Konstanz, Universität
Series: Konstanzer Schriften in Mathematik und Informatik / Universität Konstanz / Fakultät für Mathematik und Informatik; 47
Media group: DISSERTATION
OPEN V 11.1.0.0