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.
680 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 | Conference Paper | LibreCat-ID: 33881
Tröster T, Rostek W. Innovative Warmumformung. In: Tröster T, Rostek W, eds. Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz “Neuere Entwicklungen in der Blechumformung” in Fellbach. Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz “Neuere Entwicklungen in der Blechumformung.” ; 2004:51-66.
LibreCat
2004 | Journal Article | LibreCat-ID: 35359
Cormier RJ, Schmidt C, Callaghan PT. Director reorientation of a side-chain liquid crystalline polymer under extensional flow. Journal of Rheology. 2004;48(4):881-894. doi:10.1122/1.1753278
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 35358
Stubenrauch C, Burauer S, Strey R, Schmidt C. A new approach to lamellar phases (Lα) in water – non-ionic surfactant systems. Liquid Crystals. 2004;31(1):39-53. doi:10.1080/02678290310001628555
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 18278
Tophinke D. Texttypen und Diskurse in Zusammenhängen sprachlicher Identitätskonstruktion. Überlegungen im Anschluss an Foucault. In: Berg u. a. WB, ed. Fliegende Bilder, fliehende Texte. Vervuert; 2004:97-114.
LibreCat
2004 | Journal Article | LibreCat-ID: 18281
Tophinke D. Quatschwörterverse und Satzklötze. Sprachförderung im Kindergarten. Infodienst Kulturpädagogische Nachrichten . 2004;71:26-27.
LibreCat
2004 | Conference Paper | LibreCat-ID: 15565
Hagengruber RE. The Selfexplication of Thinking through AI. In: Philosophy and Informatics: Philosophy and Artificial Intelligence. ; 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 15564
Hagengruber RE. Das Unsichtbare sichtbar machen. Die soziale Wirklichkeit und ihre Grundlagen in der Philosophie von Edith Stein . In: Edith Stein Jahrbuch. Vol 10. ; 2004:157-175.
LibreCat
2004 | Book Chapter | LibreCat-ID: 15563
Hagengruber RE. Ontologische Strukturen. Gegenwärtige Tendenzen und ihre Anwendung in der Wirtschaftsinformatik. In: Frank U, ed. Wissenschaftstheorie in Ökonomie und Wirtschaftsinformatik. Theoriebildung und –bewertung, Ontologien, Wissensmanagement. Deutscher Universitätsverlag; 2004:417-431.
LibreCat
2004 | Book Chapter | LibreCat-ID: 15562
Hagengruber RE. Vom Besonderen zum Allgemeinen – zu einer Neuorientierung im Verhältnis von Philosophie, Wissenschaft und Feminismus. In: Doetsch B, ed. Philosophinnen im 3. Jahrtausend. Ein Einblick in aktuelle Forschungsfelder. Kleine Verlag; 2004:17-29.
LibreCat
2004 | Book Chapter | LibreCat-ID: 36082
Schlegel-Matthies K. „Liebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit. In: Teuteberg H-J, ed. Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert. Steiner-Verlag; 2004:148–161.
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 | Journal Article | LibreCat-ID: 43205
Knoll L. Beyond Cultural Differences: “Intercultural” Co-operation in a German/Sri Lankan Development Project. Internationales Asienforum . 2004;35(3-4):295-306. doi:10.11588/IAF.2004.35.485
LibreCat
| DOI
2004 | Bachelorsthesis | LibreCat-ID: 47645
Dumrauf D. Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen.; 2004.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47642
Herden T. Implementierung und Evaluierung eines Angriffs auf DSA.; 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 47745
Bartz C. Kabelfernsehen: Soziale Integration oder Desintegration? Ökonomische und medizinische Antworten auf eine Fragestellung. In: Otto I, Schneider I, dies., eds. Medienkultur der 70er Jahre. Vol 3. Diskursgeschichte der Medien nach 1945. Westdeutscher Verlag; 2004:41-56.
LibreCat
2004 | Book Chapter | LibreCat-ID: 47744
Bartz C. “Das geheimnisvolle Fenster zur Welt”. Fernsehen. In: Kümmel A, Scholz L, Schumacher E, eds. Einführung in die Geschichte der Medien. Fink; 2004:199-223.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47644 | 
Gesemann S. Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes.; 2004.
LibreCat
| Files available