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.
9719 Publications
1984 | Book Chapter | LibreCat-ID: 56736
R. Biehler, “Graphische Darstellungen in Wissenschaft, Medien und Unterricht,” in Beiträge zum Mathematikunterricht 1984, Bad Salzdetfurth: Franzbecker, 1984, pp. 83–85.
LibreCat
1983 | Conference Paper | LibreCat-ID: 8255
M. Nagl, G. Engels, R. Gall, and W. Schäfer, “Software Specification by Graph Grammars,” in Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), 1983, vol. 153, pp. 267–287.
LibreCat
| DOI
1983 | Book Chapter | LibreCat-ID: 56731
R. Biehler, “The mathematization of situations outside mathematics from an educational point of view,” in Proceedings of the Fourth International Congress on Mathematical Education, M. Zweng, Ed. Boston: Birkhäuser, 1983, pp. 291–293.
LibreCat
1983 | Book Chapter | LibreCat-ID: 56733
R. Biehler, U. Beck, and G. Kaiser, “Review of Applications in School Mathematics: National Report Federal Republic of Germany,” in An International Review of Applications in School Mathematics: the Elusive El Dorado, H. Burkhardt, Ed. Columbus: ERIC, 1983, pp. 68–93.
LibreCat
1983 | Book Chapter | LibreCat-ID: 56732
R. Biehler, “Explorative Datenanalyse - Neue Impulse für den Mathematikunterricht?,” in Beiträge zum Mathematikunterricht 1983, Bad Salzdetfurth: Franzbecker, 1983, pp. 72–75.
LibreCat
1982 | Conference Paper | LibreCat-ID: 7811
G. Engels and W. Schäfer, “Specification of a Programming Support Environment by Graph Grammars,” in Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), 1982, pp. 47–62.
LibreCat
1982 | Conference Paper | LibreCat-ID: 7812
U. Pletat, G. Engels, and H.-D. Ehrich, “An Operational Approach to Conditional Algebraic Specifications,” in Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France), 1982, vol. 82, pp. 254–270.
LibreCat
1982 | Book | LibreCat-ID: 29933 | 
J. Böcker, Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme. Institut für Regelungstechnik, TU Berlin, 1982.
LibreCat
| Files available
1982 | Journal Article | LibreCat-ID: 56250
R. Biehler, “The role of applications of mathematics in the theory and practice of mathematics education in the Federal Republic of Germany - a report on literature, projects, and ideas,” International Journal of Mathematics Education in Science and Technology, vol. 13, no. 2, pp. 199–216, 1982.
LibreCat
| Download (ext.)
1982 | Journal Article | LibreCat-ID: 56729
R. Biehler, “Explorative Datenanalyse: eine Untersuchung aus der Perspektive einer deskriptiv-empirischen Wissenschaftstheorie,” IDM Materialien und Studien 24, 1982.
LibreCat
1982 | Book Chapter | LibreCat-ID: 56730
R. Biehler and H. Steinbring, “Bernoullis Theorem: Eine „Erklärung “für das empirische Gesetz der großen Zahlen?,” in Mathematik Philosophie Bildung, H.-G. Steiner, Ed. Köln: Aulis, 1982, pp. 296–334.
LibreCat
1981 | Report | LibreCat-ID: 8184
G. Engels, U. Pletat, and H.-D. Ehrich, Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981.
LibreCat
1981 | Report | LibreCat-ID: 8185
U. Pletat, G. Engels, and H.-D. Ehrich, Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981.
LibreCat