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
B. Englisch, “Alkuin und das Quadrivium in der Karolingerzeit,” in Alcuin de York à Tours. Écriture, pouvoire et réseau dan léurope du haut moyen âge, vol. 3, P. Depreux/B. Judic, Ed. 2004, pp. 163–174.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 53465
B. Englisch, “Der Apokalypsenkommentar des Beatus von Liébana ‑  Informationsverarbeitung im frühen und hohen Mittelalter,” Forschungsforum der Universität Paderborn, vol. 7, pp. 42–46, 2004.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 52507
J. Meyer-Hamme and J. Bauer, “Der Hamburger Rahmenplan Geschichte 2002 – Anregungen zu reflektiertem und (selbst)reflexiven Geschichtsbewusstsein?,” in Geschichtsdidaktische Lehrplanforschung. Methoden – Analysen – Perspektiven., 1st ed., S. Handro and B. Schönemann, Eds. Münster, 2004, pp. 103–117.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 52508
B. von Borries and J. Meyer-Hamme, “Lehrervorstellungen und Lehrerüberzeugungen zu Richtlinien und Lehrplänen des Faches Geschichte.,” in Geschichtsdidaktische Lehrplanforschung. Methoden – Analysen – Perspektiven, 1st ed., S. Handro and B. Schönemann, Eds. Münster, 2004, pp. 235–249.
LibreCat
 

2004 | Book Review | LibreCat-ID: 18483 | OA
V. Peckhaus, “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
S. Flake and W. Müller, “An ASM Definition of the Dynamic OCL 2.0 Semantics,” 2004, doi: 10.1007/978-3-540-30187-5_17.
LibreCat | DOI
 

2004 | Book Chapter | LibreCat-ID: 42042
K. Huber, N. Volk, D. Vollmer, M. Schmidt, and W. Oppermann, “Conformation and Phase Diagrams of Flexible Polyelectrolytes,” in Polyelectrolytes with Defined Molecular Architecture II, vol. 166, M. Schmidt, Ed. Berlin: Springer, 2004, pp. 29–65.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 42447
C. Fuchs and W. Hofkirchner, “Information in Social Systems,” in Sign Processes in Complex Systems. Proceedings of the 7th International Congress of the IASS-AIS, 2004.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 43274
T. Meier et al., “Nonlinear optical properties of semiconductor quantum wells inside microcavities,” in Optical Microcavities, K. Vahala, Ed. World Scientific, Chap. 6, 2004, pp. 239–317.
LibreCat | DOI | Download (ext.)
 

2004 | Conference Paper | LibreCat-ID: 56564
F. Baader, B. Sertkaya, and A.-Y. Turhan, “Computing the Least Common Subsumer w.r.t. a Background Terminology,” in Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, 2004, vol. 3229, pp. 400–412, doi: 10.1007/978-3-540-30227-8_34.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 56561
A.-Y. Turhan and C. Kissig, “Sonic - Non-standard Inferences Go OilEd,” in Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, 2004, vol. 3097, pp. 321–325, doi: 10.1007/978-3-540-25984-8_22.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 56562
F. Baader, B. Sertkaya, and A.-Y. Turhan, “Computing the Least Common Subsumer w.r.t. a Background Terminology,” in Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, vol. 104.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 56563
A.-Y. Turhan and C. Kissig, “Sonic: System Description,” in Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, vol. 104.
LibreCat
 

2004 | Book Review | LibreCat-ID: 31455
S. Elit, “[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 . pp. 335–341, 2004.
LibreCat
 

2003 | Book Review | LibreCat-ID: 19463
E.-M. Seng, “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
K. A. Salzwedel, “Algorithmic Approaches for Storage Networks,” Algorithms for Memory Hierarchies, vol. 2625, 2003.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3237
H. Wehrheim, “Preserving Properties Under Change,” in Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3238
H. Wehrheim, “Inheritance of Temporal Logic Properties,” in Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3239
H. Rasch and H. Wehrheim, “Checking Consistency in {UML} Diagramms: Classes and State Machines,” in Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3240
J. Derrick and H. Wehrheim, “Using Coupled Simulations in Non-atomic Refinement,” in {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, 2003, pp. 127--147.
LibreCat | DOI
 

Filters and Search Terms

isbn%3D3-540-32158-6

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed