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
2007 | Book Chapter | LibreCat-ID: 2028
Overlay Networks for Peer-to-Peer Networks
A. W. Richa, C. Scheideler, in: Handbook of Approximation Algorithms and Metaheuristics., 2007.
LibreCat
| DOI
A. W. Richa, C. Scheideler, in: Handbook of Approximation Algorithms and Metaheuristics., 2007.
2007 | Conference Paper | LibreCat-ID: 24276
The k-Resource Problem on Uniform and on Uniformly Decomposable Metric Spaces
M. Bienkowski, J. Kutyłowski, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2007.
LibreCat
| DOI
M. Bienkowski, J. Kutyłowski, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2007.
2007 | Book | LibreCat-ID: 24366
Peer-to-Peer-Netzwerke
P. Mahlmann, C. Schindelhauer, Peer-to-Peer-Netzwerke, Springer, Berlin, 2007.
LibreCat
| DOI
P. Mahlmann, C. Schindelhauer, Peer-to-Peer-Netzwerke, Springer, Berlin, 2007.
2007 | Book (Editor) | LibreCat-ID: 26731
Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule
F. Hellmich, ed., Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren, Baltmannsweiler, 2007.
LibreCat
F. Hellmich, ed., Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren, Baltmannsweiler, 2007.
2007 | Book Chapter | LibreCat-ID: 26778
Lehren und Lernen im Geometrieunterricht
F. Hellmich, in: U. Heimlich, F.B. Wember (Eds.), Didaktik des Unterrichts im Förderschwerpunkt Lernen. Eine Handreichung für Praxis und Studium, Kohlhammer, Stuttgart, 2007, pp. 294–306.
LibreCat
F. Hellmich, in: U. Heimlich, F.B. Wember (Eds.), Didaktik des Unterrichts im Förderschwerpunkt Lernen. Eine Handreichung für Praxis und Studium, Kohlhammer, Stuttgart, 2007, pp. 294–306.
2007 | Book Chapter | LibreCat-ID: 26779
Erwerb von Kompetenz im Unterricht
F. Hellmich, in: C. Becker (Ed.), Perspektiven textiler Bildung, 2007, pp. 47–56.
LibreCat
F. Hellmich, in: C. Becker (Ed.), Perspektiven textiler Bildung, 2007, pp. 47–56.
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
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.
2007 | Journal Article | LibreCat-ID: 26786
Bedingungen anschlussfähiger Bildungsprozesse von Kindern beim Übergang vom Kindergarten in die Grundschule
F. Hellmich, Bildungsforschung 4.1 (2007).
LibreCat
| DOI
F. Hellmich, Bildungsforschung 4.1 (2007).
2007 | Journal Article | LibreCat-ID: 26788
Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich
F. Hellmich, Bildungsforschung 4.1 (2007).
LibreCat
| DOI
F. Hellmich, Bildungsforschung 4.1 (2007).
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
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.
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
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.
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
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.
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
J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
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
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.
2007 | Conference Paper | LibreCat-ID: 3215
Analysis of {UML} Activities Using Dynamic Meta Modeling
G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
LibreCat
| DOI
G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
2007 | Conference Paper | LibreCat-ID: 3216
Refactoring Object-Oriented Specifications with Data and Processes
T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.
2007 | Conference Paper | LibreCat-ID: 3222
Proving Linearizability Via Non-atomic Refinement
J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
2007 | Book Chapter | LibreCat-ID: 3293
Global Shift – The European Union, the United States, and the Emergence of China
T. Gries, in: R. Tilly, P.J.J. Welfens, M. Heise (Eds.), 50 Years of EU Economic Dynamics, Springer, 2007, pp. 25–45.
LibreCat
T. Gries, in: R. Tilly, P.J.J. Welfens, M. Heise (Eds.), 50 Years of EU Economic Dynamics, Springer, 2007, pp. 25–45.
2007 | Book Chapter | LibreCat-ID: 3611
Measurement of learning culture: a motivational approach
J. Bauer, M. Rehrl, C. Harteis, in: H. Gruber, T. Palonen (Eds.), Learning in the Workplace--New Developments, Turun Yliopisto, Turku, 2007, pp. 21--50.
LibreCat
J. Bauer, M. Rehrl, C. Harteis, in: H. Gruber, T. Palonen (Eds.), Learning in the Workplace--New Developments, Turun Yliopisto, Turku, 2007, pp. 21--50.