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.
617 Publications
2002 | Conference Paper | LibreCat-ID: 3243
Checking Behavioural Subtypes via Refinement
H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.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
H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.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.
2002 | Book Chapter | LibreCat-ID: 40547
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
| Files available
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.
2002 | Conference Paper | LibreCat-ID: 8150
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 2o Fórum Energia Limpa, Rio de Janeiro (Brasilien), 29.–30. Juli 2002, 2002.
LibreCat
S. Krauter, in: Proceedings of 2o Fórum Energia Limpa, Rio de Janeiro (Brasilien), 29.–30. Juli 2002, 2002.
2002 | Conference Paper | LibreCat-ID: 8153
Eletrificação rural através de sistemas fotovoltaicos: básicos, atividades no Brasil, aplicações, desenvolvimentos atuais
S. Krauter, in: 3o Seminário Energia Na Agricultura, Uberaba–MG (Brasilien). 27.–29. November 2002, S. III-1–9, 2002.
LibreCat
S. Krauter, in: 3o Seminário Energia Na Agricultura, Uberaba–MG (Brasilien). 27.–29. November 2002, S. III-1–9, 2002.
2002 | Book (Editor) | LibreCat-ID: 37890
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
| Files available
R. Grotjahn, F. Hoffmann, eds., Geschlechterpolaritäten in Der Musikgeschichte Des 18. Bis 20. Jahrhunderts, Centaurus, Herbolzheim, 2002.
2002 | Book Review | LibreCat-ID: 18762
Moore, Gregory H., “Hilbert on the Infinite: The Role of Set Theory in the Evolution of Hilbert’s Thought”, In: Historia Mathematica 29 (2002), 40–64
V. Peckhaus, Mathematical Reviews [ (2002).
LibreCat
V. Peckhaus, Mathematical Reviews [ (2002).
2002 | Book Chapter | LibreCat-ID: 31101
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
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.
2002 | Book Chapter | LibreCat-ID: 18288
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
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.
2002 | Conference Paper | LibreCat-ID: 8154
Sistema Solar Fotovoltaico Híbrido Integrado
S. Krauter, F. Ochs, in: 3o Seminário Energia Na Agricultura. Uberaba/MG (Brasilien). 27.–29. November 2002, S. III-10–17, 2002.
LibreCat
S. Krauter, F. Ochs, in: 3o Seminário Energia Na Agricultura. Uberaba/MG (Brasilien). 27.–29. November 2002, S. III-10–17, 2002.
2002 | Conference Paper | LibreCat-ID: 8149
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
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.