Suche
Kategorie
18881 Treffer
×
Universität Koblenz
- Ebert, J.; Vossen, G.
- I-serializability: Generalized correctness for transaction-based environments
- Information processing letters. devoted to the rapid publication of short contributions to information processing. Bd. 63. H. 4. Amsterdam [u.a.]: Elsevier 1997
- Ebert, J.; Gimnich, R.; Winter, Andreas et al.
- Wartungsunterstützung in heterogenen Sprachumgebungen. Ein Überblick zum Projekt GUPRO
- Softwarewartung und Reengineering - Erfahrungen und Entwicklungen. Bd. Softwarewartung und Reengineering - Erfahrungen und Entwicklungen. Wiesbaden. 1996 S. 263-275
- Ebert, Jürgen; Kamp, Manfred; Winter, Andreas
- GUPRO : A generic system to support multi-level understanding of heterogeneous software
- Koblenz-Landau: Univ., Inst, für Informatik 1997 0 S. (Fachberichte Informatik ; 6/97)
- Ebert, Jürgen; Süttenbach, Roger; Uhe, Ingar
- Meta-CASE in Practice: A Case for KOGGE
- Lecture notes in computer science. Bd. 1250. Berlin: Springer 1997 S. 203 - 216
- Ebert, J.; Winter, Andreas; Dahm, Peter et al.
- Graph Based Modeling and Implementation with EER/GRAL
- Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1996 (11)
- Süttenbach, Roger; Ebert, J.
- A Booch Metamodel
- Koblenz: Universität Koblenz-Landau, Institut für Informatik 1997 (5)
- Winter, Andreas; Ebert, Jürgen
- Ein Referenz-Schema zur Organisationsbeschreibung
- Koblenz-Landau: Univ., Inst. f. Informatik 1994 17 S. (Fachberichte Informatik ; 6/94)
- Winter, Andreas; Ebert, J.; Zwierlein, E.
- Referenzmodelle für Krankenhaus-Informationssysteme und deren Anwendung
- Zwierlein, E. (Hrsg). Das Krankenhaus der Zukunft, Management im Gesundheitswesen. München: Urban & Schwarzenberg 1997
- Chandrabose, Aravindan; Baumgartner, Peter; Dix, Jürgen et al.
- On Merging Theorem Proving and Logic Programming Paradigms
- Maher, M. (Hrsg). Proceedings of the Joint International Conference and Symposiums on Logic Programming, Bad Honnef. Cambridge, MA, London, England: MIT Press 1996 S. 546
- Aravindan, C.; Görz, G.; Hölldobler, S.
- "DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover
- Görz, G.; Hölldobler, S. (Hrsg). Proceedings of KI '96. Springer-Verlag 1996 S. 19-23