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.
767 Publications
2006 | Journal Article | LibreCat-ID: 26798
Hellmich F. Gewusst wie! – Lernstrategien von Kindern. Moderation des Themenschwerpunktes `Lernstrategien von Kindern´. Grundschule. 2006;7/8:46-47.
LibreCat
2006 | Book Chapter | LibreCat-ID: 26799
Hellmich F. Aspekte des Lehrens und Lernens in der Grundschule. In: Hinz R, Pütz T, eds. Professionelles Handeln in der Grundschule – Entwicklungslinien und Forschungsbefunde. Schneider Hohengehren; 2006:228-233.
LibreCat
2006 | Book Chapter | LibreCat-ID: 26800
Hellmich F, Wernke S. Selbstregulationen von Kindern. In: Hinz R, ed. Auf den Anfang kommt es an: Kompetenzen entwickeln – Kompetenzen stärken. Jahrbuch Grundschulforschung . Westdeutscher Verlag; 2006:31-42.
LibreCat
2006 | Journal Article | LibreCat-ID: 3223
Brückner I, Metzler B, Wehrheim H. Optimizing Slicing of Formal Specifications by Deductive Verification. Nord J Comput. 2006;(1-2):22--45.
LibreCat
2006 | Conference Paper | LibreCat-ID: 3224
Derrick J, Wehrheim H. Model Transformations Incorporating Multiple Views. In: Johnson M, Vene V, eds. Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings. Lecture Notes in Computer Science. ; 2006:111--126. doi:10.1007/11784180_11
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 3225
Wehrheim H. Incremental Slicing. In: Liu Z, He J, eds. Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings. Lecture Notes in Computer Science. ; 2006:514--528. doi:10.1007/11901433_28
LibreCat
| DOI
2006 | Conference (Editor) | LibreCat-ID: 3226
Gorrieri R, Wehrheim H, eds. Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings.; 2006. doi:10.1007/11768869
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 3327
Stein B, Niggemann O, Lettmann T. Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT. In: AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications. ; 2006:273--278.
LibreCat
2006 | Journal Article | LibreCat-ID: 3608
Gruber H, Harteis C, Rehrl M. Professional Learning: Erfahrung als Grundlage von Handlungskompetenz. Bildung und Erziehung. 2006;(2):193--204.
LibreCat
2006 | Journal Article | LibreCat-ID: 3609
Rehrl M, Harteis C, Gruber H. Potentialanalysen in der Personalentwicklung--ein kritischer Diskurs. German Journal of Human Resource Management. 2006;(2):185--191.
LibreCat