search result

Cover von Analyse eingebetteter Systeme mittels verteilter Simulation
Author: Briel, Björn Search for this author
Year: 2001
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 04/2001
Media group: DISSERTATION
Cover von Ambrosia/MP
ein Echtzeitbetriebssystem für eingebettete Mehrprozessorsysteme
Author: Stierand, Ingo Search for this author
Year: 2001
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 06/01
Media group: DISSERTATION
Cover von Model-checking of duration calculus specifications
Author: Tapken, Josef Search for this author
Year: 2001
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 3/01
Media group: DISSERTATION
Cover von Existenz einer Lösung für die nichtlineare Elastizitätstheorie mit Anwendung in der Herzmechanik
Author: Stypa, Jörn Search for this author
Year: 2000
Publisher: Münster, Universität
Series: Preprints Angewandte Mathematik und Informatik / Universität Münster / Angewandte Mathematik und Informatik; 21/00
Media group: DISSERTATION
Cover von Linear-algebraische Methoden zur Beschreibung, Verfeinerung und Analyse gefärbter Petrinetze
Author: Thielke, Thomas Search for this author
Year: 2000
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 4/00
Media group: DISSERTATION
Cover von Constraint diagrams
Author: Kleuker, Cheryl Search for this author
Year: 2000
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 3/00
Media group: DISSERTATION
Cover von Rekonstruktionsverfahren zur optischen Tomographie
Author: Dierkes, Thomas Search for this author
Year: 2000
Publisher: Münster, Universität
Series: Preprints Angewandte Mathematik und Informatik / Universität Münster / Angewandte Mathematik und Informatik; 16/00
Media group: DISSERTATION
Cover von Non-trapping conditions and local energy decay for hyperbolic problems
Author: Pauen, Raimund Search for this author
Year: 2000
Publisher: Konstanz, Univ.
Series: Konstanzer Schriften in Mathematik und Informatik / Universität Konstanz / Fakultät für Mathematik und Informatik; 132
Media group: DISSERTATION
Cover von Combination and implementation of processes and data
from CSP-OZ to Java
Author: Fischer, Clemens Search for this author
Year: 2000
Publisher: Oldenburg, Univ.
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 2/2000
Media group: DISSERTATION
Cover von Specification and verification of polling real-time systems
Author: Dierks, Henning Search for this author
Year: 2000
Publisher: Oldenburg, Univ.
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 1/2000
Media group: DISSERTATION
OPEN V 11.1.0.0