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, Meike, and Frank Hellmich. “Viele Inhalte, viele Kontexte, viele Aktivitäten – eine Rahmenkonzeption für Sachaufgaben.” Grundschulunterricht, vol. 2, 2003, pp. 13–15.
LibreCat
2003 | Book Chapter | LibreCat-ID: 26818
Hellmich, Frank, and Barbara Moschner. “Was interessiert Grundschulkinder an Mathematikaufgaben?” Beiträge zum Mathematikunterricht 2003, edited by Hans-Wolfgang Henn, Franzbecker, 2003, pp. 285–88.
LibreCat
2003 | Journal Article | LibreCat-ID: 3236
Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” Formal Methods in System Design, no. 2, 2003, pp. 143--170, doi:10.1023/A:1024764232069.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim, Heike. “Preserving Properties Under Change.” Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S. de Boer et al., 2003, pp. 330--343, doi:10.1007/978-3-540-30101-1_16.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 79--93, doi:10.1007/978-3-540-39958-2_6.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 229--243, doi:10.1007/978-3-540-39958-2_16.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3240
Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” {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, edited by Didier Bert et al., 2003, pp. 127--147, doi:10.1007/3-540-44880-2_10.
LibreCat
| DOI
2003 | Book | LibreCat-ID: 3379
Gries, Thomas, et al. Neue Wachstums- Und Innovationspolitik in Europa. Physica-Verlag, 2003.
LibreCat
2003 | Book Chapter | LibreCat-ID: 3652
Gruber, Hans, et al. “Evaluation von Online-Seminaren--Warum Und Wie?” Online-Lehre Und Lernen in Der Weiterbildung. Gestaltung Und Perspektiven, edited by Heinz Apel and Susanne Kraft, W Bertelsmann, 2003, pp. 261–74.
LibreCat
2003 | Journal Article | LibreCat-ID: 3707
Harteis, Christian. “Lernende Organisationen Zwischen Anspruch Und Wirklichkeit.” Wirtschaft Und Erziehung, vol. 55, 2003, pp. 306–12.
LibreCat
2003 | Journal Article | LibreCat-ID: 3708
Harteis, Christian. “Learning Organizations as Seen by Workers.” European Journal for Vocational Training, vol. 29, no. 1, 2003, pp. 15–24.
LibreCat
2003 | Dissertation | LibreCat-ID: 2914
May, Alexander. New RSA Vulnerabilities Using Lattice Reduction Methods. Universität Paderborn, 2003.
LibreCat
| Download (ext.)
2003 | Book Chapter | LibreCat-ID: 3016
Blömer, Johannes, and Alexander May. “New Partial Key Exposure Attacks on RSA.” Advances in Cryptology - CRYPTO 2003, Springer Berlin Heidelberg, 2003, pp. 27–43, doi:10.1007/978-3-540-45146-4_2.
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 3018
Blömer, Johannes, and Jean-Pierre Seifert. “Fault Based Cryptanalysis of the Advanced Encryption Standard (AES).” Financial Cryptography, Springer Berlin Heidelberg, 2003, pp. 162–81, doi:10.1007/978-3-540-45126-6_12.
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 27927
Schlegel-Matthies, Kirsten. “Bildung für Lebensführung – eine neue Aufgabe für die Schule?!” Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts, edited by Barbara Methfessel and Kirsten Schlegel-Matthies, Baltmannsweiler , 2003, pp. 71–83.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21056
Meschut, Gerson. Kleben Und Mechanisches Fügen – Verbindungstechniken Im Produktlebenszyklus von Leichtbaustrukturen. 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21057
Amedick, A., and Gerson Meschut. Fügeverbindungen Für Magnesium Im Automobilbau Aus Sicht Der VOLKSWAGEN AG. 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21058
Friedrich, H. E., and Gerson Meschut. “Autovision – Zukünftige Werkstoffe Und Fügekonzepte Im Automobilbau.” DVS-Berichte, Band 222, vol. 222, DVS-Verlag GmbH, 2003, pp. 5–10.
LibreCat
2003 | Journal Article | LibreCat-ID: 21059
Kläger, O., et al. “Multi-Material-Design (Teil 1) Thermische Beanspruchung in Lacktrocknungsprozessen.” Adhäsion, vol. 47, no. 4, 2003, pp. 30–35.
LibreCat
2003 | Journal Article | LibreCat-ID: 21060
Küting, J., and Gerson Meschut. “Direktverschrauben Ohne Vorlochen Zur Realisierung Einseitig Zugänglicher Verbindungen Im Karosseriebau.” Blech Rohre Profile, vol. 02.2003, 2003, p. 33.
LibreCat