Suche
Kategorie
39814 Treffer
×
Universität Koblenz
×
Universität Trier
×
Hochschule Worms
×
Theologische Fakultät Trier
×
Hochschule für Wirtschaft und Gesellschaft Ludwigshafen
- Jürjens, Jan
- Verification of low-level crypto-protocol implementations using automated theorem proving.
- MEMOCODE. 2005 S. 89 - 98
- Finke, Johannes B.; Kalinowski, Grit I.; Larra, Mauro F. et al.
- The socially evaluated handgrip test: Introduction of a novel, time-efficient stress protocol
- Psychoneuroendocrinology. Bd. 87. Elsevier BV 2018 S. 141 - 146
- Jürjens, Jan; Lehrhuber, Markus; Wimmel, Guido
- Model-Based Design and Analysis of Permission-Based Security
- Carlo Ghezzi;Yuxi Fu;Shaoying Liu;Jim Woodcock (Hrsg). Proceeding of the 10th IEEE International Conference on Engineering of Complex Computer Systems ICECCS 2005: 16-20 June 2005; Shanghai, China. Los Alamitos, CA: IEEE Computer Society 2005 S. 224 - 233
- Botaschanjan, Jewgenij; Jürjens, Jan
- MoDeII: Modeling and Analyzing Time-Constraints.
- ECBS. 2005 S. 299 - 306
- Filc, Wolfgang
- Das Ende der Effizienzträume
- Hamburger Jahrbuch für Wirtschafts- und Gesellschaftspolitik. Bd. 42. Tübingen: Mohr 1997 S. 9 - 28
- Roehrig, Philipp; Larra, Mauro F.; Schilling, Thomas M. et al.
- HAND VS. FEET: A COMPARISON OF TWO VERSIONS OF THE COLD PRESSURE TEST
- PSYCHOPHYSIOLOGY. Bd. 50 SI SI. 2013 S. S122
- Laufner, R.
- Adel, Bürgerschaft und Städte. Ihr Verhältnis zu einander und zum geistlichen Landesfürsten in Kurtrier
- Dienst und Herrschaft. Aspekte adligen Lebens am Beispiel der Familie Walderdorff. Eine Ausstellung im Bischöflichen Dom- und Diözesanmuseum Trier. Trier. 1998 S. 31 - 41
- Trunk, Markus
- Zur Bauornamentik des römischen Theaters von Segóbriga
- Madrider Mitteilungen. Bd. 39. 1998 S. 151 - 175
- Trunk, Markus
- Zum ersten Bildnistypus der Faustina Minor
- Madrider Mitteilungen. Bd. 40. 1999 S. 146 - 154
- Trunk, Markus
- Zu einem Relieffragment aus Troja in Madrid
- Istanbuler Mitteilungen. Bd. 48. 1998 S. 465 - 468