Checking Behavioural Subtypes via Refinement
H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, IFIP T/W.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands, 2002, pp. 79--93.
LibreCat: /record/3243

Use of PV Systems for Carbon Dioxide Reduction – a comparison of on- and off-grid systems in Brazil and Germany
S. Krauter, in: Proceedings of the World Renewable Energy Congress VII, Köln (Deutschland), 29. Juni – 5. Juli 2002, (Buch Mit CD) Pergamon Press, 2002.
LibreCat: /record/8149

Eletrificação rural através de sistemas fotovoltaicos autônomos: básicos, atividades no Brasil, aplicações, novos desenvolvimentos. (Ländliche Elektrifizierung mittels PV Systemen: Grundlagen, Beispiele, Aktivitäten in Brasilien, neue Entwicklungen)
S. Krauter, in:  Proceedings of 2<sup>o</sup> Fórum Energia Limpa, Rio de Janeiro (Brasilien), 29.–30. Juli 2002, 2002.
LibreCat: /record/8150

Eletrificação rural através de sistemas fotovoltaicos: básicos, atividades no Brasil, aplicações, desenvolvimentos atuais
S. Krauter, in: 3<sup>o</sup> Seminário Energia Na Agricultura, Uberaba–MG (Brasilien). 27.–29. November 2002, S. III-1–9, 2002.
LibreCat: /record/8153

Sistema Solar Fotovoltaico Híbrido Integrado
S. Krauter, F. Ochs, in: 3<sup>o</sup> Seminário Energia Na Agricultura. Uberaba/MG (Brasilien). 27.–29. November 2002, S. III-10–17, 2002.
LibreCat: /record/8154

Moore, Gregory H., cHilbert on the Infinite: The Role of Set Theory in the Evolution of Hilbers Thoughtd, In: Historia Mathematica 29 (2002), 40364
V. Peckhaus, Mathematical Reviews [ (2002).
LibreCat: /record/18762

Originalität als inszenierte Epigonalität. Christoph Martin Wieland zwischen Klassik, Aufklärung und Romantik
L. van Laak, in: P. Wiesinger (Ed.), Akten des X. Internationalen Germanistenkongresses Wien 2000 “Zeitenwende – Die Germanistik auf dem Weg vom 20. ins 21. Jahrhundert,” Peter Lang, Bern u. a., 2002, pp. 235–241.
LibreCat: /record/31101

eMouvance der Textsituation und des Textes (Heinrich von Morungen, MF 131, 25)c
M. Egidi, in: P. Wiesinger (Ed.), Akten des X. Internationalen Germanistenkongresses Wien 2000. eZeitenwende 3 Die Germanistik auf dem Weg vom 20. ins 21. Jahrhundert“, unter Mitarbeit v. Hans Derkits, Bd. 5: Mediävistik und Kulturwissenschaften, betreut v. Horst Wenzel u. Alfred Ebenbauer; Mediävistik und Neue Philologie, betreut v. Ingrid Bennewitz, Werner Röcke u. Peter Strohschneider (Jahrbuch für Internationale Germanistik A, Kongressberichte 57), Bern, 2002, pp. 2193227.
LibreCat: /record/31522

Plädoyer für eine kontextsensitive Modellierung von Spracheinstellungen
D. Tophinke, E. Ziegler, in: P. Wiesinger (Ed.), Zeitenwende – Die Germanistik auf dem Weg vom 20. ins 21. Jahrhundert. Akten des X. Internationalen Germanistenkongresses Wien 2000. Bd. 3, Peter Lang, Bern, 2002, pp. 187–193.
LibreCat: /record/18288

Vernunftkritik und biophile Begrifflichkeit. Französische Philosophie im 20. Jahrhundert
R.E. Hagengruber, in: R. Lüthe, W. Pleger (Eds.), Das Denken des Anderen, University Koblenz-Landau, Koblenz, 2002, pp. 38–52.
LibreCat: /record/15625

Einleitung
R. Grotjahn, F. Hoffmann, in: R. Grotjahn, F. Hoffmann (Eds.), Geschlechterpolaritäten in der Musikgeschichte des 18. bis 20. Jahrhunderts, Centaurus, Herbolzheim, 2002, pp. 1–6.
LibreCat: /record/40547

Geschlechterpolaritäten in der Musikgeschichte des 18. bis 20. Jahrhunderts
R. Grotjahn, F. Hoffmann, eds., Geschlechterpolaritäten in Der Musikgeschichte Des 18. Bis 20. Jahrhunderts, Centaurus, Herbolzheim, 2002.
LibreCat: /record/37890

Architektonischer Wunschtraum, literarische Utopie, bauliche Realität. Samjatins cWird und die Architektur des 20. Jahrhunderts
E.-M. Seng, in: W. Reese-Schäfer, M. Kühnel, A. Rüdiger (Eds.), Modell und Wirklichkeit, Festschrift zum 60. Geburtstag von Richard Saage, Halle, 2001, pp. 236–263.
LibreCat: /record/19145

Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph
J. Klein, M. Fischer, in: Proc. of 3. GI-Informatiktage 2001, Bad Schussenried, 2001, pp. 275–278.
LibreCat: /record/18370

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: /record/19478

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: /record/19479

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: /record/3249
DOI: 10.1007/3-540-45499-3_33

Prosodic Cues at Speaker Turns
I. Mindt, in: C. Mair, M. Hundt (Eds.), Corpus Linguistics and Linguistic Theory. Papers from the Twentieth  International Conference on English Language Research on Computerized Corpora  (ICAME 20), Rodopi, Amsterdam, 2000, pp. 255–265.
LibreCat: /record/17852

Deutsche Dramatiker des 20. Jahrhunderts
A. Allkemper, N.O. Eke, eds., Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000.
LibreCat: /record/19084

Thomas Brasch
N.O. Eke, in: A. Allkemper, N.O. Eke (Eds.), Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000, pp. 746–763.
LibreCat: /record/19399