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.
9676 Publications
1983 | Journal Article | LibreCat-ID: 7412
An Operational Semantics for Specifications of Abstract Data Types with Error Handling
G. Engels, U. Pletat, H.-D. Ehrich, Acta Informatica 9 (1983) 235–254.
LibreCat
| DOI
G. Engels, U. Pletat, H.-D. Ehrich, Acta Informatica 9 (1983) 235–254.
1983 | Journal Article | LibreCat-ID: 16806
Efficiency of universal parallel computers
F. Meyer auf der Heide, Acta Informatica (1983) 269–296.
LibreCat
| DOI
F. Meyer auf der Heide, Acta Informatica (1983) 269–296.
1983 | Journal Article | LibreCat-ID: 16807
A lower time bound for the knapsack problem on random access machines
P. Klein, F. Meyer auf der Heide, Acta Informatica (1983) 385–395.
LibreCat
| DOI
P. Klein, F. Meyer auf der Heide, Acta Informatica (1983) 385–395.
1983 | Journal Article | LibreCat-ID: 16808
Infinite cube-connected cycles
F. Meyer auf der Heide, Information Processing Letters (1983) 1–2.
LibreCat
| DOI
F. Meyer auf der Heide, Information Processing Letters (1983) 1–2.
1983 | Conference Paper | LibreCat-ID: 16809
A polynomial linear search algorithm for the n-dimensional knapsack problem
F. Meyer auf der Heide, in: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing - STOC ’83, 1983.
LibreCat
| DOI
F. Meyer auf der Heide, in: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing - STOC ’83, 1983.
1983 | Book Chapter | LibreCat-ID: 16810
Efficiency of universal parallel computers
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1983.
LibreCat
| DOI
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1983.
1983 | Book Chapter | LibreCat-ID: 56731
The mathematization of situations outside mathematics from an educational point of view
R. Biehler, in: M. Zweng (Ed.), Proceedings of the Fourth International Congress on Mathematical Education, Birkhäuser, Boston, 1983, pp. 291–293.
LibreCat
R. Biehler, in: M. Zweng (Ed.), Proceedings of the Fourth International Congress on Mathematical Education, Birkhäuser, Boston, 1983, pp. 291–293.
1983 | Book Chapter | LibreCat-ID: 56733
Review of Applications in School Mathematics: National Report Federal Republic of Germany
R. Biehler, U. Beck, G. Kaiser, in: H. Burkhardt (Ed.), An International Review of Applications in School Mathematics: The Elusive El Dorado, ERIC, Columbus, 1983, pp. 68–93.
LibreCat
R. Biehler, U. Beck, G. Kaiser, in: H. Burkhardt (Ed.), An International Review of Applications in School Mathematics: The Elusive El Dorado, ERIC, Columbus, 1983, pp. 68–93.
1983 | Book Chapter | LibreCat-ID: 56732
Explorative Datenanalyse - Neue Impulse für den Mathematikunterricht?
R. Biehler, in: Beiträge zum Mathematikunterricht 1983, Franzbecker, Bad Salzdetfurth, 1983, pp. 72–75.
LibreCat
R. Biehler, in: Beiträge zum Mathematikunterricht 1983, Franzbecker, Bad Salzdetfurth, 1983, pp. 72–75.
1982 | Conference Paper | LibreCat-ID: 7811
Specification of a Programming Support Environment by Graph Grammars
G. Engels, W. Schäfer, in: Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), Hanser, München/Leipzig, 1982, pp. 47–62.
LibreCat
G. Engels, W. Schäfer, in: Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), Hanser, München/Leipzig, 1982, pp. 47–62.
1982 | Conference Paper | LibreCat-ID: 7812
An Operational Approach to Conditional Algebraic Specifications
U. Pletat, G. Engels, H.-D. Ehrich, in: Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), 1982, pp. 254–270.
LibreCat
U. Pletat, G. Engels, H.-D. Ehrich, in: Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), 1982, pp. 254–270.
1982 | Book | LibreCat-ID: 29933 | 
Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme
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
J. Böcker, Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme, Institut für Regelungstechnik, TU Berlin, 1982.
1982 | Journal Article | LibreCat-ID: 56250
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
R. Biehler, International Journal of Mathematics Education in Science and Technology 13 (1982) 199–216.
LibreCat
| Download (ext.)
R. Biehler, International Journal of Mathematics Education in Science and Technology 13 (1982) 199–216.
1982 | Journal Article | LibreCat-ID: 56729
Explorative Datenanalyse: eine Untersuchung aus der Perspektive einer deskriptiv-empirischen Wissenschaftstheorie
R. Biehler, IDM Materialien und Studien 24 (1982).
LibreCat
R. Biehler, IDM Materialien und Studien 24 (1982).
1982 | Book Chapter | LibreCat-ID: 56730
Bernoullis Theorem: Eine „Erklärung “für das empirische Gesetz der großen Zahlen?
R. Biehler, H. Steinbring, in: H.-G. Steiner (Ed.), Mathematik Philosophie Bildung, Aulis, Köln, 1982, pp. 296–334.
LibreCat
R. Biehler, H. Steinbring, in: H.-G. Steiner (Ed.), Mathematik Philosophie Bildung, Aulis, Köln, 1982, pp. 296–334.
1981 | Report | LibreCat-ID: 8184
Handling Errors and Exceptions in the Algebraic Specifications of Data Types
G. Engels, U. Pletat, H.-D. Ehrich, Handling Errors and Exceptions in the Algebraic Specifications of Data Types, University of Osnabrück, 1981.
LibreCat
G. Engels, U. Pletat, H.-D. Ehrich, Handling Errors and Exceptions in the Algebraic Specifications of Data Types, University of Osnabrück, 1981.
1981 | Report | LibreCat-ID: 8185
Operational Semantics of Algebraic Specifications with Conditional Equations
U. Pletat, G. Engels, H.-D. Ehrich, Operational Semantics of Algebraic Specifications with Conditional Equations, University of Dortmund, Department of Computer Science, 1981.
LibreCat
U. Pletat, G. Engels, H.-D. Ehrich, Operational Semantics of Algebraic Specifications with Conditional Equations, University of Dortmund, Department of Computer Science, 1981.
1981 | Book Chapter | LibreCat-ID: 16813
Random access machines and straight-line programs
F. Meyer auf der Heide, A. Rollik, in: Fundamentals of Computation Theory, Berlin, Heidelberg, 1981.
LibreCat
| DOI
F. Meyer auf der Heide, A. Rollik, in: Fundamentals of Computation Theory, Berlin, Heidelberg, 1981.
1981 | Book Chapter | LibreCat-ID: 16814
Time-processor trade-offs for universal parallel computers
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1981.
LibreCat
| DOI
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1981.
1981 | Journal Article | LibreCat-ID: 16820
A comparison of two variations of a pebble game on graphs
F. Meyer auf der Heide, Theoretical Computer Science (1981) 315–322.
LibreCat
| DOI
F. Meyer auf der Heide, Theoretical Computer Science (1981) 315–322.