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.
130 Publications
2004 | Conference Paper | LibreCat-ID: 37216
Wir sind immer mittendrin? Transdisziplinarität in der feministischen Natur- und Technowissenschaftsforschung
J. Weber, A. Saupe, in: Dokumentation 29. Kongreß von Frauen in Naturwissenschaft und Technik, Berlin, 2004, pp. 300–307.
LibreCat
J. Weber, A. Saupe, in: Dokumentation 29. Kongreß von Frauen in Naturwissenschaft und Technik, Berlin, 2004, pp. 300–307.
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.
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 | 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 | 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).
1999 | Conference Paper | LibreCat-ID: 3254
Model-Checking {CSP-OZ} Specifications with {FDR}
C. Fischer, H. Wehrheim, in: K. Araki, A. Galloway, K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.
LibreCat
C. Fischer, H. Wehrheim, in: K. Araki, A. Galloway, K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.
1999 | Conference (Editor) | LibreCat-ID: 7792
Informatik '99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)
G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.
LibreCat
G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.
1999 | Conference Paper | LibreCat-ID: 17506
19th Century Logic: Between Philosophy and Mathematics
V. Peckhaus, in: J.J. Tattersall (Ed.), Proceedings of the Canadian Society for the History and Philosophy of Mathematics. Société Canadienne d’Histoire et Philosophie Des Mathématiques, Bd. 11: Twenty-Fourth Annual Meeting. University of Ottawa. Ottawa, Ontario, May 29–31, 1998, Providence, R.I., 1999, pp. 1–20.
LibreCat
V. Peckhaus, in: J.J. Tattersall (Ed.), Proceedings of the Canadian Society for the History and Philosophy of Mathematics. Société Canadienne d’Histoire et Philosophie Des Mathématiques, Bd. 11: Twenty-Fourth Annual Meeting. University of Ottawa. Ottawa, Ontario, May 29–31, 1998, Providence, R.I., 1999, pp. 1–20.
1997 | Conference Paper | LibreCat-ID: 3258
Dependency-Based Action Refinement
A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
LibreCat
| DOI
A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.