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.

842 Publications


2007 | Book Chapter | LibreCat-ID: 26781
Augen zu und durch!? – Wie lernen angehende Grundschullehrerinnen und -lehrer im Studium?
F. Hellmich, M. Sämisch, in: K. Möller, P. Hanke, C. Beinbrech, A.K. Hein, T. Kleickmann, R. Schagers (Eds.), Qualität von Grundschulunterricht entwickeln, erfassen und bewerten, VS Verlag für Sozialwissenschaften, Wiesbaden, 2007, pp. 115–118.
LibreCat
 

2007 | Journal Article | LibreCat-ID: 26786 LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 26788 LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 26790
Standards und Perspektiven für das Mathematiklernen in der Vor- und Grundschulzeit
F. Hellmich, M. Grüßing , in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren, Baltmannsweiler, 2007, pp. 119–140.
LibreCat
 

2007 | Book Chapter | LibreCat-ID: 26791
Standards, Perspektiven und Tendenzen in der Grundschulpädagogik – Einleitung
F. Hellmich, in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren, Baltmannsweiler, 2007, pp. 3–7.
LibreCat
 

2007 | Book Chapter | LibreCat-ID: 26793
„Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik nach IGLU
F. Hellmich, in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule , Schneider Hohengehren, Baltmannsweiler, 2007, pp. 11–32.
LibreCat
 

2007 | Journal Article | LibreCat-ID: 3211
On using data abstractions for model checking refinements
J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 3212
Extending a Component Specification Language with Time
B. Metzler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 47--67.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 3213
Modelchecking Correctness of Refactorings - Some Experiments
H..-}Christian Estler, T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 3--17.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3214
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\"{u}}rr, M. Nagl, A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.
LibreCat | DOI
 

Filters and Search Terms

year=2007

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed