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, Brigitte. “Alkuin und das Quadrivium in der Karolingerzeit.” Alcuin de York à Tours. Écriture, pouvoire et réseau dan léurope du haut moyen âge, edited by P. Depreux/B. Judic, vol. 3, 2004, pp. 163–74.
LibreCat
2004 | Journal Article | LibreCat-ID: 53465
Englisch, Brigitte. “Der Apokalypsenkommentar des Beatus von Liébana ‑ Informationsverarbeitung im frühen und hohen Mittelalter.” Forschungsforum der Universität Paderborn, vol. 7, 2004, pp. 42–46.
LibreCat
2004 | Book Chapter | LibreCat-ID: 52507
Meyer-Hamme, Johannes, and Jan Bauer. “Der Hamburger Rahmenplan Geschichte 2002 – Anregungen zu reflektiertem und (selbst)reflexiven Geschichtsbewusstsein?” Geschichtsdidaktische Lehrplanforschung. Methoden – Analysen – Perspektiven., edited by Saskia Handro and Bernd Schönemann, 1st ed., 2004, pp. 103–17.
LibreCat
2004 | Book Chapter | LibreCat-ID: 52508
von Borries, Bodo, and Johannes Meyer-Hamme. “Lehrervorstellungen und Lehrerüberzeugungen zu Richtlinien und Lehrplänen des Faches Geschichte.” Geschichtsdidaktische Lehrplanforschung. Methoden – Analysen – Perspektiven, edited by Saskia Handro and Bernd Schönemann, 1st ed., 2004, pp. 235–49.
LibreCat
2004 | Book Review | LibreCat-ID: 18483 | 
Peckhaus, Volker. “Tomassi, Paul, ‘Logic after Wittgenstein’, Nordic Journal of Philosophical Logic 6 (2001), 43–70.” zbMATH Open, Zbl. 1026.03006, 2004.
LibreCat
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 39352
Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL 2.0 Semantics.” Proceedings of the UML 2004, 2004, doi:10.1007/978-3-540-30187-5_17.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 42042
Huber, Klaus, et al. “Conformation and Phase Diagrams of Flexible Polyelectrolytes.” Polyelectrolytes with Defined Molecular Architecture II, edited by Manfred Schmidt, vol. 166, Springer, 2004, pp. 29–65, doi:10.1007/b11348.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 42447
Fuchs, Christian, and Wolfgang Hofkirchner. “Information in Social Systems.” Sign Processes in Complex Systems. Proceedings of the 7th International Congress of the IASS-AIS, edited by Walter Schmitz, Thelem, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 43274
Meier, Torsten, et al. “Nonlinear Optical Properties of Semiconductor Quantum Wells inside Microcavities.” Optical Microcavities, edited by K. Vahala, World Scientific, Chap. 6, 2004, pp. 239–317, doi:10.1142/9789812565730_0006.
LibreCat
| DOI
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 56564
Baader, Franz, et al. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, edited by José Júlio Alferes and João Alexandre Leite, vol. 3229, Springer, 2004, pp. 400–412, doi:10.1007/978-3-540-30227-8_34.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56561
Turhan, Anni-Yasmin, and Christian Kissig. “Sonic - Non-Standard Inferences Go OilEd.” Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, edited by David A. Basin and Michaël Rusinowitch, vol. 3097, Springer, 2004, pp. 321–325, doi:10.1007/978-3-540-25984-8_22.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56562
Baader, Franz, et al. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, edited by Volker Haarslev and Ralf Möller, vol. 104, CEUR-WS.org, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56563
Turhan, Anni-Yasmin, and Christian Kissig. “Sonic: System Description.” Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, edited by Volker Haarslev and Ralf Möller, vol. 104, CEUR-WS.org, 2004.
LibreCat
2004 | Book Review | LibreCat-ID: 31455
Elit, Stefan. “[Rezension zu:] Franz Witek: Die ‘Bühne des Schicksals’. Demetrios von Makedonien in Historiographie und Drama, Horn/Wien 2001 (Musae Benedictinae Salisburgenses 1).” NlatJb 6 , 2004, pp. 335–41.
LibreCat
2003 | Book Review | LibreCat-ID: 19463
Seng, Eva-Maria. “Christof Thoenes, Opus incertum. Italienische Studien aus drei Jahrzehnten, München, Berlin 2002.” Kunstform 4, 2003, Nr. 9 und Sehepunkte 3, 2003, Nr. 9, no. Nr. 9, 2003.
LibreCat
2003 | Journal Article | LibreCat-ID: 19785
Salzwedel, Kay A. “Algorithmic Approaches for Storage Networks.” Algorithms for Memory Hierarchies, vol. 2625, 2003, doi:10.1007/3-540-36574-5_12.
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