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.
5791 Publications
2004 | Book Chapter | LibreCat-ID: 33830
Krupp A, Müller W. Refinement of Finite State Machines with Complementary Model Checking. In: Mermet J, ed. UML-B System Specification for Proven Electronic Design. Kluwer; 2004:155-168.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp A, Müller W, Oliver I. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Grimm Ch, ed. Best of FDL’03. Kluwer; 2004:301-314.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp A, Müller W, Oliver I. The Echo Cancellation Unit Case Study. In: Mermet J, ed. UML-B System Specification for Proven Electronic Design. Kluwer; 2004:227-240.
LibreCat
2004 | Book Chapter | LibreCat-ID: 36153
Kamp H. L’intercession dans les relations politiques au Moyen Age classique. In: Moeglin J-M, ed. L’intercession du Moyen Age au Temps modernes. Publications de l’École des hautes études en histoire. ; 2004:67-87.
LibreCat
2004 | Book Review | LibreCat-ID: 48825
Hartung O. Rezension von Jan-Holger Kirsch: Nationaler Mythos oder historische Trauer? Der Streit um ein zentrales „Holocaust-Mahnmal“ für die Berliner Republik, Köln 2003. Das Historisch-Politische Buch. 2004;52:332.
LibreCat
2004 | Book Chapter | LibreCat-ID: 48763
Hartung O. Museen zwischen Demokratie und Diktatur. Zur „Gleichschaltung“ der Museumsdidaktik am Beispiel des Verkehrsmuseums in Nürnberg und des Bergbaumuseums in Bochum. In: Alavi B, Henke-Bockschatz G, eds. Migration und Fremdverstehen. Geschichtsunterricht und Geschichtskultur in der multiethnischen Gesellschaft. Vol 16. 1st ed. Schriften zur Geschichtsdidaktik. Schulz-Kirchner Verlag; 2004:249-258.
LibreCat
2004 | Book Chapter | LibreCat-ID: 46449
Topalović E. „Ick kike in die Stern vndt versake Gott den herrn“. Versprachlichung des Teufelspaktes in westfälischen Verhörprotokollen des 16./17. Jahrhunderts. In: Jahrbuch 20, Augustin Wibbelt-Gesellschaft e.V. ; 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 53488
Englisch B. 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. Annales de Bretagne et des pays de l´ouest 111. ; 2004:163-174.
LibreCat
2004 | Journal Article | LibreCat-ID: 53465
Englisch B. Der Apokalypsenkommentar des Beatus von Liébana ‑ Informationsverarbeitung im frühen und hohen Mittelalter. Forschungsforum der Universität Paderborn. 2004;7:42-46.
LibreCat
2004 | Book Chapter | LibreCat-ID: 52507
Meyer-Hamme J, Bauer J. Der Hamburger Rahmenplan Geschichte 2002 – Anregungen zu reflektiertem und (selbst)reflexiven Geschichtsbewusstsein? In: Handro S, Schönemann B, eds. Geschichtsdidaktische Lehrplanforschung. Methoden – Analysen – Perspektiven. 1st ed. ; 2004:103-117.
LibreCat
2004 | Book Chapter | LibreCat-ID: 52508
von Borries B, Meyer-Hamme J. Lehrervorstellungen und Lehrerüberzeugungen zu Richtlinien und Lehrplänen des Faches Geschichte. In: Handro S, Schönemann B, eds. Geschichtsdidaktische Lehrplanforschung. Methoden – Analysen – Perspektiven. 1st ed. ; 2004:235-249.
LibreCat
2004 | Book Review | LibreCat-ID: 18485 | 
Peckhaus V. Buldt, Bernd u.a. (Hgg.), Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Kompendium zum Werk, öbv & hpt: Wien 2002. zbMATH Open, Zbl 102803002. Published online 2004.
LibreCat
| Download (ext.)
2004 | Book Review | LibreCat-ID: 18483 |
Peckhaus V. Tomassi, Paul, “Logic after Wittgenstein”, Nordic Journal of Philosophical Logic 6 (2001), 43–70. zbMATH Open, Zbl 102603006. Published online 2004.
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 9249
Mildorf J. Narrativising the Body: Fragmentation and Unification in Jed Mercurio’s “Bodies.” In: Twohig PL, Kalitzkus V, eds. Interdisciplinary Perspectives on Health, Illness and Disease. Rodopi; 2004:97-112.
LibreCat
2004 | Book Chapter | LibreCat-ID: 9250
Mildorf J. Narratives of Domestic Violence Cases: GPs Defining their Professional Role. In: Twohig PL, Kalitzkus V, eds. Making Sense of Health, Illness and Disease. Rodopi; 2004:173-196.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller W, Schäfer R, Bleul S. Interactive Multimodal User Interfaces for Mobile Devices. In: Proceedings of HICCS-37. ; 2004. doi:10.1109/HICSS.2004.1265674
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi M, Ecker W, Kruse T, Müller W. The Formal Simulation Semantics of SystemVerilog. In: Proceedings of FDL’04. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 42447
Fuchs C, Hofkirchner W. Information in Social Systems. In: Schmitz W, ed. Sign Processes in Complex Systems. Proceedings of the 7th International Congress of the IASS-AIS. Thelem; 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 43274
Meier T, Sieh C, Koch SW, et al. Nonlinear optical properties of semiconductor quantum wells inside microcavities. In: Vahala K, ed. Optical Microcavities. World Scientific, Chap. 6; 2004:239-317. doi:10.1142/9789812565730_0006
LibreCat
| DOI
| Download (ext.)
2004 | Journal Article | LibreCat-ID: 43649
Schroeter-Wittke H, Kirsner I. 13. Sonntag nach Trinitatis. 1. Joh 4,7-12: Die Schuld der Liebe. Predigtstudien II/2. Published online 2004:143-151.
LibreCat