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.

13660 Publications


1995 | Report | LibreCat-ID: 8194
Conrad, Mirko, et al. Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem. 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8268
Bardohl, Bernhard, et al. “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development.” Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), vol. 26, Forschungszentrum Jülich GmbH, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8076
Euler, D., et al. “Grundfragen Der Berufsbildung.” Meisterprüfung - Lernen Für Die Praxis, Ausbilden Im Handwerk. Dozentenhandbuch Für Teil IV Der Meisterausbildung., edited by U. Braukmann et al., 1st ed., 1995, pp. 1–23.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8077
Euler, D., et al. “Grundfragen der Berufsbildung.” Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk, edited by D. Euler et al., 1st ed., 1995, pp. 13–42.
LibreCat
 

1995 | Book Review | LibreCat-ID: 17775
Peckhaus, Volker. “Grundprobleme der großen Philosophen. Philosophie der Neuzeit VI. Tarski, Reichenbach, Kraft, Gödel, Neurath, ed. Josef Speck, Vandenhoeck & Ruprecht: Göttingen 1992 (= Uni-Taschenbücher; 1654).” Modern Logic, vol. 5, 1995, pp. 356–59.
LibreCat
 

1995 | Book | LibreCat-ID: 17446
Peckhaus, Volker. Hermann Ulrici (1806–1884). Der Hallesche Philosoph und die englische Algebra der Logik. Mit einer Auswahl von Texten Ulricis zur Logik und einer Bibliographie seiner Schriften. Hallescher Verlag, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13474
Platzner, Marco, and Bernhard Rinner. “High-Performance Qualitative Simulation on a Multi-DSP Architecture.” Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13470
Brenner, Eugen, et al. “High-Performance Simulators Based on Multi-TMS320C40.” Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 17490
Peckhaus, Volker. “Hilberts Logik. Von der Axiomatik zur Beweistheorie.” NTM. Internationale Zeitschrift für Geschichte und Ethik der Naturwissenschaften, Technik und Medizin N.F., vol. 3, 1995, pp. 65–86.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 16717
Meyer auf der Heide, Friedhelm, and Matthias Westermann. “Hot-Potato Routing on Multi-Dimensional Tori.” Graph-Theoretic Concepts in Computer Science, 1995, doi:10.1007/3-540-60618-1_77.
LibreCat | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: MLA

Export / Embed