Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

9805 Publications

 
 

2008 | Dissertation | LibreCat-ID: 20262
Space-Time Continuous Models of Swarm Robotic Systems
H. Hamann, Space-Time Continuous Models of Swarm Robotic Systems, 2008.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 28072
Was bedingt die Wahl eines nicht empfohlenen höheren Bildungsgangs? Zeitschrift für Erziehungswissenschaft, 11, 626-647
B. Bloh, S. van Ophuysen, Zeitschrift Für Erziehungswissenschaft 11 (2008) 626–647.
LibreCat | DOI
 

2008 | Book (Editor) | LibreCat-ID: 26729
Lehr-Lernforschung und Grundschulpädagogik
F. Hellmich, ed., Lehr-Lernforschung und Grundschulpädagogik, Klinkhardt, Bad Heilbrunn, 2008.
LibreCat
 

2008 | Book (Editor) | LibreCat-ID: 26730
Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften
F. Hellmich, H. Köster, eds., Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften, Klinkhardt, Bad Heilbrunn, 2008.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26765
Bedingungen für erfolgreiche Leselernprozesse bei leistungsschwächeren Kindern
F. Hellmich, in: J. Ramseger, M. Wagener (Eds.), Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise, VS Verlag für Sozialwissenschaften, Wiesbaden, 2008, pp. 195–198.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26766
Chancengleichheit im mathematischen Anfangsunterricht durch eine frühzeitige Diagnose mathematischer Vorläuferfähigkeiten
F. Hellmich, M. Sämisch, in: J. Ramseger, M. Wagener (Eds.), Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise, VS Verlag für Sozialwissenschaften, Wiesbaden, 2008, pp. 223–226.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26767
Erklärungsfaktoren für Geschlechterunterschiede in der Lesekompetenz bei Grundschulkindern am Ende ihrer Grundschulzeit
F. Hellmich, Zeitschrift für Grundschulforschung. Bildung im Elementar- und Primarbereich 2 (2008) 46–58.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26768
Empirische Bildungsforschung und Grundschulpädagogik
F. Hellmich, in: F. Hellmich (Ed.), Lehr-Lernforschung und Grundschulpädagogik , Klinkhardt, Bad Heilbrunn, 2008, pp. 46–75.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26769
Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule
F. Hellmich, S. Jahnke-Klein , in: A. Prengel, B. Rendtorff (Eds.), Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft, Barbara Budrich, Opladen, 2008, pp. 111–120.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26771
Individuelle und schulische Bedingungen im Leseunterricht der Grundschule
F. Hellmich, in: B. Hofmann, R. Valtin (Eds.), Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin, Deutsche Gesellschaft für Lesen und Schreiben, Berlin, 2008, pp. 172–182.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26772 LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26774
Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich
F. Hellmich, S. Jansen, in: F. Hellmich, H. Köster (Eds.), Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften, Klinkhardt, Bad Heilbrunn, 2008, pp. 59–81.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26776
Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven
F. Hellmich, in: F. Hellmich, H. Köster (Eds.), Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften , Klinkhardt, Bad Heilbrunn, 2008, pp. 83–102.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3207
From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (Eds.), Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3209
Decomposition for Compositional Verification
B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
Bounded Model Checking for Partial Kripke Structures
H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3597 LibreCat
 

Filters and Search Terms

isbn%3D978-3-86776-582-4

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed