Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Jürjens, Jan

UP and Security: Overview on UMLsec

Sobenet workshop: UP, XP and architecture. KU Leuven (Belgium). 2005


Thomé, Ulrich; Szyperski, Norbert; von Kortzfleisch, Harald F. O.

US-Technologietransfer am Beispiel der Biotechnologiebranche

Harald F. O. von Kortzfleisch (Hrsg). Wissensorientierte Prozessvirtualisierung in der Biotechnologiebranche: Eine Materialsammlung zu den Forschungsaktivitäten und -ergebnissen des VirtOweB-Projektes. Siegburg: Josef Eul 2005 S. 33 - 50


Jürjens, Jan

Verification of Low-level Crypto-Protocol Implementations Using Automated Theorem Proving

Manfred Broy; Jean-Pierre Talpin; Elizabeth Leonard (Hrsg). Proceedings of the Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design MEMOCODE’05: July 11-14, 2005; Verona, Italy. Los Alamitos, CA: IEEE Computer Society 2005 S. 89 - 98


Paulus, Dietrich; Chastel, Serge; Feldmann, Tobias

Vessel Segmentation in Retinal Images

Amir A. Amini; Armando Manduca (Hrsg). Medical Imaging 2005: Physiology, Function, and Structure from Medical Images; Part Two of Two Parts. Bd. Band Conference 5746. Bellingham, WA: International Society for Optical Engineering 2005 S. 696 - 705


Von Kortzfleisch, Harald F. O.

Virtuelle kooperative Organisationsformen für wissensbasierte Biotechnologieprozesse (VirtOweB) – zugleich Verortung der Beiträge der Materialsammlung

Harald F. O. von Kortzfleisch (Hrsg). Wissensorientierte Prozessvirtualisierung in der Biotechnologiebranche: Eine Materialsammlung zu den Forschungsaktivitäten und -ergebnissen des VirtOweB-Projektes. Siegburg: Josef Eul 2005 S. 1 - 31


Kuhlen, Thorsten; Kobbelt, Leif; Müller, Stefan

Virtuelle und Erweiterte Realität: 2. Workshop der GI Fachgruppe VR/AR

Aachen: Shaker 2005


Becker, Jörg; Algermissen, Lars; Delfmann, Patrick et al.

Virtuelles Rathaus Münsterland 2005: Status-quo und Entwicklungsperspektiven

Münster: ERCIS – European Research Center for Information Systems Westfälische Wilhelms-Universität Münster 2005 S. 1 - 80


Wiedmann, Klaus-Peter; Hennings, Jörg; Kilian, Thomas

Wechselbereitschaft privater Endkunden als zentrale Herausforderung im Erdgasmarketing

Der Markt. Bd. 44. H. 1. Wien: Springer 2005 S. 44 - 54


Fast, Ludger; Fislake, Martin; Mayer, Markus

Wie kriege ich die Dose auf. Funktionsweisen von Dosenöffnern analysieren

Unterricht Arbeit + Technik. Bd. 6. H. 25. Seelze: Friedrich 2005 S. 5 - 7


Klischewski, Ralf; Wimmer, Maria A.

Wissensbasiertes Prozessmanagement im E-Government

Münster: LIT 2005