Suche
Kategorie
Erscheinungsjahr
37289 Treffer
- Wessel, Christian; Humberg, Thorsten; Wenzel, Sven et al.
- Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen
- Stefan Jähnichen;Bernhard Rumpe;Holger Schlingloff (Hrsg). Software Engineering 2012: Workshopband; Tagung vom 27. Februar - 02. März 2012 in Berlin. Bonn: Gesellschaft für Informatik 2012 S. 175 - 181
- Wechselberger, Ulrich
- Game-based Learning zwischen Spiel und Ernst: das Informations- und Motivationspotenzial von Lernspielen aus handlungstheoretischer Perspektive
- München: kopaed 2012
- Von Kortzfleisch, Harald F. O.
- Führung: Grundperspektiven und ehrenamtliche Besonderheiten
- Eva Fischer (Hrsg). Führen im Ehrenamt. Siegburg: Josef Eul 2012 S. 1 - 10
- Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
- Computational Verification of C Protocol Implementations by Symbolic Execution
- Ting Yu;George Danezis;Virgil Gligor (Hrsg). Proceedings of the 19th ACM Conference on Computer and Communications Security CCS 2012: October 16–18, 2012; Raleigh, North Carolina, USA. New York, NY: ACM Association for Computing Machinery 2012 S. 712 - 723
- Aizatulin, Mihhail; D. Gordon, Andrew; Jürjens, Jan
- Computational verification of C protocol implementations by symbolic execution.
- ACM Conference on Computer and Communications Security. 2012 S. 712 - 723
- Ochoa, Martín; Jürjens, Jan; Warzecha, Daniel
- A Sound Decision Procedure for the Compositionality of Secrecy
- Gilles Barthe;Benjamin Livshits;Riccardo Scandariato (Hrsg). Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings. Berlin: Springer 2012 S. 97 - 105 (Lecture Notes in Computer Science)
- Mathews, Emi; Frey, Hannes
- A Localized Link Removal and Addition based Planarization Algorithm
- Luciano Bononi;Ajoy K. Datta;Stéphane Devismes;Archan Misra (Hrsg). Distributed Computing and Networking: 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings. Berlin: Springer 2012 S. 337 - 350
- Linnemann, Markus; Becker-Mrotzek, Michael
- „Alphabetisierung im Kontext von...“ Rezension zu zwei Sammelbänden zur Alphabetisierung Erwachsener
- Didaktik Deutsch. Bd. 17. H. 32. Baltmannsweiler: Schneider Hohengehren 2012 S. 140 - 144
- Quaiser-Pohl, Claudia
- Mädchen und Frauen in MINT: Ein Überblick
- Heidrun Stöger;Albert Ziegler;Michael Heilemann (Hrsg). Mädchen und Frauen in MINT: Bedingungen von Geschlechtsunterschieden und Interventionsmöglichkeiten; Lehr-Lern-Forschung; Band 1. Berlin: LIT 2012 S. 13 - 39
- Neuburger, Sarah; Jansen, Petra; Heil, Martin et al.
- A Threat in the Classroom: Gender Stereotype Activation and Mental-Rotation Performance in Elementary-School Children
- Zeitschrift für Psychologie. Bd. 220. H. 2. Göttingen: Hogrefe 2012 S. 61 - 69