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.

9839 Publications


2007 | Journal Article | LibreCat-ID: 26788
F. Hellmich, “Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich,” Bildungsforschung , vol. 4.1, 2007, doi: 10.25656/01:4628.
LibreCat | DOI
 

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

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

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

2007 | Journal Article | LibreCat-ID: 3211
J. Derrick and H. Wehrheim, “On using data abstractions for model checking refinements,” Acta Inf., no. 1, pp. 41--71, 2007.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3214
G. Engels, B. Güldali, C. Soltenborn, and H. Wehrheim, “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts,” in 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
 

2007 | Conference Paper | LibreCat-ID: 3215
G. Engels, C. Soltenborn, and H. Wehrheim, “Analysis of {UML} Activities Using Dynamic Meta Modeling,” in 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
 

2007 | Conference Paper | LibreCat-ID: 3216
T. Ruhroth and H. Wehrheim, “Refactoring Object-Oriented Specifications with Data and Processes,” in 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
 

2007 | Conference Paper | LibreCat-ID: 3222
J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Linearizability Via Non-atomic Refinement,” in Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3293
T. Gries, “Global Shift – The European Union, the United States, and the Emergence of China,” in 50 Years of EU Economic Dynamics, R. Tilly, P. J. J. Welfens, and M. Heise, Eds. Springer, 2007, pp. 25–45.
LibreCat
 

2007 | Book Chapter | LibreCat-ID: 3611
J. Bauer, M. Rehrl, and C. Harteis, “Measurement of learning culture: a motivational approach,” in Learning in the workplace--new developments, H. Gruber and T. Palonen, Eds. Turku: Turun Yliopisto, 2007, pp. 21--50.
LibreCat
 

2007 | Book Chapter | LibreCat-ID: 3612
H. Gruber, C. Harteis, J. Hasanbegovic, and F. Lehner, “Über die Rolle epistemischer Überzeugungen für die Gestaltung von E-Learning—eine empirische Studie bei Hochschullehrendenn,” in Neue Trends im E-Learning, M. H. Breitner, B. Bruns, and F. Lehner, Eds. Heidelberg: Physika, 2007, pp. 123--132.
LibreCat
 

2007 | Book Chapter | LibreCat-ID: 3623
C. Harteis, H. Gruber, and H. Hertramph, “Epistemological beliefs and their impact on the practice of e-learning in companies,” in Computers and advances technologies in education. Globalization of education through advanced technology, V. Uskov, Ed. Anaheim: ACTA, 2007, pp. 266--271.
LibreCat
 

2007 | Book Chapter | LibreCat-ID: 3647
C. Harteis, J. Bauer, and P. Haltia, “Learning from errors in the workplace--insights from two studies in Germany and Finland,” in Learning in the workplace--new developments, H. Gruber and T. Palonen, Eds. Turku: Turun Yliopisto, 2007, pp. 119--138.
LibreCat
 

2007 | Book Chapter | LibreCat-ID: 3709
D. Festner, C. Harteis, H. Kyhä, and T. Tuominen, “Participation as predictor of responsibility in working life,” in Learning in the workplace - new developments in the relation between learning and working, H. Gruber and T. Palonen, Eds. Turku: FERA, 2007, pp. 65–90.
LibreCat
 

2007 | Book Chapter | LibreCat-ID: 3002 | OA
J. Blömer and V. Krummel, “Analysis of Countermeasures Against Access Driven Cache Attacks on AES,” in Selected Areas in Cryptography, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 96–109.
LibreCat | DOI | Download (ext.)
 

2007 | Book Chapter | LibreCat-ID: 3019
A. May, “Cryptanalysis of Unbalanced RSA with Small CRT-Exponent,” in Advances in Cryptology — CRYPTO 2002, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 242–256.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3020
J. Blömer and A. May, “Low Secret Exponent RSA Revisited,” in Lecture Notes in Computer Science, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 4–19.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3021
J. Blömer and A. May, “Key Revocation with Interval Cover Families,” in Selected Areas in Cryptography, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 325–341.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3022
A. May and J. H. Silverman, “Dimension Reduction Methods for Convolution Modular Lattices,” in Lecture Notes in Computer Science, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 110–125.
LibreCat | DOI
 

Filters and Search Terms

isbn%3D978-3-86776-582-4

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed