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, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” UML-B System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer, 2004, pp. 155–68.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp, Alexander, et al. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” Best of FDL’03, edited by Ch. Grimm, Kluwer, 2004, pp. 301–14.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, Alexander, et al. “The Echo Cancellation Unit Case Study.” UML-B System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer, 2004, pp. 227–40.
LibreCat
2004 | Book Chapter | LibreCat-ID: 36153
Kamp, Hermann. “L’intercession dans les relations politiques au Moyen Age classique.” L’intercession du Moyen Age au Temps modernes, edited by Jean-Marie Moeglin, 2004, pp. 67–87.
LibreCat
2004 | Book Review | LibreCat-ID: 48825
Hartung, Olaf. “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, 2004, p. 332.
LibreCat
2004 | Book Chapter | LibreCat-ID: 48763
Hartung, Olaf. “Museen zwischen Demokratie und Diktatur. Zur „Gleichschaltung“ der Museumsdidaktik am Beispiel des Verkehrsmuseums in Nürnberg und des Bergbaumuseums in Bochum.” Migration und Fremdverstehen. Geschichtsunterricht und Geschichtskultur in der multiethnischen Gesellschaft, edited by Bettina Alavi and Gerhard Henke-Bockschatz, 1st ed., vol. 16, Schulz-Kirchner Verlag, 2004, pp. 249–58.
LibreCat
2004 | Book Chapter | LibreCat-ID: 46449
Topalović, Elvira. “„Ick kike in die Stern vndt versake Gott den herrn“. Versprachlichung des Teufelspaktes in westfälischen Verhörprotokollen des 16./17. Jahrhunderts.” Jahrbuch 20, Augustin Wibbelt-Gesellschaft e.V., 2004.
LibreCat
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: 18485 | 
Peckhaus, Volker. “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 |
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 | Book Chapter | LibreCat-ID: 9249
Mildorf, Jarmila. “Narrativising the Body: Fragmentation and Unification in Jed Mercurio’s ‘Bodies.’” Interdisciplinary Perspectives on Health, Illness and Disease, edited by Peter L. Twohig and Vera Kalitzkus, Rodopi, 2004, pp. 97–112.
LibreCat
2004 | Book Chapter | LibreCat-ID: 9250
Mildorf, Jarmila. “Narratives of Domestic Violence Cases: GPs Defining Their Professional Role.” Making Sense of Health, Illness and Disease, edited by Peter L. Twohig and Vera Kalitzkus, Rodopi, 2004, pp. 173–96.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller, Wolfgang, et al. “Interactive Multimodal User Interfaces for Mobile Devices.” Proceedings of HICCS-37, 2004, doi:10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, Martin, et al. “The Formal Simulation Semantics of SystemVerilog.” Proceedings of FDL’04, 2004.
LibreCat
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 | Journal Article | LibreCat-ID: 43649
Schroeter-Wittke, Harald, and Inge Kirsner. “13. Sonntag Nach Trinitatis. 1. Joh 4,7-12: Die Schuld Der Liebe.” Predigtstudien II/2, 2004, pp. 143–51.
LibreCat