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.
32649 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 | Encyclopedia Article | LibreCat-ID: 32937
Bild/Bilderverbot (literaturwissenschaftlich)
C. Öhlschläger, in: O. Wischmeyer (Ed.), Lexikon der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther, de Gruyter, Berlin, New York, n.d., pp. 98–99.
LibreCat
C. Öhlschläger, in: O. Wischmeyer (Ed.), Lexikon der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther, de Gruyter, Berlin, New York, n.d., pp. 98–99.
0000 | Encyclopedia Article | LibreCat-ID: 32938
Ikonographie (literaturwissenschaftlich)
C. Öhlschläger, in: O. Wischmeyer (Ed.), Lexikon Der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther, de Gruyter, Berlin, New York, n.d., pp. 281–282.
LibreCat
C. Öhlschläger, in: O. Wischmeyer (Ed.), Lexikon Der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther, de Gruyter, Berlin, New York, n.d., pp. 281–282.
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.
0000 | Book (Editor) | LibreCat-ID: 32882
Ethik-Text-Kultur
C. Öhlschläger, ed., Ethik-Text-Kultur, Fink, München, Paderborn, n.d.
LibreCat
C. Öhlschläger, ed., Ethik-Text-Kultur, Fink, München, Paderborn, 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.E. Hagengruber, ed., Inseln im Ich, Matthes & Seitz, München, 1980.
LibreCat
R.E. 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.
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.
1984 | Conference Paper | LibreCat-ID: 21603
Radar Image Simulation and its Application in Image Analysis
G. Domik, F. Leberl, M. Kobrick, in: International Archives of Photogrammetry and Remote Sensing, Rio de Janeiro, Brazil, 1984, pp. 99–108.
LibreCat
G. Domik, F. Leberl, M. Kobrick, in: International Archives of Photogrammetry and Remote Sensing, Rio de Janeiro, Brazil, 1984, pp. 99–108.
1984 | Conference Paper | LibreCat-ID: 21604
Rectification of Radar Images Using Stereo- Derived Height Models and Simulations
G. Domik, F. Leberl, J. Raggam, in: XVth Congress of the International Society for Photogrammetry and Remote Sensing, Rio de Janeiro, 1984, pp. 109–116.
LibreCat
G. Domik, F. Leberl, J. Raggam, in: XVth Congress of the International Society for Photogrammetry and Remote Sensing, Rio de Janeiro, 1984, pp. 109–116.
1984 | Conference Paper | LibreCat-ID: 21605
Evaluation of radar stereo viewability by means of a simulation technique
G. Domik, in: ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use, 1984.
LibreCat
G. Domik, in: ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use, 1984.
1984 | Journal Article | LibreCat-ID: 16785
A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem
F. Meyer auf der Heide, Journal of the ACM (JACM) (1984) 668–676.
LibreCat
| DOI
F. Meyer auf der Heide, Journal of the ACM (JACM) (1984) 668–676.
1984 | Conference Paper | LibreCat-ID: 16786
On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication
F. Meyer auf der Heide, R. Reischuk, in: 25th Annual Symposium OnFoundations of Computer Science, 1984., 1984.
LibreCat
| DOI
F. Meyer auf der Heide, R. Reischuk, in: 25th Annual Symposium OnFoundations of Computer Science, 1984., 1984.
1984 | Book Chapter | LibreCat-ID: 16787
Efficient simulations among several models of parallel computers (extended abstract)
F. Meyer auf der Heide, in: STACS 84, Berlin, Heidelberg, 1984.
LibreCat
| DOI
F. Meyer auf der Heide, in: STACS 84, Berlin, Heidelberg, 1984.
1984 | Conference Paper | LibreCat-ID: 16922
Method to Relate Digital SAR Images and Map Information in Mountainous Areas
G. Domik, E. Kienegger, in: Proceedings of the World Conference on Remote Sensing, 1984.
LibreCat
G. Domik, E. Kienegger, in: Proceedings of the World Conference on Remote Sensing, 1984.
1984 | Conference Paper | LibreCat-ID: 15598
The SAR-580 experiment on snow and glaciers at the Austrian test site
H. Rott, G. Domik, in: Proc. SAR-580 Investigators Workshop, 1984, pp. 217–232.
LibreCat
H. Rott, G. Domik, in: Proc. SAR-580 Investigators Workshop, 1984, pp. 217–232.
1984 | Report | LibreCat-ID: 15600
Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models.
G. Domik, F. Leberl, J. Raggam, Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models., Graz Research Center, 1984.
LibreCat
G. Domik, F. Leberl, J. Raggam, Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models., Graz Research Center, 1984.
1984 | Journal Article | LibreCat-ID: 15124
Analyse von Radarbildern mittels digitaler Hoehenmodelle
G. Domik, M. Kobrick, F. Leberl, Bildmessung Und Luftbildwesen 52 (1984) 249–263.
LibreCat
G. Domik, M. Kobrick, F. Leberl, Bildmessung Und Luftbildwesen 52 (1984) 249–263.
1984 | Book | LibreCat-ID: 17455 |
Der nationalsozialistische „neue Begriff“ von Wissenschaft am Beispiel der „Deutschen Mathematik“ — Programm, Konzeption und politische Realisierung, Magisterarbeit an der Philosophischen Fakultät der Rheinisch-Westfälischen Technischen Hochschule Aachen, August 1984
V. Peckhaus, Der nationalsozialistische „neue Begriff“ von Wissenschaft am Beispiel der „Deutschen Mathematik“ — Programm, Konzeption und politische Realisierung, Magisterarbeit an der Philosophischen Fakultät der Rheinisch-Westfälischen Technischen Hochschule Aachen, August 1984, 1984.
LibreCat
| Download (ext.)
V. Peckhaus, Der nationalsozialistische „neue Begriff“ von Wissenschaft am Beispiel der „Deutschen Mathematik“ — Programm, Konzeption und politische Realisierung, Magisterarbeit an der Philosophischen Fakultät der Rheinisch-Westfälischen Technischen Hochschule Aachen, August 1984, 1984.
1984 | Mastersthesis | LibreCat-ID: 12793
Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse in Platons Symposion
R.E. Hagengruber, Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse in Platons Symposion, München, 1984.
LibreCat
R.E. Hagengruber, Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse in Platons Symposion, München, 1984.
1985 | Conference Paper | LibreCat-ID: 21606
Radar image simulation as a tool to analyze topographic effects on geometry and radiometry of radar imagery
G. Domik, in: Machine Processing of Remotely Sensed Data- Quantifying Global Process: Models, Sensor Systems, and Analytical Methods, 1985, pp. 248–253.
LibreCat
G. Domik, in: Machine Processing of Remotely Sensed Data- Quantifying Global Process: Models, Sensor Systems, and Analytical Methods, 1985, pp. 248–253.
1985 | Journal Article | LibreCat-ID: 21607
Radargrammetric aspects of SAR data evaluation
J. Raggam, G. Triebnig, M. Buchroithner, G. Domik, F. Leberl, Thematic Applications of SAR Data (1985) 57.
LibreCat
J. Raggam, G. Triebnig, M. Buchroithner, G. Domik, F. Leberl, Thematic Applications of SAR Data (1985) 57.
1985 | Conference Paper | LibreCat-ID: 7813
Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment
G. Engels, W. Schäfer, in: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany), Springer, Berlin/Heidelberg, 1985, pp. 179–193.
LibreCat
G. Engels, W. Schäfer, in: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany), Springer, Berlin/Heidelberg, 1985, pp. 179–193.
1985 | Conference Paper | LibreCat-ID: 7814
The Design of an Adaptive and Portable Programming Support Environment
G. Engels, W. Schäfer, in: Proceedings of the International Computing Symposium, Amsterdam (The Netherlands), Florenz, 1985.
LibreCat
G. Engels, W. Schäfer, in: Proceedings of the International Computing Symposium, Amsterdam (The Netherlands), Florenz, 1985.
1985 | Journal Article | LibreCat-ID: 16779
Lower time bounds for integer programming with two variables
C. Lautemann, F. Meyer auf der Heide, Information Processing Letters (1985) 101–105.
LibreCat
| DOI
C. Lautemann, F. Meyer auf der Heide, Information Processing Letters (1985) 101–105.
1985 | Journal Article | LibreCat-ID: 16780
Lower bounds for solving linear diophantine equations on random access machines
F. Meyer auf der Heide, Journal of the ACM (JACM) (1985) 929–937.
LibreCat
| DOI
F. Meyer auf der Heide, Journal of the ACM (JACM) (1985) 929–937.
1985 | Journal Article | LibreCat-ID: 16781
Simulating probabilistic by deterministic algebraic computation trees
F. Meyer auf der Heide, Theoretical Computer Science (1985) 325–330.
LibreCat
| DOI
F. Meyer auf der Heide, Theoretical Computer Science (1985) 325–330.
1985 | Conference Paper | LibreCat-ID: 16782
The complexity of parallel sorting
F. Meyer auf der Heide, A. Wigderson, in: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), 1985.
LibreCat
| DOI
F. Meyer auf der Heide, A. Wigderson, in: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), 1985.
1985 | Conference Paper | LibreCat-ID: 16783
One, two, three . . . infinity: lower bounds for parallel computation
F.E. Fich, F. Meyer auf der Heide, P. Ragde, A. Wigderson, in: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing - STOC ’85, 1985.
LibreCat
| DOI
F.E. Fich, F. Meyer auf der Heide, P. Ragde, A. Wigderson, in: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing - STOC ’85, 1985.
1985 | Conference Paper | LibreCat-ID: 16784
Fast algorithms for n-dimensional restrictions of hard problems
F. Meyer auf der Heide, in: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing - STOC ’85, 1985.
LibreCat
| DOI
F. Meyer auf der Heide, in: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing - STOC ’85, 1985.
1985 | Conference Paper | LibreCat-ID: 16788
Nondeterministic versus probabilistic linear search algorithms
F. Meyer auf der Heide, in: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), 1985.
LibreCat
| DOI
F. Meyer auf der Heide, in: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), 1985.
1985 | Journal Article | LibreCat-ID: 16823
Lower time bounds for solving linear diophantine equations on several parallel computational models
F. Meyer auf der Heide, Information and Control 67 (1985) 195–211.
LibreCat
| DOI
F. Meyer auf der Heide, Information and Control 67 (1985) 195–211.
1985 | Journal Article | LibreCat-ID: 15314
Mapping with aircraft and satellite radar images
F. Leberl, M. Kobrick, G. Domik, The Photogrammetric Record 11 (1985) 647–665.
LibreCat
| DOI
F. Leberl, M. Kobrick, G. Domik, The Photogrammetric Record 11 (1985) 647–665.
1985 | Journal Article | LibreCat-ID: 15316
Towards a SAR system for snow and land ice applications
H. Rott, G. Domik, C. Mätzler, H. Miller, ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42) (1985) 29–39.
LibreCat
H. Rott, G. Domik, C. Mätzler, H. Miller, ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42) (1985) 29–39.
1985 | Journal Article | LibreCat-ID: 35399
Distribution of Correlation Times in Glassy Polymers From Pulsed Deuteron NMR
C. Schmidt, K.J. Kuhn, H.W. Spiess, Progress in Colloid and Polymer Science 71 (1985) 71–76.
LibreCat
| WoS
C. Schmidt, K.J. Kuhn, H.W. Spiess, Progress in Colloid and Polymer Science 71 (1985) 71–76.
1985 | Journal Article | LibreCat-ID: 40399
ELECTROOPTICAL BEHAVIOR OF CHOLESTERIC BLUE PHASES WITH NEGATIVE DIELECTRIC ANISOTROPY
G. HEPPKE, H.-S. Kitzerow, M. KRUMREY, MOLECULAR CRYSTALS AND LIQUID CRYSTALS 1 (1985) 117–122.
LibreCat
G. HEPPKE, H.-S. Kitzerow, M. KRUMREY, MOLECULAR CRYSTALS AND LIQUID CRYSTALS 1 (1985) 117–122.
1985 | Journal Article | LibreCat-ID: 40395
ELECTRIC-FIELD INDUCED VARIATION OF THE REFRACTIVE-INDEX IN CHOLESTERIC BLUE PHASES
G. HEPPKE, H.-S. Kitzerow, M. KRUMREY, MOLECULAR CRYSTALS AND LIQUID CRYSTALS 2 (1985) 59–65.
LibreCat
G. HEPPKE, H.-S. Kitzerow, M. KRUMREY, MOLECULAR CRYSTALS AND LIQUID CRYSTALS 2 (1985) 59–65.
1986 | Book Chapter | LibreCat-ID: 19477
Architekten- und Künstlerbiographien
E.-M. Seng, in: Kulturamt der Universitätsstadt Tübingen (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), 1986, pp. 102–108.
LibreCat
E.-M. Seng, in: Kulturamt der Universitätsstadt Tübingen (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), 1986, pp. 102–108.
1986 | Book Chapter | LibreCat-ID: 19819
Classes of first order formulas under various satisfiability definitions
H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.
LibreCat
| DOI
H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.
1986 | Book Chapter | LibreCat-ID: 19360
Die Zeichner und die Art der Darstellung - Zur Entwicklung und Funktion der Architekturzeichnung im 19. Jahrhundert
E.-M. Seng, in: Kulturamt der Universitätsstadt Tübingen (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), 1986, pp. 4–16.
LibreCat
E.-M. Seng, in: Kulturamt der Universitätsstadt Tübingen (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), 1986, pp. 4–16.
1986 | Book Chapter | LibreCat-ID: 19364
Das Ulmer Hauptwerk: Der Blaubeurer Hochaltar und die Erhart-Frage
E.-M. Seng, in: G. Schäfer, M. Brecht (Eds.), Blätter für württembergische Kirchengeschichte, 86. Jg. , Stuttgart, 1986, pp. 299–319.
LibreCat
E.-M. Seng, in: G. Schäfer, M. Brecht (Eds.), Blätter für württembergische Kirchengeschichte, 86. Jg. , Stuttgart, 1986, pp. 299–319.
1986 | Book Chapter | LibreCat-ID: 19443
Risse: Pytheas, Philostratos et. al. Zu den Protagonisten der frühen Erzählungen Arno Schmidts
N.O. Eke, in: M.M. Schardt (Ed.), Arno Schmidt. Das Frühwerk I: Erzählungen. Interpretationen von ‚Gadir‘ bis ‚Kosmas‘, Rader, Aachen, 1986, pp. 151–184.
LibreCat
N.O. Eke, in: M.M. Schardt (Ed.), Arno Schmidt. Das Frühwerk I: Erzählungen. Interpretationen von ‚Gadir‘ bis ‚Kosmas‘, Rader, Aachen, 1986, pp. 151–184.
1986 | Book | LibreCat-ID: 2092
Belgium in a Nutshell Investitionsmöglichkeiten ausländischer Unternehmen in Belgien
D. Krimphove, Belgium in a Nutshell Investitionsmöglichkeiten Ausländischer Unternehmen in Belgien, Brüssel, 1986.
LibreCat
D. Krimphove, Belgium in a Nutshell Investitionsmöglichkeiten Ausländischer Unternehmen in Belgien, Brüssel, 1986.
1986 | Journal Article | LibreCat-ID: 21792
Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products
G. Domik, F. Leberl, J. Cimino, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 492–497.
LibreCat
| DOI
G. Domik, F. Leberl, J. Cimino, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 492–497.
1986 | Conference Paper | LibreCat-ID: 21793
Digital terrain mapping with STAR-1 SAR data
J. Mercer, R. Lowry, F. Leberl, G. Domik, in: International Geoscience and Remote Sensing Symposium, IGARSS, 1986, pp. 645–650.
LibreCat
J. Mercer, R. Lowry, F. Leberl, G. Domik, in: International Geoscience and Remote Sensing Symposium, IGARSS, 1986, pp. 645–650.
1986 | Conference Paper | LibreCat-ID: 21794
Developing tools for digital radar image data evaluation
G. Domik, F. Leberl, J. Raggam, in: Remote Sensing for Resources Development and Environmental Management; Proceedings of the Seventh International Symposium, 1986, pp. 117–119.
LibreCat
G. Domik, F. Leberl, J. Raggam, in: Remote Sensing for Resources Development and Environmental Management; Proceedings of the Seventh International Symposium, 1986, pp. 117–119.
1986 | Conference Paper | LibreCat-ID: 7815
On the Structure of an Incremental and Integrated Software Development Environment
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, in: Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA, 1986, pp. 585–597.
LibreCat
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, in: Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA, 1986, pp. 585–597.
1986 | Conference Paper | LibreCat-ID: 8256
Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques
G. Engels, A. Sandbrink, in: Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen, Berlin(Ost): Akademie der Wissenschaften der DDR, Bautzen, 1986, pp. 172–184.
LibreCat
G. Engels, A. Sandbrink, in: Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen, Berlin(Ost): Akademie der Wissenschaften der DDR, Bautzen, 1986, pp. 172–184.
1986 | Dissertation | LibreCat-ID: 7588
Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung
G. Engels, Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung, 1986.
LibreCat
G. Engels, Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung, 1986.
1986 | Journal Article | LibreCat-ID: 16771
Efficient Simulations among Several Models of Parallel Computers
F. Meyer auf der Heide, SIAM Journal on Computing (1986) 106–119.
LibreCat
| DOI
F. Meyer auf der Heide, SIAM Journal on Computing (1986) 106–119.
1986 | Book Chapter | LibreCat-ID: 16774
A tradeoff between search and update time for the implicit dictionary problem
A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: Automata, Languages and Programming, Berlin, Heidelberg, 1986.
LibreCat
| DOI
A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: Automata, Languages and Programming, Berlin, Heidelberg, 1986.
1986 | Book Chapter | LibreCat-ID: 16775
Speeding up random access machines by few processors
F. Meyer auf der Heide, in: STACS 86, Berlin, Heidelberg, 1986.
LibreCat
| DOI
F. Meyer auf der Heide, in: STACS 86, Berlin, Heidelberg, 1986.
1986 | Book Chapter | LibreCat-ID: 16776
A time-space tradeoff for element distinctness
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: STACS 86, Berlin, Heidelberg, 1986.
LibreCat
| DOI
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: STACS 86, Berlin, Heidelberg, 1986.
1986 | Journal Article | LibreCat-ID: 16917
Radar Stereomapping Techniques and Application to SIR-B Images of Mt. Shasta
F. Leberl, G. Domik, J. Raggam, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 473–481.
LibreCat
| DOI
F. Leberl, G. Domik, J. Raggam, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 473–481.
1986 | Journal Article | LibreCat-ID: 16918
Multiple Incidence Angle SIR-B Expenment Over Argentina: Stereo-Radargrammetrc Analysis
F. Leberl, G. Domik, J. Raggam, J. Cimino, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 482–491.
LibreCat
F. Leberl, G. Domik, J. Raggam, J. Cimino, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 482–491.
1986 | Journal Article | LibreCat-ID: 11880
An all digital implementation of a receiver for bandwidth-efficient communication
M. Oerder, G. Ascheid, R. Haeb-Umbach, H. Meyr, Signal Processing: Theories and Applications (1986).
LibreCat
M. Oerder, G. Ascheid, R. Haeb-Umbach, H. Meyr, Signal Processing: Theories and Applications (1986).
1986 | Report | LibreCat-ID: 13022
Deformation dicker Punkte und Netze von Quadriken
S. Hellebrand, Deformation Dicker Punkte Und Netze von Quadriken, Universität Regensburg, Fakultät für Mathematik, Regensburg, Germany, 1986.
LibreCat
S. Hellebrand, Deformation Dicker Punkte Und Netze von Quadriken, Universität Regensburg, Fakultät für Mathematik, Regensburg, Germany, 1986.
1986 | Conference Paper | LibreCat-ID: 15318
Using secondary image products to aid in understanding and interpretation of radar imagery
G. Domik, F. Leberl, in: IGARSS’86: Remote Sensing: Today’s Solutions for Tomorrow’s Information Needs, European Space Agency, ESA SP, 1986, pp. 467–468.
LibreCat
G. Domik, F. Leberl, in: IGARSS’86: Remote Sensing: Today’s Solutions for Tomorrow’s Information Needs, European Space Agency, ESA SP, 1986, pp. 467–468.
1986 | Journal Article | LibreCat-ID: 15254
Radargrammetric Experiments with Space Shuttle SIR-B Imagery
F. Leberl, G. Domik, J. Raggam, J. Cimino, M. Kobrick, International Archives of Photogrammetry and Remote Sensing= Archives Internationales de Photogramm{\’e}trie et de T{\’e}l{\’e}d{\’e}tection= Internationales Archiv Der Photogrammetrie Und Fernerkundung (1986) 333–344.
LibreCat
F. Leberl, G. Domik, J. Raggam, J. Cimino, M. Kobrick, International Archives of Photogrammetry and Remote Sensing= Archives Internationales de Photogramm{\’e}trie et de T{\’e}l{\’e}d{\’e}tection= Internationales Archiv Der Photogrammetrie Und Fernerkundung (1986) 333–344.
1986 | Journal Article | LibreCat-ID: 17468
Case Studies Towards the Establishment of a Social History of Logic
V. Peckhaus, History and Philosophy of Logic 7 (1986) 185–186.
LibreCat
V. Peckhaus, History and Philosophy of Logic 7 (1986) 185–186.
1986 | Book | LibreCat-ID: 29879
Nichtlineare und adaptive Regelungssysteme
J. Böcker, I. Hartmann, C. Zwanzig, Nichtlineare und adaptive Regelungssysteme, Springer-Verlag, Berlin, 1986.
LibreCat
| DOI
| Download (ext.)
J. Böcker, I. Hartmann, C. Zwanzig, Nichtlineare und adaptive Regelungssysteme, Springer-Verlag, Berlin, 1986.
1986 | Journal Article | LibreCat-ID: 35395
Dynamics of molecular reorientations: direct determination of rotational angles from two-dimensional NMR of powders
C. Schmidt, S. Wefing, B. Blümich, H.W. Spiess, Chemical Physics Letters 130 (1986) 84–90.
LibreCat
| DOI
C. Schmidt, S. Wefing, B. Blümich, H.W. Spiess, Chemical Physics Letters 130 (1986) 84–90.
1986 | Book Chapter | LibreCat-ID: 18431
Eine empirische Untersuchung zu den schriftsprachlichen Leistungen türkischer Schulkinder
R. Beckemeyer, D. Tophinke, in: Arbeitsstelle für Sprachprobleme von Migranten (Ed.), Narrative Kompetenz. Mündliche und schriftliche Wiedergabe von Erzählstrukturen durch türkische Schulkinder in außerschulischen Lerngruppen, Manuskriptdruck, Osnabrück, 1986, pp. 66–118.
LibreCat
R. Beckemeyer, D. Tophinke, in: Arbeitsstelle für Sprachprobleme von Migranten (Ed.), Narrative Kompetenz. Mündliche und schriftliche Wiedergabe von Erzählstrukturen durch türkische Schulkinder in außerschulischen Lerngruppen, Manuskriptdruck, Osnabrück, 1986, pp. 66–118.
1986 | Book Chapter | LibreCat-ID: 27969
Geschlechtsspezifische Arbeitsteilung und technische Innovation - Neue Technologien, Frauenerwerbsarbeit und historisch-genetisches Lernen über Arbeit und Technik.
R. Bigga, R. Oberliesen, in: Neue Technologien und technisch-ökonomische Bildung., GATWU, Bad Salzdetfurth , 1986, pp. 253–270.
LibreCat
R. Bigga, R. Oberliesen, in: Neue Technologien und technisch-ökonomische Bildung., GATWU, Bad Salzdetfurth , 1986, pp. 253–270.
1986 | Journal Article | LibreCat-ID: 38491
ENDLESS POLARIZATION CONTROL EXPERIMENT WITH 3 ELEMENTS OF LIMITED BIREFRINGENCE RANGE
R. Noé, ELECTRONICS LETTERS 22 (1986) 1341–1343.
LibreCat
| DOI
R. Noé, ELECTRONICS LETTERS 22 (1986) 1341–1343.
1986 | Journal Article | LibreCat-ID: 38490
ENDLESS POLARIZATION CONTROL IN COHERENT OPTICAL COMMUNICATIONS
R. Noé, ELECTRONICS LETTERS 22 (1986) 772–773.
LibreCat
| DOI
R. Noé, ELECTRONICS LETTERS 22 (1986) 772–773.
1986 | Patent | LibreCat-ID: 40636
Optisches System mit einer Flüssigkristallzelle, Verfahren zu seinem Betrieb und seine Verwendung
G. Heppke, F. Oestreicher, H.-S. Kitzerow, M. Krumrey, (1986).
LibreCat
G. Heppke, F. Oestreicher, H.-S. Kitzerow, M. Krumrey, (1986).
1986 | Book Chapter | LibreCat-ID: 40617
Das Städtische Orchester 1921–1955
R. Grotjahn, in: Niedersächsischen Staatstheater Hannover GmbH (Ed.), Das Niedersächsische Staatsorchester 1636–1986, Schlütersche, Hannover, 1986, pp. 129–158.
LibreCat
R. Grotjahn, in: Niedersächsischen Staatstheater Hannover GmbH (Ed.), Das Niedersächsische Staatsorchester 1636–1986, Schlütersche, Hannover, 1986, pp. 129–158.
1987 | Book Chapter | LibreCat-ID: 19821
Representation independent query and update operations on propositional definite Horn formulas
H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.
LibreCat
| DOI
H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.
1987 | Journal Article | LibreCat-ID: 17820
DFG fördert an der FAU: Projekt: Fallstudien zur Begründung einer Sozialgeschichte der Logik
V. Peckhaus, C. Thiel, FAU Uni-Kurier 70/71 (1987) 49.
LibreCat
V. Peckhaus, C. Thiel, FAU Uni-Kurier 70/71 (1987) 49.
1987 | Book Chapter | LibreCat-ID: 19359
Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 74. Jg. , 1987, pp. 8–14.
LibreCat
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 74. Jg. , 1987, pp. 8–14.
1987 | Conference Paper | LibreCat-ID: 21791
Image based SAR product simulation for analysis
G. Domik, F. Leberl, in: ASPRS-ACSM, 1987.
LibreCat
G. Domik, F. Leberl, in: ASPRS-ACSM, 1987.
1987 | Conference Paper | LibreCat-ID: 7816
A Hybrid Interpreter in a Software Development Environment
G. Engels, A. Schürr, in: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), Springer, Berlin/Heidelberg, 1987, pp. 80–88.
LibreCat
G. Engels, A. Schürr, in: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), Springer, Berlin/Heidelberg, 1987, pp. 80–88.
1987 | Conference Paper | LibreCat-ID: 7817
On the Structure of Structure-Oriented Editors for Different Applications
G. Engels, M. Nagl, W. Schäfer, in: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, ACM SIGPLAN Notices, 1987, pp. 190–198.
LibreCat
G. Engels, M. Nagl, W. Schäfer, in: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, ACM SIGPLAN Notices, 1987, pp. 190–198.
1987 | Conference Paper | LibreCat-ID: 8257
Graph Grammar Engineering: A Software Specification Method
G. Engels, C. Lewerentz, W. Schäfer, in: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), Springer, Berlin/Heidelberg, 1987, pp. 186–201.
LibreCat
| DOI
G. Engels, C. Lewerentz, W. Schäfer, in: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), Springer, Berlin/Heidelberg, 1987, pp. 186–201.
1987 | Journal Article | LibreCat-ID: 16772
A Time-Space Tradeoff for Element Distinctness
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, SIAM Journal on Computing (1987) 97–99.
LibreCat
| DOI
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, SIAM Journal on Computing (1987) 97–99.
1987 | Journal Article | LibreCat-ID: 16773
The Complexity of Parallel Sorting
F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1987) 100–107.
LibreCat
| DOI
F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1987) 100–107.
1987 | Conference Paper | LibreCat-ID: 16916
Digital Rectification Method for Radar Images Applied on Huge Arrays
G. Domik, in: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, 1987, pp. 67–68.
LibreCat
G. Domik, in: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, 1987, pp. 67–68.
1987 | Conference Paper | LibreCat-ID: 11795
Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels
R. Haeb-Umbach, H. Meyr, in: Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio, 1987.
LibreCat
R. Haeb-Umbach, H. Meyr, in: Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio, 1987.
1987 | Conference Paper | LibreCat-ID: 15038
Methods and application of surface shape reconstruction from multiple SAR images
G. Domik, in: IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–1555.
LibreCat
G. Domik, in: IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–1555.
1987 | Conference Paper | LibreCat-ID: 15050
Methods and accuracy of operational digital image mapping with aircraft SAR
F. Leberl, G. Domik, B.J. Mercer, in: 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–158.
LibreCat
F. Leberl, G. Domik, B.J. Mercer, in: 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–158.