Universität Koblenz
- 0261/287-0
Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
Guiding a General-Purpose C Verifier to Prove Cryptographic ProtocolsSteve Kremer; Michael Backes; Steve Zdancewic; Jonathan Herzog (Hrsg). 24th IEEE Computer Security Foundations Symposium CSF 2011: 27-29 June, 2011; Cernay-la-Ville, France. Los Alamitos, CA: IEEE Computer Society 2011 S. 3 - 17
Bauks, Michaela
ḥaerpahHeinz-Josef Fabry;Ulrich Dahmen (Hrsg). Theologisches Wörterbuch zu den Qumrantexten: Band. 1., Av - ḥatam. Stuttgart: Kohlhammer 2011 S. 1071 - 1074
Schneider, Thomas Martin
Handbuch der deutschen evangelischen Kirchen 1918 bis 1949. Organe - Ämter - Verbände - Personen. Bd. 1: Überregionale Einrichtungen. Bearb. v. Boberach, Heinz; Nicolaisen, Carsten; Papst, Ruth; Göttingen; Vandenhoeck & Ruprecht, 2010; Arbeiten zur Kirchlichen Zeit. Reihe A: QuellenTheologische Literaturzeitung : Monatsschrift für das gesamte Gebiet der Theologie und Religionswissenschaft. Bd. 136. H. 2. Leipzig: Evangelische Verlagsanstalt 2011 S. 169 - 171
Kaupp, Angela; Leimgruber, Stephan; Scheidler, Monika
Handbuch der Katechese: Für Studium und PraxisFreiburg im Breisgau: Herder 2011 558 S. (Grundlagen Theologie)
Hollstein, Bettina; Jung, Matthias; Knöbl, Wolfgang
Handlung und Erfahrung : das Erbe von Historismus und Pragmatismus und die Zukunft der Sozialtheorie.Frankfurt am Main (u.a.): Campus 2011 381 S.
Bosse, Stefan
Hardware Synthesis of Complex System-on-Chip-Designs for Embedded Systems Using a Behavioural Programming and Multi-Process ModelPeter Scharff; Andrea Schneider (Hrsg). Proceedings : 55. IWK Internationales Wissenschaftliches Kolloquium International Scientific Colloquium, 13 - 17 September 2010 : Crossing borders within the ABC automation, biomedical engineering and computer science. Ilmenau: Technische Universität Ilmenau 2011 S. 698 - 702
Bosse, Stefan
Hardware-software-co-design of parallel and distributed systems using a behavioural programming and multi-process model with high-level synthesisUlrich Schmid; José Luis Sánchez-Rojas; Monika Leester-Schaedel (Hrsg). Smart sensors, actuators and MEMS V : 18 - 20 April 2011, Prague, Czech Republic ; [part of SPIE microtechnologies]. Bellingham, WA: SPIE 2011 13 S.
Lehnert, Thomas; Heider, Dirk; Leicht, Hanna et al.
Health Care Utilization and Costs of Elderly Persons With Multiple Chronic ConditionsMedical Care Research and Review. Bd. 68. H. 4. Thousand Oaks, CA: SAGE 2011 S. 387 - 420
Hahn, Ruwen; Lang, Dagmar; Häselich, Marcel et al.
Heat Mapping for Improved Victim DetectionFumitoshi Matsuno;Itsuki Noda;Kazuyuki Ito (Hrsg). Proceeding of the 9th IEEE International Symposium on Safety, Security, and Rescue Robotics SSRR 2011: Kyoto, Japan; November 1-5, 2011. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2011 S. 116 - 121
Moskopp, Werner
Heilinger, Jan-Christoph (2010): Anthropologie und Ethik des Enhancements. Berlin: De GruyterPhilosophischer Literaturanzeiger. Bd. 64. H. 4. Frankfurt am Main: Klostermann 2011 S. 355 - 361