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.
9692 Publications
2003 | Journal Article | LibreCat-ID: 26815
Grüßing M, Hellmich F. Viele Inhalte, viele Kontexte, viele Aktivitäten – eine Rahmenkonzeption für Sachaufgaben. Grundschulunterricht. 2003;2:13-15.
LibreCat
2003 | Book Chapter | LibreCat-ID: 26818
Hellmich F, Moschner B. Was interessiert Grundschulkinder an Mathematikaufgaben? In: Henn H-W, ed. Beiträge zum Mathematikunterricht 2003. Franzbecker; 2003:285-288.
LibreCat
2003 | Journal Article | LibreCat-ID: 3236
Wehrheim H. Behavioral Subtyping Relations for Active Objects. Formal Methods in System Design. 2003;(2):143--170. doi:10.1023/A:1024764232069
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim H. Preserving Properties Under Change. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures. Lecture Notes in Computer Science. ; 2003:330--343. doi:10.1007/978-3-540-30101-1_16
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim H. Inheritance of Temporal Logic Properties. In: Najm E, Nestmann U, Stevens P, eds. Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:79--93. doi:10.1007/978-3-540-39958-2_6
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
Rasch H, Wehrheim H. Checking Consistency in {UML} Diagramms: Classes and State Machines. In: Najm E, Nestmann U, Stevens P, eds. Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:229--243. doi:10.1007/978-3-540-39958-2_16
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3240
Derrick J, Wehrheim H. Using Coupled Simulations in Non-atomic Refinement. In: Bert D, P. Bowen J, King S, A. Wald{\’{e}}n M, eds. {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:127--147. doi:10.1007/3-540-44880-2_10
LibreCat
| DOI
2003 | Book | LibreCat-ID: 3379
Gries T, Jungmittag A, Welfens PJJ. Neue Wachstums- Und Innovationspolitik in Europa. Heidelberg: Physica-Verlag; 2003.
LibreCat
2003 | Book Chapter | LibreCat-ID: 3652
Gruber H, Festner D, Harteis C, Meier B, Meling P, Stamouli E. Evaluation von Online-Seminaren--warum und wie? In: Apel H, Kraft S, eds. Online-Lehre Und Lernen in Der Weiterbildung. Gestaltung Und Perspektiven. Bielefeld: W Bertelsmann; 2003:261-274.
LibreCat
2003 | Journal Article | LibreCat-ID: 3707
Harteis C. Lernende Organisationen zwischen Anspruch und Wirklichkeit. Wirtschaft und Erziehung. 2003;55:306-312.
LibreCat
2003 | Journal Article | LibreCat-ID: 3708
Harteis C. Learning organizations as seen by workers. European Journal for Vocational Training. 2003;29(1):15-24.
LibreCat
2003 | Dissertation | LibreCat-ID: 2914
May A. New RSA Vulnerabilities Using Lattice Reduction Methods. Universität Paderborn; 2003.
LibreCat
| Download (ext.)
2003 | Book Chapter | LibreCat-ID: 3016
Blömer J, May A. New Partial Key Exposure Attacks on RSA. In: Advances in Cryptology - CRYPTO 2003. Berlin, Heidelberg: Springer Berlin Heidelberg; 2003:27-43. doi:10.1007/978-3-540-45146-4_2
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 3018
Blömer J, Seifert J-P. Fault Based Cryptanalysis of the Advanced Encryption Standard (AES). In: Financial Cryptography. Berlin, Heidelberg: Springer Berlin Heidelberg; 2003:162-181. doi:10.1007/978-3-540-45126-6_12
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 27927
Schlegel-Matthies K. Bildung für Lebensführung – eine neue Aufgabe für die Schule?! In: Methfessel B, Schlegel-Matthies K, eds. Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts. Baltmannsweiler ; 2003:71-83.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21056
Meschut G. Kleben und Mechanisches Fügen – Verbindungstechniken im Produktlebenszyklus von Leichtbaustrukturen. In: Stuttgart; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21057
Amedick A, Meschut G. Fügeverbindungen für Magnesium im Automobilbau aus Sicht der VOLKSWAGEN AG. In: Bremen; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21058
Friedrich HE, Meschut G. Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau. In: DVS-Berichte, Band 222. Vol 222. DVS-Berichte. Düsseldorf: DVS-Verlag GmbH; 2003:5-10.
LibreCat
2003 | Journal Article | LibreCat-ID: 21059
Kläger O, Wetter H, Meschut G. Multi-Material-Design (Teil 1) Thermische Beanspruchung in Lacktrocknungsprozessen. Adhäsion. 2003;47(4):30-35.
LibreCat
2003 | Journal Article | LibreCat-ID: 21060
Küting J, Meschut G. Direktverschrauben ohne Vorlochen zur Realisierung einseitig zugänglicher Verbindungen im Karosseriebau. Blech Rohre Profile. 2003;02.2003:33.
LibreCat