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.

751 Publications


2005 | Book Chapter | LibreCat-ID: 26801
F. Hellmich, “Förderung selbstregulativer Fähigkeiten in der Grundschule,” in Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht , F. Hellmich, Ed. Oldenburg: BIS, 2005, pp. 265–276.
LibreCat
 

2005 | Book Chapter | LibreCat-ID: 26802
F. Hellmich, “Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule?,” in Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, F. Hellmich, Ed. Oldenburg: BIS, 2005, pp. 13–29.
LibreCat
 

2005 | Book Chapter | LibreCat-ID: 26803
F. Hellmich, “What about Rituale im Grundschulunterricht?,” in Rituale im Grundschulunterricht, I. Bohlen, Ed. Oldenburg: Didaktisches Zentrum (Oldenburger VorDrucke 514), 2005, p. 4.
LibreCat
 

2005 | Book | LibreCat-ID: 26804
F. Hellmich, M. Abt, and H. Bruns, „Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´. Oldenburg: Didaktisches Zentrum (Oldenburger VorDrucke 509), 2005.
LibreCat
 

2005 | Book Chapter | LibreCat-ID: 26806
J. Steckmann and F. Hellmich, “Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund,” in Lehren und Lernen nach IGLU - Grundschulunterricht heute, F. Hellmich, Ed. Oldenburg: BIS, 2005, pp. 103–115.
LibreCat
 

2005 | Journal Article | LibreCat-ID: 3227
E.-R. Olderog and H. Wehrheim, “Specification and (property) inheritance in {CSP-OZ},” Sci. Comput. Program., no. 1–3, pp. 227--257, 2005.
LibreCat | DOI
 

2005 | Journal Article | LibreCat-ID: 3228
H. Wehrheim, “Slicing techniques for verification re-use,” Theor. Comput. Sci., no. 3, pp. 509--528, 2005.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 3229
H. Rasch and H. Wehrheim, “Checking the Validity of Scenarios in {UML} Models,” in Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 3230
I. Brückner and H. Wehrheim, “Slicing an Integrated Formal Method for Verification,” in Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 3231
J. Derrick and H. Wehrheim, “Non-atomic Refinement in {Z} and {CSP},” in {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24--44.
LibreCat | DOI
 

Filters and Search Terms

year=2005

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed