FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Jürjens, Jan
Encapsulating Rules of Prudent Security Engineering: (Transcript of Discussion)Bruce Christianson; James A. Malcolm; Bruno Crispo; Michael Roe (Hrsg). Security Protocols: 9th International Workshop Cambridge, UK, April 25–27, 2001 Revised Papers. Berlin: Springer 2001 S. 102 - 106
Ebert, Jürgen; Widmann, F.; Winter, A.
Entwicklung von Batch-Jobs bei der Debeka. Ist-Analyse und Anforderungsbeschreibung2001 S. 38
Ebert, Jürgen; Widmann, F.
Entwicklung von Batch-Jobs bei der Debeka. Konzeptvorschlag für eine Datenstruktur des Repositories2001 S. 120
Fislake, Martin; Nettelstroth, Meike
Espresso mit der programmierbaren MaschineUnterricht Arbeit + Technik. Bd. 3. H. 11. Seelze: Friedrich 2001 S. 13 - 18
Wimmer, Maria A.
European Development Towards Online One-stop Government: The "eGOV" Project2001
Zinsser, Timo; Ahlrichs, Ulrike; Merz, T. et al.
Evaluation of a laser range sensorSilvano Donati; T. Bosch; R. Dändliker; G. Häusler; H. Lamela (Hrsg). Proceedings of ODIMAP III: 3rd Topical Meeting on Optoelectronic Distance/Displacement Measurements and Applications; University of Pavia, Italy, September 20 - 22, 2001. Pavia: LEOS 2001 S. 416 - 421
Vogt, F.; Paulus, D.; Schick, C.
Fast Implementations of Temporal Color Image Filtering2001 S. 89-98
Vogt, Florian; Paulus, Dietrich; Schick, Christof H.
Fast Implementations of Temporal Color Image FilteringDietrich Paulus; Joachim Denzler (Hrsg). 7. Workshop Farbbildverarbeitung: 04. - 05. Oktober 2001; Erlangen. Bd. 34. Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg, Institut für Informatik 2001 S. 89 - 98
Kullbach, Bernt; Riediger, Volker; Ebert, Jürgen
Folding : an approach to enable program understanding of preprocessed languagesKoblenz-Landau: Univ., Inst. für Informatik 2001 0 S. (Fachberichte Informatik ; 2001,7-13)
Jürjens, Jan
Formal Development and Verification of Security-Critical Systems with UML. In Workshop on Automated Verification of Critical Systems AVoCS 2001; 19. - 21. April, 2001; Oxford: Published as OUCL Technical Report PRG-RR-01-07Workshop on Automated Verification of Critical Systems (AVoCS 2001). Oxford. 2001 S. 1 - 4