search result

Cover von Funktionale Äquivalenz von Petri-Netzen

Funktionale Äquivalenz von Petri-Netzen
Author: Schreiber, Gerlinde Search for this author
Year: 1994
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 5/94
Media group: DISSERTATION
Cover von PPO

PPO
eine objektorientierte Prolog-Erweiterung zur Entwicklung wissensbasierter Anwendungssysteme
Author: Müller, Bernd Search for this author
Year: 1994
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 2/94
Media group: DISSERTATION
Cover von Dialogmodellierung für multimediale Benutzerschnittstellen

Dialogmodellierung für multimediale Benutzerschnittstellen
Author: Götze, Rainer Search for this author
Year: 1994
Publisher: Oldenburg, Univ.
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 1/94
Media group: DISSERTATION
Cover von Modellierung und Manipulation multimedialer Dokumente

Modellierung und Manipulation multimedialer Dokumente
Author: Eirund, Helmut Search for this author
Year: 1991
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 3/91
Media group: DISSERTATION
Cover von Datenbankunterstützung für Prolog-Programmierumgebungen

Datenbankunterstützung für Prolog-Programmierumgebungen
Author: Jasper, Heinrich Search for this author
Year: 1990
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 5/90
Media group: DISSERTATION
Cover von Strukturelle Untersuchungen im Umfeld der Komplexitätsklassen P und NP unter besonderer Berücksichtigung nichtuniformer, probabilistischer und disjunktiv selbstreduzierender Algorithmen

Strukturelle Untersuchungen im Umfeld der Komplexitätsklassen P und NP unter besonderer Berücksichtigung nichtuniformer, probabilistischer und disjunktiv selbstreduzierender Algorithmen
Author: Kämper, Jürgen Search for this author
Year: 1989
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 2/89
Media group: DISSERTATION
Cover von Flußgraphgrammatiken

Flußgraphgrammatiken
Author: Lichtblau, Ulrike Search for this author
Year: 1990
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 3/90
Media group: DISSERTATION
Cover von Shortest edge-disjoint paths in graphs

Shortest edge-disjoint paths in graphs
Author: Schwill, Andreas Search for this author
Year: 1990
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 1/90
Media group: DISSERTATION
Cover von Wissensbasiertes Lösen von Ablaufplanungsproblemen durch explizite Heuristiken

Wissensbasiertes Lösen von Ablaufplanungsproblemen durch explizite Heuristiken
Author: Sauer, Jürgen Search for this author
Year: 1993
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 2/93
Media group: DISSERTATION
Cover von Proofs for traffic safety

Proofs for traffic safety
combining diagrams and logic
Author: Linker, Sven Search for this author
Year: 2015
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 01-15
Media group: DISSERTATION
OPEN V 11.1.0.0