en
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.
13161 Publications
1996 | Conference Paper | LibreCat-ID: 7834
H. Ehrig et al., “Synchronization of Views and Loose Semantics of Typed Graph Productions,” in Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 1996, no. 155, pp. 11–12.
LibreCat
1996 | Report | LibreCat-ID: 8197
M. Andries et al., Graph Transformation for Specification and Programming. University of Bremen, Department of Mathematics and Computer Science, 1996.
LibreCat
1996 | Report | LibreCat-ID: 8200
R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems. 1996.
LibreCat
1996 | Book Chapter | LibreCat-ID: 8419
H.-H. Kremer, “Existenzgründung,” in Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1, 2nd ed., U. Braukmann, A. Diettrich, H.-H. Kremer, P. F. E. Sloane, and E. Stickling, Eds. Düsseldorf, 1996, pp. 19–94.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8274
L. Groenewegen and G. Engels, “Reuse of Software Process Fragments is Reuse of Software, too,” in Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), 1996, p. 68.
LibreCat
1996 | Journal Article | LibreCat-ID: 9626
M. Tönnies, “The Spectator as Participant: The Role of Integrating Audience Laughter in Samuel Beckett’s Drama,” Forum Modernes Theater, vol. 11, no. 2, pp. 185–196, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 16895
B. Gutkauf and G. Domik-Kienegger, “Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme,” in Proceedigns 4. GI Workshop Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen, 1996.
LibreCat
1996 | Report | LibreCat-ID: 17418
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations. 1996.
LibreCat
1996 | Encyclopedia Article | LibreCat-ID: 17641
V. Peckhaus, “Weierstraß,” in Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J. Mittelstraß, Ed. Stuttgart/Weimar: J.B. Metzler, 1996, pp. 535–536.
LibreCat
1996 | Encyclopedia Article | LibreCat-ID: 17639
V. Peckhaus, “Verknüpfung,” in Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J. Mittelstraß, Ed. Stuttgart/Weimar: J.B. Metzler, 1996, pp. 515–516.
LibreCat
1996 | Book Review | LibreCat-ID: 17778
V. Peckhaus, “Günter Schenk: Leben und Werk des Halleschen Aufklärers Georg Friedrich Meier, 224 S. (Hallesche Gelehrtenbiographien), Hallescher Verlag, Halle/Saale 1994,” Philosophischer Literaturanzeiger, vol. 49. pp. 248–251, 1996.
LibreCat
1996 | Conference Abstract | LibreCat-ID: 17843
V. Peckhaus, “Das Problem des ersten Schrittes in der modernen Axiomatik [Abstract],” in IV. Österreichisches Symposion zur Geschichte der Mathematik. Neuhofen an der Ybbs, 5. bis 11. November 1995. 999 Jahre Österreich — ein Teil der globalen Entwicklung der Mathematik. Kurzfassungen der Vorträge, Nachtragsband, 1996, pp. 142–145.
LibreCat
1996 | Misc | LibreCat-ID: 17898
V. Peckhaus, On the Origins of the Word ‘Logicism’ [ursprünglich Beitrag für russell-l], URL erstellt 22.3.1996. 1996.
LibreCat
| Download (ext.)
1996 | Book Review | LibreCat-ID: 17913
V. Peckhaus, “Franchella, Miriam, ‘L.E.J. Brouwer: Toward Intuitionistic Logic’, Historia Mathematica 22 (1995), 304–322,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 833.01017]. 1996.
LibreCat
1996 | Book Review | LibreCat-ID: 17918
V. Peckhaus, “Czermak, Johannes (Hg.), Philosophy of Mathematics. Proceedings of the 15th International Wittgenstein-Symposium, 16–23 August 1992, Kirchberg am Wechsel, Austria, Part 1, Hölder-Pichler-Tempsky: Wien 1993 (= Schriftenreihe der Wittgenstein-Gesellschaft; 20/I),” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 836.00022]. 1996.
LibreCat
1996 | Book Review | LibreCat-ID: 17920
V. Peckhaus, “Knobloch, Eberhard/Pieper, Herbert/Pulte, Helmut, „...das Wesen der reinen Mathematik verherrlichen“, Mathematische Semesterberichte 42 (1995), 99–132,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 836.01009]. 1996.
LibreCat
1996 | Book Review | LibreCat-ID: 17925
V. Peckhaus, “Rheinwald, Rosemarie, „Die Achilles-Paradoxie in der modernen Diskussion“, in: Czermak (Hg.) 1993 [9.4], 383–392,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 838.03005]. 1996.
LibreCat
1996 | Book Review | LibreCat-ID: 17932
V. Peckhaus, “Bealer, George, ‘Toward a New Theory of Content’, in: Casati/Smith/White (Hgg.) 1994 [9.39], 179–191,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 842.03022]. 1996.
LibreCat
1996 | Book Review | LibreCat-ID: 17937
V. Peckhaus, “Murawski, Roman, ‘Contributions of Polish Logicians to Decidability Theory’, Modern Logic 6 (1996), 37–66,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 844.01010]. 1996.
LibreCat
1996 | Book Review | LibreCat-ID: 17944
V. Peckhaus, “Grattan-Guinness, Ivor, ‘Structure-similarity as a Cornerstone of the Philosophy of Mathematics’, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 91–111,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 848.00005]. 1996.
LibreCat
1996 | Book Review | LibreCat-ID: 17949
V. Peckhaus, “Resnik, Michael D., ‘Applying Mathematics and the Indispensability Argument’, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 115–131,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 849.00014]. 1996.
LibreCat
1996 | Habilitation | LibreCat-ID: 17444
V. Peckhaus, Logik und Struktur. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, als Habilitationsschrift der Philosophischen Fakultät I der Universität Erlangen-Nürnberg vorgelegt im Juli 1995. 1996.
LibreCat
1996 | Book Review | LibreCat-ID: 17956
V. Peckhaus, “Casati, Roberto/Smith, Barry/White, Graham (Hgg.), Philosophy of the Cognitive Sciences. Proceedings of the 16th International Wittgenstein-Symposium, 15–22 August 1993, Kirchberg am Wechsel, Austria, Hölder-Pichler-Tempsky: Wien 1994 (= Schriftenreihe der Wittgenstein-Gesellschaft; 21),” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 849.00032]. 1996.
LibreCat
1996 | Book Chapter | LibreCat-ID: 18428
D. Tophinke, “Zwei Aspekte der Texttypik: Funktionalität und kulturelle Expressivität – ein historisches Fallbeispiel,” in Texte – Konstitution, Verarbeitung, Typik, S. Michaelis and D. Tophinke, Eds. München: Lincom, 1996, pp. 101–116.
LibreCat
1996 | Book | LibreCat-ID: 19135
N. O. Eke, Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe (Edition), vol. 5. Paderborn: Igel, 1996.
LibreCat
1995 | Journal Article | LibreCat-ID: 10610
M. Platzner, B. Rinner, and R. Weiss, “Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation,” J.UCS Journal of Universal Computer Science, vol. 12, pp. 811–820, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 11757
C. Dugast, P. Beyerlein, and R. Haeb-Umbach, “Application of Clustering Techniques to Mixture Density Modelling for Continuous-Speech Recognition,” in ICASSP, Detroit, 1995.
LibreCat
| Download (ext.)
1995 | Journal Article | LibreCat-ID: 11764
S. Gamm and R. Haeb-Umbach, “User interface design of voice controlled consumer electronics,” Philips Journal of Research, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13474
M. Platzner and B. Rinner, “High-Performance Qualitative Simulation on a Multi-DSP Architecture,” in Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 15305
E. Hüllermeier, “Fuzzy polynomial and spline interpolation,” in in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, 1995, pp. 401–404.
LibreCat
1995 | Conference Paper | LibreCat-ID: 2448
T. Römke, M. Röttger, U.-P. Schroeder, and J. Simon, “An Efficient Mapping Library for Parix,” in Proc. ZEUS Workshop on Par. Programming and Computation, 1995.
LibreCat
1995 | Report | LibreCat-ID: 2450
J. Gehring and J. Simon, SparcStation SCI-Interface. Paderborn Center for Parallel Computing, 1995.
LibreCat
1995 | Journal Article | LibreCat-ID: 2563
S. Betz, “Die Bedeutung der Periodenplanbeschäftigung im Rahmen einer investitionstheoretisch fundierten Kostenrechnung,” Zeitschrift für Planung, vol. 6, pp. 167–183, 1995.
LibreCat
1995 | Book Chapter | LibreCat-ID: 3530
T. Gries, “Neue regionale Wachstumstheorie und Humankapital als regionaler charakteristischer Faktor,” in Standort und Region, Neue Ansätze zur Regionalökonomik, B. Gahlen and H. Hesse, Eds. Tübingen: Mohr (Siebeck), 1995.
LibreCat
1995 | Book Chapter | LibreCat-ID: 8078
H.-H. Kremer, “Existenzgründung,” in Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1, 1st ed., U. Braukmann, A. Diettrich, H.-H. Kremer, P. F. E. Sloane, and E. Stickling, Eds. Düsseldorf, 1995, pp. 19–94.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8097
S. Krauter, “Solar Electricity up to 30% less expensive by optical and thermal enhanced PV modules,” in Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995., 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8100
S. Krauter, “Thermal and Optical Enhanced PV-Modules,” in Proceedings of the 13th European Photovoltaic Solar Energy Conference, Nizza (Frankreich), 23.–27. Oktober 1995, S. 2306–2309., 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8268
B. Bardohl et al., “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development,” in Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), 1995, vol. 26.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8270
R. Heckel and A. Wagner, “Ensuring Consistency of Conditional Graph Grammars - A constructive Approach,” in Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), 1995, vol. 2, pp. 118–126.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 16904
G. Kienegger-domik, “Intelligent visualization systems in educational environments,” in Proceedings of ED-MEDIA `95, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 17306
F. Postel, G. Oevel, and F. Schwarz, “MuPAD in der Ausbildung,” in Beiträge zum Mathematikunterricht, 1995.
LibreCat
1995 | Journal Article | LibreCat-ID: 17490
V. Peckhaus, “Hilberts Logik. Von der Axiomatik zur Beweistheorie,” NTM. Internationale Zeitschrift für Geschichte und Ethik der Naturwissenschaften, Technik und Medizin N.F., vol. 3, pp. 65–86, 1995.
LibreCat
1995 | Book | LibreCat-ID: 19136
N. O. Eke, V. C. Dörr, and u. a., „Wir träumen ins Herz der Zukunft“. Literatur in Nordrhein-Westfalen 1971-1994 (Edition), vol. 4. Frankfurt a. M., Leipzig: Insel, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 2208
F. Meyer auf der Heide, C. Scheideler, and V. Stemann, “Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations,” in STACS, 1995, pp. 267--278.
LibreCat
| Files available
1995 | Conference Paper | LibreCat-ID: 11765
S. Gamm and R. Haeb-Umbach, “Human Factors of a Voice-Controlled Car Stereo,” in Eurospeech, Madrid, 1995.
LibreCat