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.
10431 Publications
2001 | Journal Article | LibreCat-ID: 44618 | 
body natural / body video / body politic
R. Adelmann, https://nachdemfilm.de/issues/no-3-video-und-ueberwachung (2001).
LibreCat
| Download (ext.)
R. Adelmann, https://nachdemfilm.de/issues/no-3-video-und-ueberwachung (2001).
2001 | Conference Paper | LibreCat-ID: 56571
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
V. Haarslev, R. Möller, A.-Y. Turhan, in: R. Goré, A. Leitsch, T. Nipkow (Eds.), Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, Springer, 2001, pp. 61–75.
LibreCat
| DOI
V. Haarslev, R. Möller, A.-Y. Turhan, in: R. Goré, A. Leitsch, T. Nipkow (Eds.), Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, Springer, 2001, pp. 61–75.
2001 | Conference Paper | LibreCat-ID: 56572
TBoxes do not Yield a Compact Representation of Least Common Subsumers
F. Baader, A.-Y. Turhan, in: C.A. Goble, D.L. McGuinness, R. Möller, P.F. Patel-Schneider (Eds.), Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, CEUR-WS.org, 2001.
LibreCat
F. Baader, A.-Y. Turhan, in: C.A. Goble, D.L. McGuinness, R. Möller, P.F. Patel-Schneider (Eds.), Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, CEUR-WS.org, 2001.
2001 | Conference Paper | LibreCat-ID: 56573
Using Lazy Unfolding for the Computation of Least Common Subsumers
A.-Y. Turhan, R. Molitor, in: C.A. Goble, D.L. McGuinness, R. Möller, P.F. Patel-Schneider (Eds.), Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, CEUR-WS.org, 2001.
LibreCat
A.-Y. Turhan, R. Molitor, in: C.A. Goble, D.L. McGuinness, R. Möller, P.F. Patel-Schneider (Eds.), Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, CEUR-WS.org, 2001.
2001 | Book Review | LibreCat-ID: 31426
[Rezension zu:] SPOLIA VETVSTATIS. Die Verwandlung der heidnisch-antiken Tradition in Jakob Baldes marianischen Wallfahrten: Parthenia, Silvae II 3 (1643), eingel., hg., übers. u. erl. v. Andreas Heider, München 1999 (Münchner Balde-Studien 1), zugl. München, Univ. Diss. 1992
S. Elit, Journal of Neo-Latin Language and Literature, NlatJb 3 (2001) 231–235.
LibreCat
S. Elit, Journal of Neo-Latin Language and Literature, NlatJb 3 (2001) 231–235.
2001 | Book Review | LibreCat-ID: 24945
[Rezension zu:] Katrin Kohl: Friedrich Gottlieb Klopstock, Metzler, Stuttgart, Weimar 2000 (Sammlung Metzler 325).
S. Elit, Zeitschrift für deutsche Philologie (2001).
LibreCat
| DOI
S. Elit, Zeitschrift für deutsche Philologie (2001).
2000 | Encyclopedia Article | LibreCat-ID: 19478
Heiner Müller: Das eiserne Kreuz; Der Vater; Wüsten der Liebe
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, Reclam, Stuttgart, 2000, pp. 93–97.
LibreCat
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, Reclam, Stuttgart, 2000, pp. 93–97.
2000 | Encyclopedia Article | LibreCat-ID: 19479
Herta Müller: Niederungen; Der Fuchs war damals schon der Jäger; Herztier
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, Reclam, Stuttgart, 2000, pp. 505–510.
LibreCat
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, Reclam, Stuttgart, 2000, pp. 505–510.
2000 | Book Review | LibreCat-ID: 19546
Horst Domdey: Produktivkraft Tod. Das Drama Heiner Müllers. Köln u.a.: Böhlau, 1998
N.O. Eke, Germanistik 41 (2000) 294–295.
LibreCat
N.O. Eke, Germanistik 41 (2000) 294–295.
2000 | Book Review | LibreCat-ID: 19547
Wynfrid Kriegleder: Vorwärts in die Vergangenheit. Das Bild der USA im deutschsprachigen Roman von 1776 bis 1855. Tübingen: Stauffenburg Verlag, 1999
N.O. Eke, Germanistik 41 (2000) 158–159.
LibreCat
N.O. Eke, Germanistik 41 (2000) 158–159.
2000 | Book Review | LibreCat-ID: 19548
Roy C. Cowen: Christian Dietrich Grabbe – Dramatiker ungelöster Widersprüche. Bielefeld: Aisthesis Verlag, 1998; Carl Wiemer: Der Paria als Unmensch. Grabbe – Genealoge des Anti-Humanitarismus. Bielefeld: Aisthesis Verlag, 1997
N.O. Eke, Internationales Archiv für Sozialgeschichte der deutschen Literatur (IASL), Preprint der in Nr. 2/2000 erscheinenden Druckfassung im Internet (http://iasl.uni-muenchen.de, inzwischen Weiterleitung auf http://www.iaslonline.de/) (2000) 9 Seiten.
LibreCat
N.O. Eke, Internationales Archiv für Sozialgeschichte der deutschen Literatur (IASL), Preprint der in Nr. 2/2000 erscheinenden Druckfassung im Internet (http://iasl.uni-muenchen.de, inzwischen Weiterleitung auf http://www.iaslonline.de/) (2000) 9 Seiten.
2000 | Book Review | LibreCat-ID: 19549
Wolfgang Struck: Konfigurationen der Vergangenheit. Deutsche Geschichtsdramen im Zeitalter der Restauration. Tübingen: Max Niemeyer Verlag, 1997
N.O. Eke, Internationales Archiv für Sozialgeschichte der deutschen Literatur (IASL), Preprint der in Nr. 1/2000 erscheinenden Druckfassung im Internet (http://iasl.uni-muenchen.de, inzwischen Weiterleitung auf http://www.iaslonline.de/) (2000) 6 Seiten.
LibreCat
N.O. Eke, Internationales Archiv für Sozialgeschichte der deutschen Literatur (IASL), Preprint der in Nr. 1/2000 erscheinenden Druckfassung im Internet (http://iasl.uni-muenchen.de, inzwischen Weiterleitung auf http://www.iaslonline.de/) (2000) 6 Seiten.
2000 | Dissertation | LibreCat-ID: 19620
Communication in Parallel Systems-Models, Algorithms and Implementations
I. Rieping, Communication in Parallel Systems-Models, Algorithms and Implementations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
I. Rieping, Communication in Parallel Systems-Models, Algorithms and Implementations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 19621
Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints
M. Westermann, Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
| Files available
M. Westermann, Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 2434
Werkzeugunterstützte effiziente Nutzung von Hochleistungsrechnern
J. Simon, Werkzeugunterstützte Effiziente Nutzung von Hochleistungsrechnern, Dr. Dirk Blunk Verlag, 2000.
LibreCat
J. Simon, Werkzeugunterstützte Effiziente Nutzung von Hochleistungsrechnern, Dr. Dirk Blunk Verlag, 2000.
2000 | Conference Paper | LibreCat-ID: 3249
Behavioural Subtyping Relations for Object-Oriented Formalisms
C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
LibreCat
| DOI
C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
2000 | Conference Paper | LibreCat-ID: 3250
Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods
H. Wehrheim, in: T. S. E. Maibaum (Ed.), Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348.
LibreCat
| DOI
H. Wehrheim, in: T. S. E. Maibaum (Ed.), Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348.
2000 | Book Chapter | LibreCat-ID: 3023
Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices
J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.
LibreCat
| DOI
J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.
2000 | Conference Paper | LibreCat-ID: 20994
Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen
M. Eis, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 135–152.
LibreCat
M. Eis, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 135–152.
2000 | Conference Paper | LibreCat-ID: 20995
Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen
O. Hahn, M. Koyro, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 225–241.
LibreCat
O. Hahn, M. Koyro, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 225–241.