Suche
Kategorie
28215 Treffer
- Gerke, Wolfgang
- Milling Robot with 3D Vision system for Styrofoam Modelling
- IEEE International Conference on Mechatronics an Robotics, Aachen, 13.-15.9.2004. 2004
- Meyer, M.; Häberle, D.; Schmirber, G.
- Praxisorientierter Seminarunterricht mit der Methode ´Lernen durch Lehren´
- Häberle, D.; Schmirber, G. (Hrsg). Zur Zukunft der Hochschullehre - Möglichkeiten zu ihrer Verbesserung. München: Hanns-Seidel-Stiftung 1994 S. 82-84
- 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
- Franco, Mário; Haase, Heiko
- Failure factors in small and medium-sized enterprises : qualitative study from an attributional perspective
- International entrepreneurship and management journal. Bd. 6. H. 4. Berlin u.a.: Springer Science and Business Media 2010 S. 503 - 521
- 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