Suche
Kategorie
31646 Treffer
×
Universität Koblenz
×
Hochschule Mainz
×
Hochschule Trier
×
Hochschule Worms
×
Theologische Fakultät Trier
- Jürjens, Jan; Kuhn, Thomas A.
- Automated Theorem Proving for Cryptographic Protocols with Automatic Attack Generation
- München: Technische Universität München, Institut für Informatik 2004
- von Kortzfleisch, Harald F. O.; Al-Laham, Andreas
- Structurization and Formalization of Knowledge Management in Virtual Organizations: The Case of a Medium-Sized Consulting Company
- Ralph H. Sprague (Hrsg). Proceedings of the 33rd Annual Hawaii International Conference on System Sciences HICSS 2000: Maui, Hawaii; January 4-7, 2000. Los Alamitos, CA: IEEE Computer Society 2000 S. 1 - 8
- Mühling, Andreas; Schneider, Thomas Martin
- Reformation und Toleranz: Ein spannungsreiches Verhältnis
- Bonn: Habelt 2014
- Jürjens, Jan
- Understanding Security Goals Provided by Crypto-Protocol Implementations.
- ICSM. 2005 S. 643 - 646
- Kaupp, Angela; Höring, Patrik C.
- Einleitung - Handbuch kirchliche Jugendarbeit: für Studium und Praxis
- Angela Kaupp;Patrik C. Höring (Hrsg). Handbuch kirchliche Jugendarbeit: für Studium und Praxis. Freiburg im Breisgau: Herder 2019 S. 15 - 17
- Lambert, Thomas; Bender, Michel; Becker, Wieland
- Experimentelle Untersuchungen zum Materialverhalten von Polymerbeton
- Beton- und Stahlbetonbau. Bd. 116. H. 7. Berlin: Ernst&Sohn, Verlag für Architektur und technische Wissenschaften GmbH & Co. KG 2021 S. 528 - 538
- Kurnia, Sherah; von Westarp, Falk; Leimstoll, Uwe et al.
- Selling Books Online: An Evaluation of Australian and Swiss E-Shops
- Douglas R. Vogel (Hrsg). Proceedings of the 18th Bled eConference 2005; eIntegration in Action: June 6 - 8, 2005; Bled, Slovenia. Atlanta, GA: Association for Information Systems/AIS eLibrary 2005
- Becker, Jörg; Algermissen, Lars; Delfmann, Patrick et al.
- Referenzmodellierung in öffentlichen Verwaltungen am Beispiel des prozessorientierten Reorganisationsprojekts Regio@KomM
- Otto K. Ferstl;Elmar J. Sinz;Sven Eckert;Tilman Isselhorst (Hrsg). Wirtschaftsinformatik 2005: eEconomy, eGovernment, eSociety. Heidelberg: Physica 2005 S. 729 - 745