Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
Guiding a general-purpose C verifier to prove cryptographic protocolsJournal of Computer Security. Bd. 22. H. 5. Amsterdam: IOS Press 2014 S. 823 - 866
Kühn, Svenja Mareike
Gymnasiale Strukturreformen und individuelle Förderung: Routine oder Veränderungsimpuls? Eine explorative empirische AnalyseDie Deutsche Schule. Bd. 106. H. 2. Münster ; New York: Waxmann 2014 S. 119 - 140
Fischer, Eberhard; Killmann, Dorothee; Lehmann, Burkhard et al.
Habenaria lehae, eine neue Orchideenart aus dem Nyungwe Nationalpark, Ruanda; Habenaria lehae, a new orchid species from Nyungwe National Park, RwandaDie Orchidee. Bd. 65. H. 1. Niedernhausen: Deutsche Orchideen-Gesellschaft 2014 S. 14 - 21
Schlich, Michaela
Halal Food: Herausforderung an die GemeinschaftsverpflegungAachen: Shaker 2014 (Ernährungs- und Verbraucherbildung)
Krüger, Oliver
HaltungDaniel Wrana;Alexander Ziem;Martin Reisigl;Martin Nonhoff;Johannes Angermüller (Hrsg). DiskursNetz. Wörterbuch der interdisziplinären Diskursforschung. Berlin: Suhrkamp 2014 S. 173 - 174
Kater-Wettstädt, Lydia; Asbrand, Barbara
Handeln in der Weltgesellschaft. Zum Umgang mit Handlungsherausforderungen im Unterricht zu Themen des Lernbereichs Globale EntwicklungZEP - Zeitschrift für internationale Bildungsforschung und Entwicklungspädagogik. Bd. 37. H. 1. Münster ; New York: Waxmann 2014 S. 4 - 12
Beißwanger, Lisa
Helen Marten: Text zum WerkMatthias Ulrich; Max Hollein (Hrsg). Unendlicher Spaß - Austellungskatalog. Nürnberg: Verlag für Moderne Kunst 2014 S. 391 - 392
Jergus, Kerstin; Krüger, Jens Oliver; Schenk, Sabrina
Heterogenität - Zur Konjunktur eines pädagogischen Konzepts? Analysen der Kontingenz, Generativität und Performativität pädagogischer ArtikulationenHans-Christoph Koller;Rita Casale;Norbert Ricken (Hrsg). Heterogenität: Zur Konjunktur eines pädagogischen Konzepts. Paderborn: Schöningh 2014 S. 149 - 167
Sofronie-Stokkermans, Viorica
Hierarchical Reasoning in Local Theory Extensions and ApplicationsFranz Winkler; Viorel Negru; Tetsuo Ida; Tudor Jebelean; Dana Petcu; Stephen Watt; Daniela Zaharie (Hrsg). Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing SYNASC 2014; 22-25 September 2014; Timisoara, Romania. Los Alamitos, CA: IEEE Computer Society 2014 S. 34 - 41
Fürholzer, Katharina
Holbergs Doctoren : Ärztliche Ethik in den Komödien eines skandinavischen AufklärersFlorian Steger (Hrsg). Jahrbuch Literatur und Medizin : Band VI. Heidelberg: Universitätsverlag Winter 2014 S. 13 - 33