Suche
Kategorie
Erscheinungsjahr
37203 Treffer
×
Publikationen
×
Universität Koblenz
×
Universität Trier
×
Hochschule Mainz
×
Hochschule Worms
×
Hochschule für Wirtschaft und Gesellschaft Ludwigshafen
- 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
- Gorski, Jochen; Klamroth, Kathrin; Ruzika, Stefan
- Generalized multiple objective bottleneck problems
- OPERATIONS RESEARCH LETTERS. Bd. 40. H. 4. 2012 S. 276 - 281
- Wirtz, Stefan; Falkowski, Kerstin; Paulus, Dietrich
- Model-based recognition of 2D objects under perspective distortion
- Pattern Recognition and Image Analysis. Bd. 22. H. 3. Moscow: MAIK Nauka/Interperiodica Publishing 2012 S. 419 - 432
- Ullrich, Peter
- Bernard Bolzano - Theologe, Philosoph und Mathematiker
- Günter Löffladt (Hrsg). Mathematik - Logik - Philosophie: Ideen und ihre historischen Wechselwirkungen. Frankfurt am Main: Deutsch 2012 S. 335 - 363