Suche
Kategorie
41147 Treffer
- Meyer, M.; Meyer, M.
- Lernen und Lehre im Spannungsfeld der Anforderungen von Gesellschaft, Wissenschaft und Ausbildung
- Meyer, M. (Hrsg). Vom Hörsaal zum Tatort. Neue Spuren vom Hochschulunterricht?. Bamberg: ZeWW 1994 S. 7-17
- Meyer, Michael; Abraham, Ulf
- Vom Hörsaal zum Tat-Ort : neue Spuren vom Hochschulunterricht?
- 1994 123 S. (Beiträge und Materialien zur wissenschaftlichen Weiterbildung ; 16)
- Ganzinger, Harald; Sofronie-Stokkermans, Viorica
- Chaining Techniques for Automated Theorem Proving in Many-Valued Logics
- Marek Perkowski (Hrsg). Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic ISMVL 2000; May 23-25, 2000; Portland, Oregon, USA. Los Alamitos, CA: IEEE Computer Society 2000 S. 337 - 344
- Jürjens, Jan
- Bridging the gap: Formal vs. Complexity-Theoretical Reasoning about Cryptography
- Dagstuhl Seminar Reports. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2000 S. 10
- Meyer, M.; Kreutzer, E.; Nünning, A.
- Emecheta, Buchi
- Kreutzer, E.; Nünning, A. (Hrsg). Metzler Lexikon englischsprachiger Autoren. Stuttgart: Metzler 2002 S. 190
- Meyer, M.; Kreutzer, E.; Nünning, A.
- Mill, John Stuart
- Kreutzer, E.; Nünning, A. (Hrsg). Metzler Lexikon englischsprachiger Autoren. Stuttgart: Metzler 2002 S. 400-401
- Raab, Thomas
- Der arbeitsrechtliche Gleichbehandlungsgrundsatz
- Hönn / Oetker / Raab (Hrsg). Festschrift für Peter Kreutz (2010). Köln: Luchterhand 2010 S. 317 - 347
- 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-07
- Workshop on Automated Verification of Critical Systems (AVoCS 2001). Oxford. 2001 S. 1 - 4
- Abadi, Martín; Jürjens, Jan
- Formal Eavesdropping and Its Computational Interpretation
- Naoki Kobayashi;Benjamin C. Pierce (Hrsg). Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings. Berlin: Springer 2001 S. 82 - 94 (Lecture Notes in Computer Science)
- Heinemann, Günther
- Assessment of Regional Climate Model Simulations of the Katabatic Boundary Layer Structure over Greenland
- Atmosphere. Bd. 11. H. 6. MDPI AG 2020 S. 571