Suche
30788 Treffer
- 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
- 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
- Jürjens, Jan
- UMLsec: Extending UML for Secure Systems Development
- Jean-Marc Jézéquel;Heinrich Hussmann;Stephen Cook (Hrsg). ≪UML≫ 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings. Berlin: Springer 2002 S. 412 - 425 (Lecture Notes in Computer Science)
- Jürjens, Jan
- UMLsec - Presenting the Profile: A Half-day tutorial
- 6th Annual Workshop on Distributed Objects and Components Security (DOCsec 2002). Baltimore, Maryland. 2002