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.
678 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 | Conference Paper | LibreCat-ID: 33881
Tröster, Thomas, and W. Rostek. “Innovative Warmumformung.” Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz “Neuere Entwicklungen in der Blechumformung” in Fellbach, edited by Thomas Tröster and W. Rostek, no. 2004, 2004, pp. 51–66.
LibreCat
2004 | Journal Article | LibreCat-ID: 35359
Cormier, Ryan J., et al. “Director Reorientation of a Side-Chain Liquid Crystalline Polymer under Extensional Flow.” Journal of Rheology, vol. 48, no. 4, Society of Rheology, 2004, pp. 881–94, doi:10.1122/1.1753278.
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 35358
Stubenrauch, C., et al. “A New Approach to Lamellar Phases (Lα) in Water – Non-Ionic Surfactant Systems.” Liquid Crystals, vol. 31, no. 1, Informa UK Limited, 2004, pp. 39–53, doi:10.1080/02678290310001628555.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 18278
Tophinke, Doris. “Texttypen und Diskurse in Zusammenhängen sprachlicher Identitätskonstruktion. Überlegungen im Anschluss an Foucault.” Fliegende Bilder, fliehende Texte, edited by Walter Bruno Berg u. a., Vervuert, 2004, pp. 97–114.
LibreCat
2004 | Journal Article | LibreCat-ID: 18281
Tophinke, Doris. “Quatschwörterverse und Satzklötze. Sprachförderung im Kindergarten.” Infodienst. Kulturpädagogische Nachrichten , vol. 71, 2004, pp. 26–27.
LibreCat
2004 | Conference Paper | LibreCat-ID: 15565
Hagengruber, Ruth Edith. “The Selfexplication of Thinking through AI.” Philosophy and Informatics: Philosophy and Artificial Intelligence, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 15564
Hagengruber, Ruth Edith. “Das Unsichtbare sichtbar machen. Die soziale Wirklichkeit und ihre Grundlagen in der Philosophie von Edith Stein .” Edith Stein Jahrbuch, vol. 10, 2004, pp. 157–75.
LibreCat
2004 | Book Chapter | LibreCat-ID: 15563
Hagengruber, Ruth Edith. “Ontologische Strukturen. Gegenwärtige Tendenzen und ihre Anwendung in der Wirtschaftsinformatik.” Wissenschaftstheorie in Ökonomie und Wirtschaftsinformatik. Theoriebildung und –bewertung, Ontologien, Wissensmanagement, edited by Ulrich Frank, Deutscher Universitätsverlag, 2004, pp. 417–31.
LibreCat
2004 | Book Chapter | LibreCat-ID: 15562
Hagengruber, Ruth Edith. “Vom Besonderen zum Allgemeinen – zu einer Neuorientierung im Verhältnis von Philosophie, Wissenschaft und Feminismus.” Philosophinnen im 3. Jahrtausend. Ein Einblick in aktuelle Forschungsfelder, edited by Brigitte Doetsch, Kleine Verlag, 2004, pp. 17–29.
LibreCat
2004 | Book Chapter | LibreCat-ID: 36082
Schlegel-Matthies, Kirsten. “„Liebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit.” Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert, edited by Hans-Jürgen Teuteberg, Steiner-Verlag, 2004, pp. 148–161.
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 | Journal Article | LibreCat-ID: 43205
Knoll, Lisa. “Beyond Cultural Differences: ‘Intercultural’ Co-Operation in a German/Sri Lankan Development Project.” Internationales Asienforum , vol. 35, no. 3–4, 2004, pp. 295–306, doi:10.11588/IAF.2004.35.485.
LibreCat
| DOI
2004 | Bachelorsthesis | LibreCat-ID: 47645
Dumrauf, Dominic. Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen. 2004.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47642
Herden, Tim. Implementierung und Evaluierung eines Angriffs auf DSA. 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 47745
Bartz, Christina. “Kabelfernsehen: Soziale Integration oder Desintegration? Ökonomische und medizinische Antworten auf eine Fragestellung.” Medienkultur der 70er Jahre, edited by Isabell Otto et al., vol. 3, Westdeutscher Verlag, 2004, pp. 41–56.
LibreCat
2004 | Book Chapter | LibreCat-ID: 47744
Bartz, Christina. “‘Das geheimnisvolle Fenster zur Welt’. Fernsehen.” Einführung in die Geschichte der Medien, edited by Albert Kümmel et al., Fink, 2004, pp. 199–223.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47644 | 
Gesemann, Sebastian. Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes. 2004.
LibreCat
| Files available