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.
9302 Publications
1997 | Conference Paper | LibreCat-ID: 17495
The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic
V. Peckhaus, in: Philosophia Scientiae. Travaux d’histoire et de Philosophie Des Science (Nancy) 1/3 (1996). 1–15 [Erschienen Im Juni 1997, = Actes Du Congrès International Poincaré – Nancy 1994; Bd. 2.2], 1997, pp. 1–15.
LibreCat
V. Peckhaus, in: Philosophia Scientiae. Travaux d’histoire et de Philosophie Des Science (Nancy) 1/3 (1996). 1–15 [Erschienen Im Juni 1997, = Actes Du Congrès International Poincaré – Nancy 1994; Bd. 2.2], 1997, pp. 1–15.
1997 | Dissertation | LibreCat-ID: 30851
Beiträge zur Entwicklung von Gleichstromumrichtern mit geringer Ausgangsspannung
A. Fiedler, Beiträge zur Entwicklung von Gleichstromumrichtern mit geringer Ausgangsspannung, 1997.
LibreCat
| Download (ext.)
A. Fiedler, Beiträge zur Entwicklung von Gleichstromumrichtern mit geringer Ausgangsspannung, 1997.
1997 | Journal Article | LibreCat-ID: 15571 | 
La fondazione del punto matematico nella filosofia di Tommaso Campanella
R.E. Hagengruber, Bruniana & Campanelliana 3, no. 1 (1997) 77–92.
LibreCat
| Download (ext.)
R.E. Hagengruber, Bruniana & Campanelliana 3, no. 1 (1997) 77–92.
1997 | Conference Paper | LibreCat-ID: 39510
A Visual Programming Language for Qualitative Data
M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
LibreCat
| DOI
M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
1997 | Conference Paper | LibreCat-ID: 39505
Visual-Textual Prototyping of 4D Scenes
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
LibreCat
| DOI
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
1997 | Conference Paper | LibreCat-ID: 39502
A Generic System for Interactive Real--Time Animation
M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA, USA , 1997.
LibreCat
| DOI
M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA, USA , 1997.
1997 | Journal Article | LibreCat-ID: 43532
Predigt: Die vielen Glieder (1 Kor 12,12-27)
H. Schroeter-Wittke, Zeitschrift Für Gottesdienst Und Predigt 15 (1997) 32–34.
LibreCat
H. Schroeter-Wittke, Zeitschrift Für Gottesdienst Und Predigt 15 (1997) 32–34.
1997 | Conference Paper | LibreCat-ID: 44275
Conservation of intraband coherence upon carrier relaxation by LO-phonon emission
T. Meier, F. Wolter, H.G. Roskos, K.-C. Je, J. Hader, F. Rossi, K. Köhler, S.W. Koch, H. Kurz, in: Quantum Electronics and Laser Science Conference, Optical Society of America, 1997.
LibreCat
| Download (ext.)
T. Meier, F. Wolter, H.G. Roskos, K.-C. Je, J. Hader, F. Rossi, K. Köhler, S.W. Koch, H. Kurz, in: Quantum Electronics and Laser Science Conference, Optical Society of America, 1997.
1997 | Conference Paper | LibreCat-ID: 44276
Nonlinear dynamics of the coupled exciton-cavity system
T. Meier, M. Koch, J. Shah, in: Quantum Electronics and Laser Science Conference, Optical Society of America, 1997.
LibreCat
| Download (ext.)
T. Meier, M. Koch, J. Shah, in: Quantum Electronics and Laser Science Conference, Optical Society of America, 1997.
1997 | Journal Article | LibreCat-ID: 44584
Wohnzimmer und Satelliten. Die Empirie der Fernsehwissenschaften
R. Adelmann, M. Stauff, montage/av. Zeitschrift für Theorie und Geschichte audiovisueller Kommunikation 6 (1997) 119–127.
LibreCat
R. Adelmann, M. Stauff, montage/av. Zeitschrift für Theorie und Geschichte audiovisueller Kommunikation 6 (1997) 119–127.
1997 | Journal Article | LibreCat-ID: 45223
Der Kinderfilm im Multimedia-Zeitalter
B. Herzig, Perfo 1/1997 (1997) 9-10 (gekürzt).
LibreCat
B. Herzig, Perfo 1/1997 (1997) 9-10 (gekürzt).
1997 | Book Review | LibreCat-ID: 17779
Jarmo Pulkkinen, The Threat of Logical Mathematism. A Study on the Critique of Mathematical Logic in Germany at the Turn of the 20th Century. Peter Lang: Frankfurt a.M. 1994 (= Scandinavian University Studies in the Humanities and Social Sciences; 7)
V. Peckhaus, History and Philosophy of Logic 18 (1997) 115–120 (Essay Review).
LibreCat
| Download (ext.)
V. Peckhaus, History and Philosophy of Logic 18 (1997) 115–120 (Essay Review).
1997 | Book Review | LibreCat-ID: 18202 |
Frege, Gottlob; Gabriel, Gottfried (ed.), „Vorlesungen über Begriffsschrift“, History and Philosophy of Logic 17, No. 1 (1996), iii–xvi, 1–48
V. Peckhaus, zbMATH Open, Zbl. 0860.01036 (1997).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0860.01036 (1997).
1997 | Book | LibreCat-ID: 17447 |
Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, Akademie-Verlag, Berlin, 1997.
LibreCat
| Files available
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, Akademie-Verlag, Berlin, 1997.
1996 | Book Chapter | LibreCat-ID: 19816
Learning a representation for optimizable formulas
H. Kleine Büning, T. Lettmann, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996.
LibreCat
| DOI
H. Kleine Büning, T. Lettmann, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996.
1996 | Journal Article | LibreCat-ID: 19958
Routing on Networks of Optical Crossbars (Extended Abstract).
F. Schwarze, F. Meyer auf der Heide, K. Schröder, Euro-Par 1996 I (1996) 299–306.
LibreCat
F. Schwarze, F. Meyer auf der Heide, K. Schröder, Euro-Par 1996 I (1996) 299–306.
1996 | Dissertation | LibreCat-ID: 3260
Specifying reactive systems with action dependencies: modelling and hierarchical design
H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996.
LibreCat
H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996.
1996 | Journal Article | LibreCat-ID: 3261
Modelling Causality via Action Dependencies in Branching Time Semantics
U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.
LibreCat
| DOI
U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.
1996 | Conference Paper | LibreCat-ID: 3262
Causal Testing
U. Goltz, H. Wehrheim, in: W. Penczek, A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.
LibreCat
| DOI
U. Goltz, H. Wehrheim, in: W. Penczek, A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.
1996 | Report | LibreCat-ID: 17418
Contention Resolution in Hashing Based Shared Memory Simulations
A. Czumaj, F. Meyer auf der Heide, V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, 1996.
LibreCat
A. Czumaj, F. Meyer auf der Heide, V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, 1996.