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