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.
21902 Publications
0000 | Encyclopedia Article | LibreCat-ID: 32360
LEXIKON. Eintrag (Einzelartikel)
S. Ptashnyk, in: WSK Grammatik (online-Publikation), n.d.
LibreCat
S. Ptashnyk, in: WSK Grammatik (online-Publikation), n.d.
0000 | Book Chapter | LibreCat-ID: 32617
Die Selbstverortung des Individuums zwischen Spätaufklärung und Romantik
J. Steigerwald, in: J. Steigerwald, R. Behrens (Eds.), Räume des Subjekts um 1800, Harrassowitz, Wiesbaden, n.d.
LibreCat
J. Steigerwald, in: J. Steigerwald, R. Behrens (Eds.), Räume des Subjekts um 1800, Harrassowitz, Wiesbaden, n.d.
1778 | Book | LibreCat-ID: 22111
Beeinflussung des Risswachstums durch Kerben in additiv gefertigten Strukturen
W. Reschetnik, J.P. Brüggemann, G. Kullmer, L. Risse, Beeinflussung Des Risswachstums Durch Kerben in Additiv Gefertigten Strukturen, n.d.
LibreCat
W. Reschetnik, J.P. Brüggemann, G. Kullmer, L. Risse, Beeinflussung Des Risswachstums Durch Kerben in Additiv Gefertigten Strukturen, n.d.
1778 | Book | LibreCat-ID: 22114
Optimierung der Werkstoffperformance lasergeschmolzener metallischer Werkstoffe
A. Riemer, S. Leuders, H.A. Richard, G. Kullmer, Optimierung der Werkstoffperformance lasergeschmolzener metallischer Werkstoffe, n.d.
LibreCat
A. Riemer, S. Leuders, H.A. Richard, G. Kullmer, Optimierung der Werkstoffperformance lasergeschmolzener metallischer Werkstoffe, n.d.
1979 | Journal Article | LibreCat-ID: 16812
A comparison of two variations of a pebble game on graphs
F. Meyer auf der Heide, Automata, Languages and Programming. ICALP 1979 (1979) 411–421.
LibreCat
| DOI
F. Meyer auf der Heide, Automata, Languages and Programming. ICALP 1979 (1979) 411–421.
1980 | Book Chapter | LibreCat-ID: 16815
Untere Zeitschranken für das Rucksack-Problem
P. Klein, F. Meyer auf der Heide, in: GI - 10. Jahrestagung, Berlin, Heidelberg, 1980.
LibreCat
| DOI
P. Klein, F. Meyer auf der Heide, in: GI - 10. Jahrestagung, Berlin, Heidelberg, 1980.
1980 | Book (Editor) | LibreCat-ID: 15510
Inseln im Ich
R. Hagengruber, ed., Inseln im Ich, Matthes & Seitz, München, 1980.
LibreCat
R. Hagengruber, ed., Inseln im Ich, Matthes & Seitz, München, 1980.
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.
1981 | Book | LibreCat-ID: 30187 | 
Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme
J. Böcker, Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme, Institut für Regelungstechnik, TU Berlin, 1981.
LibreCat
| Files available
J. Böcker, Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme, Institut für Regelungstechnik, TU Berlin, 1981.
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.
1983 | Conference Paper | LibreCat-ID: 8255
Software Specification by Graph Grammars
M. Nagl, G. Engels, R. Gall, W. Schäfer, in: Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), Springer, Berlin/Heidelberg, 1983, pp. 267–287.
LibreCat
| DOI
M. Nagl, G. Engels, R. Gall, W. Schäfer, in: Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), Springer, Berlin/Heidelberg, 1983, pp. 267–287.
1983 | Journal Article | LibreCat-ID: 7411
Software Specification Using Graph Grammars
G. Engels, R. Gall, M. Nagl, W. Schäfer, Computing 31 (1983) 317–346.
LibreCat
| DOI
G. Engels, R. Gall, M. Nagl, W. Schäfer, Computing 31 (1983) 317–346.
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.