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
A. Krupp and W. Müller, “Refinement of Finite State Machines with Complementary Model Checking,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 155–168.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
A. Krupp, W. Müller, and I. Oliver, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” in Best of FDL’03, Ch. Grimm, Ed. Dordrecht: Kluwer, 2004, pp. 301–314.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
A. Krupp, W. Müller, and I. Oliver, “The Echo Cancellation Unit Case Study,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 227–240.
LibreCat
2004 | Book Chapter | LibreCat-ID: 36153
H. Kamp, “L’intercession dans les relations politiques au Moyen Age classique,” in L’intercession du Moyen Age au Temps modernes, J.-M. Moeglin, Ed. Genf, 2004, pp. 67–87.
LibreCat
2004 | Book Review | LibreCat-ID: 48825
O. Hartung, “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, vol. 52. Duncker & Humblot; Ranke-Gesellschaft – Vereinigung für Geschichte im öffentlichen Leben e.V. von Jürgen Elvert, Berlin, p. 332, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 48763
O. Hartung, “Museen zwischen Demokratie und Diktatur. Zur „Gleichschaltung“ der Museumsdidaktik am Beispiel des Verkehrsmuseums in Nürnberg und des Bergbaumuseums in Bochum,” in Migration und Fremdverstehen. Geschichtsunterricht und Geschichtskultur in der multiethnischen Gesellschaft, 1st ed., vol. 16, B. Alavi and G. Henke-Bockschatz, Eds. Idstein: Schulz-Kirchner Verlag, 2004, pp. 249–258.
LibreCat
2004 | Book Chapter | LibreCat-ID: 46449
E. Topalović, “„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., Münster, 2004.
LibreCat
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: 18485 | 
V. Peckhaus, “Buldt, Bernd u.a. (Hgg.), Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Kompendium zum Werk, öbv & hpt: Wien 2002,” zbMATH Open, Zbl. 1028.03002. 2004.
LibreCat
| Download (ext.)
2004 | Book Review | LibreCat-ID: 18483 |
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 | Book Chapter | LibreCat-ID: 9249
J. Mildorf, “Narrativising the Body: Fragmentation and Unification in Jed Mercurio’s ‘Bodies,’” in Interdisciplinary Perspectives on Health, Illness and Disease, P. L. Twohig and V. Kalitzkus, Eds. Amsterdam: Rodopi, 2004, pp. 97–112.
LibreCat
2004 | Book Chapter | LibreCat-ID: 9250
J. Mildorf, “Narratives of Domestic Violence Cases: GPs Defining their Professional Role,” in Making Sense of Health, Illness and Disease, P. L. Twohig and V. Kalitzkus, Eds. Amsterdam: Rodopi, 2004, pp. 173–196.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
W. Müller, R. Schäfer, and S. Bleul, “Interactive Multimodal User Interfaces for Mobile Devices,” presented at the 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA, 2004, doi: 10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
M. Zambaldi, W. Ecker, T. Kruse, and W. Müller, “The Formal Simulation Semantics of SystemVerilog,” presented at the Forum on specification and Design Languages, Lille, France, 2004.
LibreCat
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 | Journal Article | LibreCat-ID: 43649
H. Schroeter-Wittke and I. Kirsner, “13. Sonntag nach Trinitatis. 1. Joh 4,7-12: Die Schuld der Liebe,” Predigtstudien II/2, pp. 143–151, 2004.
LibreCat