Suche
Kategorie
18881 Treffer
×
Universität Koblenz
- Fahrner, C.; Marx, T.; Philippi, S.
- DICE: Declarative integrity constraint embedding into the object database standard ODMG-93
- Data & knowledge engineering. Bd. 23. H. 2. Amsterdam: Elsevier 1997 S. 119 - 146
- Lautenbach, Kurt; Ridder, Hanno
- A completion of the S-invariance technique by means of fixed point algorithms
- Koblenz-Landau: Univ., Inst. f. Informatik 1995 43 S. (Fachberichte Informatik ; 10/95)
- Simon, Carlo; Ridder, Hanno; Marx, Thomas
- The Petri net tools Neptun and Poseidon
- Koblenz-Landau: Univ., Inst, für Informatik 1997 0 S. (Fachberichte Informatik ; 15/97)
- Marx, T.
- APRIL - Visualisierung der Anforderungen
- Koblenz: Universität Koblenz-Landau 1997
- Kruse, R. J.; Lautenbach, K.
- Diagnostik mit Petri-Netzen
- Algorithmen und Werkzeuge für Petrinetze. Humboldt-Universität zu Berlin 1997
- Lautenbach, Kurt; Ridder, Hanno
- Liveness in bounded Petri nets which are covered by T-invariants
- Koblenz: Inst. für Informatik, Univ. 1993 22 S. (Fachberichte Informatik ; 5/93)
- Lautenbach, K.; Ridder, Hanno
- Die Lineare Algebra der Verklemmungsvermeidung - ein Petri-Netz-Ansatz
- Entwurf komplexer Automatisierungssysteme. 1997
- Priese, Lutz; Wimmel, Harro
- On some compositional Petri net semantics
- Koblenz-Landau: Univ., Inst. f. Informatik 1995 31 S. (Fachberichte Informatik ; 20/95)
- Lakmann, R.; Priese, L.
- Farbtextursynthese mit Farbkovarianzmerkmalen
- Proceedings 2. Workshop Farbbildverarbeitung, Ilmenau. Zentrum für Bild und Signalverarbeitung e.V. 1996 S. 21-24
- Lakmann, R.; Priese, L.
- A Reduced Covariance Color Texture Model for Micro-Textures
- Proc. 10th Scandinavian Conference on Image Analysis (SCIA), Lappeenranta, Finland. Pattern Recognition Society of Finland 1997 S. 947-953