Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-0
Publikationen
Ergebnisse pro Seite:  10

Beierle, Christoph; Finthammer, Marc; Kern-Isberner, Gabriele et al.

Automated Reasoning for Relational Probabilistic Knowledge Representation

Jürgen Giesl; Reiner Hähnle (Hrsg). Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin: Springer 2010 S. 218 - 224


Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.

Automatic Verification of Parametric Specifications with Complex Topologies

Dominique Méry; Stephan Merz (Hrsg). Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Berlin: Springer 2010 S. 152 - 167


Louca, A.; Mauthe, Andreas; Hutchinson, David

Autonomic Network Management for Next Generation Networks

2010 S. 1 - 6


Williams, Susan P.; Schubert, Petra

Benefits of Enterprise Systems Use

Ralph H. Sprague (Hrsg). Proceedings of the 43rd Annual Hawaii International Conference on System Sciences HICSS 2010: Koloa, Kauai, Hawaii; 5-8 January, 2010. Los Alamitos, CA: IEEE Computer Society 2010 S. 1 - 9


Florian, Schulz; André, Klostermann; Perchthaler, Dennis

Bericht vom 20. dvs-Nachwuchsworkshop für natur- und verhaltenswissenschaftliche Disziplinen in Tübingen

Zephir. Bd. 17. H. 1/2. 2010 S. 49 - 52


Schulz, Florian; Klostermann, André; Perchthaler, Dennis

Bericht vom 20. dvs-Nachwuchsworkshop für natur- und verhaltenswissenschaftliche Disziplinen in Tübingen

Ze-phir. Bd. 17. H. 1-2. Hamburg: Verein zur Förderung des sportwissenschaftlichen Nachwuchses 2010 S. 49 - 52


Frey, Hannes

Best case energy analysis of localized euclidean minimum spanning tree based multicasting in ad hoc and sensor networks

Violet R. Syrotiuk; Fatih Alag; Brahim Bensaou; Özgür B. Akan (Hrsg). MSWIM'10: Proceedings of the 13th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems; Bodrum, Turkey; October 17–21, 2010. New York, NY: ACM Association for Computing Machinery 2010 S. 195 - 204


Kaupp, Angela

Beten im Religionsunterricht? - Formen gelebten Glaubens in pluralen Lerngruppen

Ludwig Rendle (Hrsg). Standorte finden - Religionsunterricht in der pluralen Gesellschaft: Dokumentation 5. Arbeitsforum für Religionspädagogik; 23. bis 25. März, 2010; Donauwörth. Donauwörth: Auer 2010 S. 86 - 98


Frisch, Stefanie

Bewusstmachende Verfahren beim Umgang mit dem Schriftbild im Englischunterricht der Grundschule - erste Ergebnisse der LiPs Studie

Bärbel Diehr; Jutta Rymarczyk (Hrsg). Researching literacy in a foreign language among primary school learners = Forschung zum Schrifterwerb in der Fremdsprache bei Grundschülern. Frankfurt am Main: Peter Lang 2010 S. 107 - 130 (Inquiries in language learning ; 1)


Schwindt, Rainer

Bibelhermeneutische Überlegungen zur Himmelfahrtserzählung Apg 1,4-11

Studien zum Neuen Testament und seiner Umwelt. Bd. 35. 2010 S. 161 - 176