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.
7924 Publications
2003 | Book Review | LibreCat-ID: 18434 |
Wedin, M.V., “The Scope of Non-contradiction: a Note on Aristotle’s ‘Elenctic’ Proof in Metaphysics Γ 4”, Apeiron 32 (1999), no. 3, 231–242
V. Peckhaus, zbMATH Open, Zbl. 1010.03003 [Reprint von MR 2002h:01004] (2003).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 1010.03003 [Reprint von MR 2002h:01004] (2003).
2003 | Book Review | LibreCat-ID: 18417 |
Kraut, Robert, “Metaphysical Explanation and the Philosophy of Mathematics: Reflections on Jerrold Katz’s Realistic Rationalism”, Philosophia Mathematica (3) 9 (2001), 154–183
V. Peckhaus, zbMATH Open, Zbl. 0996.00004 (2003).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0996.00004 (2003).
2003 | Book Review | LibreCat-ID: 18774
Rowe, David E., “Is (Was) Mathematics an Art or a Science”, Mathematical Intelligencer 24 (2002), No. 3, 59–64
V. Peckhaus, Mathematical Reviews, MR1927041 (2003f:01067) (2003).
LibreCat
| Download (ext.)
V. Peckhaus, Mathematical Reviews, MR1927041 (2003f:01067) (2003).
2002 | Book Review | LibreCat-ID: 19462
Gottfried Leiber, Friedrich Weinbrenners Städtebauliches Schaffen für Karlsruhe, Teil II. Der Stadtausbau und die Stadterweiterungsplanungen 1801-1826, Mainz 2002
E.-M. Seng, Kunstform und Sehepunkte (2002).
LibreCat
E.-M. Seng, Kunstform und Sehepunkte (2002).
2002 | Conference Paper | LibreCat-ID: 19850
Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal
R. Wanka, in: Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG), Berlin, Heidelberg, 2002, pp. 413–420.
LibreCat
| DOI
R. Wanka, in: Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG), Berlin, Heidelberg, 2002, pp. 413–420.
2002 | Conference Paper | LibreCat-ID: 2424
Partially Reconfigurable Cores for Xilinx Virtex
M. Dyer, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), Springer, 2002, pp. 292–301.
LibreCat
| DOI
M. Dyer, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), Springer, 2002, pp. 292–301.
2002 | Conference Paper | LibreCat-ID: 2425
Custom Computing Machines for the Set Covering Problem
C. Plessl, M. Platzner, in: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), IEEE Computer Society, 2002, pp. 163–172.
LibreCat
| DOI
C. Plessl, M. Platzner, in: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), IEEE Computer Society, 2002, pp. 163–172.
2002 | Conference Paper | LibreCat-ID: 2426
Performance Evaluation, Analysis and Optimization
B. P. Miller, J. Labarta, F. Schintke, J. Simon, in: Proc. European Conf. on Parallel Processing (Euro-Par), Springer, Berlin / Heidelberg, 2002, p. 131.
LibreCat
| DOI
B. P. Miller, J. Labarta, F. Schintke, J. Simon, in: Proc. European Conf. on Parallel Processing (Euro-Par), Springer, Berlin / Heidelberg, 2002, p. 131.
2002 | Conference Paper | LibreCat-ID: 24338
Distributed Maintenance of Resource Efficient Wireless Network Topologies
M. Grünewald, T. Lukovszki, C. Schindelhauer, K. Volbert, in: Proceedings of the 8th International Euro-Par Conference, Paderborn, Germany, 2002.
LibreCat
| DOI
M. Grünewald, T. Lukovszki, C. Schindelhauer, K. Volbert, in: Proceedings of the 8th International Euro-Par Conference, Paderborn, Germany, 2002.
2002 | Journal Article | LibreCat-ID: 26161
In-Situ Measurement of Local Particle Flux Densities in a Complex Two-Phase Flow
H.-J. Schmid, S. Veith, H. Umhauer, Particle & Particle Systems Characterization 19 (2002).
LibreCat
| DOI
H.-J. Schmid, S. Veith, H. Umhauer, Particle & Particle Systems Characterization 19 (2002).
2002 | Conference Paper | LibreCat-ID: 3242
Specification and Inheritance in {CSP-OZ}
E.-R. Olderog, H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, 2002, pp. 361--379.
LibreCat
| DOI
E.-R. Olderog, H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, 2002, pp. 361--379.
2002 | Conference Paper | LibreCat-ID: 21053
Material-Specific Joining Techniques for Magnesium Body Structures
S. Jüttner, G. Meschut, in: Aalen, 2002, pp. 1–10.
LibreCat
S. Jüttner, G. Meschut, in: Aalen, 2002, pp. 1–10.
2002 | Book Chapter | LibreCat-ID: 17910
Emerging English Modals: A Corpus-Based Study of Grammaticalization
I. Mindt, M. Krug, in: Journal of English Linguistics, Volume 30, Number 3, Mouton de Gruyter, 2000, 2002, pp. 290–294.
LibreCat
I. Mindt, M. Krug, in: Journal of English Linguistics, Volume 30, Number 3, Mouton de Gruyter, 2000, 2002, pp. 290–294.
2002 | Dissertation | LibreCat-ID: 18169
Zur Berechenbarkeit reeller geometrischer Probleme
M. Ziegler, Zur Berechenbarkeit reeller geometrischer Probleme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
LibreCat
| Files available
M. Ziegler, Zur Berechenbarkeit reeller geometrischer Probleme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
2002 | Conference Paper | LibreCat-ID: 18369
Bi-directional Coupling of Simulation Tools with a Walkthrough-System
B. Mueck, W. Dangelmaier, M. Fischer, W. Klemisch, in: Simulation Und Visualisierung, SCS European Publishing House, Ghent, BE, 2002, pp. 71–84.
LibreCat
B. Mueck, W. Dangelmaier, M. Fischer, W. Klemisch, in: Simulation Und Visualisierung, SCS European Publishing House, Ghent, BE, 2002, pp. 71–84.
2002 | Conference Paper | LibreCat-ID: 18566
Randomized Pursuit-Evasion in Graphs
M. Adler, H. Räcke, N. Sivadasan, C. Sohler, B. Vöcking, in: Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Berlin, Heidelberg, 2002.
LibreCat
| DOI
M. Adler, H. Räcke, N. Sivadasan, C. Sohler, B. Vöcking, in: Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Berlin, Heidelberg, 2002.
2002 | Conference Paper | LibreCat-ID: 7905
Rapid Development of Modular Dynamic Web Sites Using UML
T. Schattkowsky, M. Lohmann, in: Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), Springer, London, UK, 2002, pp. 336–350.
LibreCat
| DOI
T. Schattkowsky, M. Lohmann, in: Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), Springer, London, UK, 2002, pp. 336–350.
2002 | Conference (Editor) | LibreCat-ID: 8142
Proceedings of RIO 02 – World Climate & Energy Event.
S. Krauter, L.P. Rosa, P.T. Landsberg, eds., Proceedings of RIO 02 – World Climate & Energy Event., Hrsg.: S. Krauter und L. P. Rosa, Imprinta Press (Buch mit CD), ISBN 85-902710-1-3, Rio de Janeiro (Brasilien), 2002.
LibreCat
S. Krauter, L.P. Rosa, P.T. Landsberg, eds., Proceedings of RIO 02 – World Climate & Energy Event., Hrsg.: S. Krauter und L. P. Rosa, Imprinta Press (Buch mit CD), ISBN 85-902710-1-3, Rio de Janeiro (Brasilien), 2002.
2002 | Conference Paper | LibreCat-ID: 8143
Satellite Monitoring of Remote PV-Systems
S. Krauter, T. Depping, in: Proceedings of RIO 02 – World Climate & Energy Event, Rio de Janeiro (Brasilien), 6.–11. January 2002, S. 109–114., 2002.
LibreCat
S. Krauter, T. Depping, in: Proceedings of RIO 02 – World Climate & Energy Event, Rio de Janeiro (Brasilien), 6.–11. January 2002, S. 109–114., 2002.
2002 | Conference Paper | LibreCat-ID: 8144
Photovoltaics on Greened Roofs – Positive Interaction between two Elements of Sustainable Architecture
M. Koehler, M. Schmidt, U. Wachsmann, S. Krauter, M. Laar, in: Proceedings of RIO 02 – World Climate & Energy Event, Rio de Janeiro (Brasilien), 6.–11. Januar 2002, S. 151–158, 2002.
LibreCat
M. Koehler, M. Schmidt, U. Wachsmann, S. Krauter, M. Laar, in: Proceedings of RIO 02 – World Climate & Energy Event, Rio de Janeiro (Brasilien), 6.–11. Januar 2002, S. 151–158, 2002.