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.
1926 Publications
2004 | Book Chapter | LibreCat-ID: 53488
Englisch, B. (2004). Alkuin und das Quadrivium in der Karolingerzeit. In P. Depreux/B. Judic (Ed.), Alcuin de York à Tours. Écriture, pouvoire et réseau dan léurope du haut moyen âge (Vol. 3, pp. 163–174).
LibreCat
2004 | Journal Article | LibreCat-ID: 53465
Englisch, B. (2004). Der Apokalypsenkommentar des Beatus von Liébana ‑ Informationsverarbeitung im frühen und hohen Mittelalter. Forschungsforum der Universität Paderborn, 7, 42–46.
LibreCat
2004 | Book Chapter | LibreCat-ID: 52507
Meyer-Hamme, J., & Bauer, J. (2004). Der Hamburger Rahmenplan Geschichte 2002 – Anregungen zu reflektiertem und (selbst)reflexiven Geschichtsbewusstsein? In S. Handro & B. Schönemann (Eds.), Geschichtsdidaktische Lehrplanforschung. Methoden – Analysen – Perspektiven. (1st ed., pp. 103–117).
LibreCat
2004 | Book Chapter | LibreCat-ID: 52508
von Borries, B., & Meyer-Hamme, J. (2004). Lehrervorstellungen und Lehrerüberzeugungen zu Richtlinien und Lehrplänen des Faches Geschichte. In S. Handro & B. Schönemann (Eds.), Geschichtsdidaktische Lehrplanforschung. Methoden – Analysen – Perspektiven (1st ed., pp. 235–249).
LibreCat
2004 | Book Review | LibreCat-ID: 18483 | 
Peckhaus, V. (2004). Tomassi, Paul, “Logic after Wittgenstein”, Nordic Journal of Philosophical Logic 6 (2001), 43–70. In zbMATH Open, Zbl. 1026.03006.
LibreCat
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 39352
Flake, S., & Müller, W. (2004). An ASM Definition of the Dynamic OCL 2.0 Semantics. Proceedings of the UML 2004. https://doi.org/10.1007/978-3-540-30187-5_17
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 42042
Huber, K., Volk, N., Vollmer, D., Schmidt, M., & Oppermann, W. (2004). Conformation and Phase Diagrams of Flexible Polyelectrolytes. In M. Schmidt (Ed.), Polyelectrolytes with Defined Molecular Architecture II (Vol. 166, pp. 29–65). Springer. https://doi.org/10.1007/b11348
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 42447
Fuchs, C., & Hofkirchner, W. (2004). Information in Social Systems. In W. Schmitz (Ed.), Sign Processes in Complex Systems. Proceedings of the 7th International Congress of the IASS-AIS. Thelem.
LibreCat
2004 | Book Chapter | LibreCat-ID: 43274
Meier, T., Sieh, C., Koch, S. W., Lee, Y.-S., Norris, T. B., Jahnke, F., Khitrova, G., & Gibbs , H. M. (2004). Nonlinear optical properties of semiconductor quantum wells inside microcavities. In K. Vahala (Ed.), Optical Microcavities (pp. 239–317). World Scientific, Chap. 6. https://doi.org/10.1142/9789812565730_0006
LibreCat
| DOI
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 56564
Baader, F., Sertkaya, B., & Turhan, A.-Y. (2004). Computing the Least Common Subsumer w.r.t. a Background Terminology. In J. J. Alferes & J. A. Leite (Eds.), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings (Vol. 3229, pp. 400–412). Springer. https://doi.org/10.1007/978-3-540-30227-8_34
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56561
Turhan, A.-Y., & Kissig, C. (2004). Sonic - Non-standard Inferences Go OilEd. In D. A. Basin & M. Rusinowitch (Eds.), Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Vol. 3097, pp. 321–325). Springer. https://doi.org/10.1007/978-3-540-25984-8_22
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56562
Baader, F., Sertkaya, B., & Turhan, A.-Y. (2004). Computing the Least Common Subsumer w.r.t. a Background Terminology. In V. Haarslev & R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004 (Vol. 104). CEUR-WS.org.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56563
Turhan, A.-Y., & Kissig, C. (2004). Sonic: System Description. In V. Haarslev & R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004 (Vol. 104). CEUR-WS.org.
LibreCat
2004 | Book Review | LibreCat-ID: 31455
Elit, S. (2004). [Rezension zu:] Franz Witek: Die “Bühne des Schicksals”. Demetrios von Makedonien in Historiographie und Drama, Horn/Wien 2001 (Musae Benedictinae Salisburgenses 1). In NlatJb 6 (pp. 335–341).
LibreCat
2003 | Book Review | LibreCat-ID: 19463
Seng, E.-M. (2003). Christof Thoenes, Opus incertum. Italienische Studien aus drei Jahrzehnten, München, Berlin 2002. Kunstform 4, 2003, Nr. 9 und Sehepunkte 3, 2003, Nr. 9.
LibreCat
2003 | Journal Article | LibreCat-ID: 19785
Salzwedel, K. A. (2003). Algorithmic Approaches for Storage Networks. Algorithms for Memory Hierarchies, 2625. https://doi.org/10.1007/3-540-36574-5_12
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim, H. (2003). Preserving Properties Under Change. In F. S. de Boer, M. M. Bonsangue, S. Graf, & W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures (pp. 330--343). https://doi.org/10.1007/978-3-540-30101-1_16
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim, H. (2003). Inheritance of Temporal Logic Properties. In E. Najm, U. Nestmann, & P. Stevens (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 (pp. 79--93). https://doi.org/10.1007/978-3-540-39958-2_6
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
Rasch, H., & Wehrheim, H. (2003). Checking Consistency in {UML} Diagramms: Classes and State Machines. In E. Najm, U. Nestmann, & P. Stevens (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 (pp. 229--243). https://doi.org/10.1007/978-3-540-39958-2_16
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3240
Derrick, J., & Wehrheim, H. (2003). Using Coupled Simulations in Non-atomic Refinement. In D. Bert, J. P. Bowen, S. King, & M. A. Wald{\’{e}}n (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 (pp. 127--147). https://doi.org/10.1007/3-540-44880-2_10
LibreCat
| DOI