Suche
Kategorie
Erscheinungsjahr
110977 Treffer
×
Publikationen
×
Johannes Gutenberg-Universität Mainz
×
Universität Koblenz
×
Universität Trier
×
Hochschule Mainz
×
Hochschule Kaiserslautern
×
Hochschule Worms
×
Technische Hochschule Bingen
×
Theologische Fakultät Trier
×
Hochschule Koblenz
- Sofronie-Stokkermans, Viorica
- Sheaves and geometric logic and applications to the modular verification of complex systems
- S. 1 - 30
- Sofronie-Stokkermans, Viorica
- Interpolation in local theory extensions
- S. 1 - 31
- Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
- Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
- S. 1 - 39
- Roth, A.
- Der Ausschluss der Vaterschaftsanfechtung nach Einwilligung in die heterologe Insemination (§ 1600 Abs. 2 BGB)
- DNotZ. Bd. DNotZ. S. 805 ff
- Meinel, C.; Haffner, E. G.; Engel, Th.
- Flood-Gates statt Firewall - eine "High-Society"-Lösung zum sicheren Datenaustausch zwischen Internet und Intranet
- Technical Reports 1998. Institut for Telematics
- Meinel, C.; Haffner, E. G.; Roth, U. et al.
- Vorhersage von Benutzeranforderungen im Internet
- Technical Reports 1999. Institut for Telematics
- Meinel, C.; Roth, U.; Haffner, E. - G. et al.
- Hyperlink Management System - HLM
- Technical Reports 1999.
- Meinel, C.; Hastenteufel, M.
- Digitale Zertifikate - Standards und Anwendungen
- Technical Reports 1999. Institut for Telematics
- Meinel, C.; Zhang, Z.; Heuer, A. et al.
- Daphne - A Tool for Distributed Web Authoring and Publishing
- Technical Reports 1999. Institut for Telematics
- Meinel, C.; Wagner, A.
- Ein Decision Diagram Portal im World Wide Web
- Technical Reports 1999. Institut for Telematics