Suche
Kategorie
29796 Treffer
×
Universität Koblenz
×
Hochschule Mainz
×
Hochschule Kaiserslautern
×
Hochschule Trier
×
Hochschule für Wirtschaft und Gesellschaft Ludwigshafen
- 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
- Kuroczyński, Piotr
- Von Blob Architecture über Digital Baroque zu Smart Cities – die Baukunst im Digitalen Wandel (Vortrag)
- Vortrag im Rahmen vom Info-Tag der Hochschule Mainz, 05.05.2018. Mainz. 2018
- 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
- 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)
- Wimmer, Maria A.; Traunmüller, Roland; Lenk, Klaus
- Electronic Business Invading the Public Sector: Considerations on Change and Design
- Ralph H. Sprague (Hrsg). Proceedings of the 34th Annual Hawaii International Conference on System Sciences HICSS 2001: Maui, Hawaii; January 3-6, 2001. Los Alamitos, CA: IEEE Computer Society 2001 S. 1 - 10