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
Weber, Jutta, and Angelika Saupe. “Wir sind immer mittendrin? Transdisziplinarität in der feministischen Natur- und Technowissenschaftsforschung.” Dokumentation 29. Kongreß von Frauen in Naturwissenschaft und Technik, 2004, pp. 300–07.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8149
Krauter, Stefan. “Use of PV Systems for Carbon Dioxide Reduction – a Comparison of on- and off-Grid Systems in Brazil and Germany.” Proceedings of the World Renewable Energy Congress VII, Köln (Deutschland), 29. Juni – 5. Juli 2002, (Buch Mit CD) Pergamon Press, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8150
Krauter, Stefan. “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).” Proceedings of 2o Fórum Energia Limpa, Rio de Janeiro (Brasilien), 29.–30. Juli 2002, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8153
Krauter, Stefan. “Eletrificação Rural Através de Sistemas Fotovoltaicos: Básicos, Atividades No Brasil, Aplicações, Desenvolvimentos Atuais.” 3o Seminário Energia Na Agricultura, Uberaba–MG (Brasilien). 27.–29. November 2002, S. III-1–9, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8154
Krauter, Stefan, and F. Ochs. “Sistema Solar Fotovoltaico Híbrido Integrado.” 3o Seminário Energia Na Agricultura. Uberaba/MG (Brasilien). 27.–29. November 2002, S. III-10–17, 2002.
LibreCat
2002 | Book Review | LibreCat-ID: 18762
Peckhaus, Volker. “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.” Mathematical Reviews [, MR 2002m:01019, 2002.
LibreCat
1999 | Conference Paper | LibreCat-ID: 3254
Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications with {FDR}.” Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, edited by Keijiro Araki et al., 1999, pp. 315--334.
LibreCat
1999 | Conference (Editor) | LibreCat-ID: 7792
Engels, Gregor, et al., editors. Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany). Springer, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 17506
Peckhaus, Volker. “19th Century Logic: Between Philosophy and Mathematics.” 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, edited by J.J. Tattersall, 1999, pp. 1–20.
LibreCat
1997 | Conference Paper | LibreCat-ID: 3258
Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr{\’{\i}}vara and Peter Ruzicka, 1997, pp. 468--477, doi:10.1007/BFb0029990.
LibreCat
| DOI