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.

12750 Publications


1993 | Journal Article | LibreCat-ID: 16634
The structure of symmetric attractors
I. Melbourne, M. Dellnitz, M. Golubitsky, Archive for Rational Mechanics and Analysis (1993) 75–98.
LibreCat | DOI
 

1993 | Book Chapter | LibreCat-ID: 17478
Kurt Grelling und der Logische Empirismus
V. Peckhaus, in: R. Haller, F. Stadler (Eds.), Wien—Berlin—Prag. Der Aufstieg der wissenschaftlichen Philosophie. Zentenarien Rudolf Carnap–Hans Reichenbach–Edgar Zilsel, Hölder-Pichler-Tempsky, Wien, 1993, pp. 362–385.
LibreCat
 
 

1993 | Book Chapter | LibreCat-ID: 19431
„Deutschland ortlos“. Dekonstruktionen des Nationalen bei Heiner Müller
N.O. Eke, in: H. Scheuer (Ed.), Dichter und ihre Nation, Suhrkamp, Frankfurt a. M., 1993, pp. 490–506.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 13857
Chemisorption of aluminium on GaAs(110)
W.G. Schmidt, G.P. Srivastava, Journal of Physics: Condensed Matter 5 (1993) 9025–9036.
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 1657 LibreCat
 

1993 | Conference Paper | LibreCat-ID: 16731
Simple, efficient shared memory simulations
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’93, 1993.
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 16729
An Optimal Parallel Dictionary
M. Dietzfelbinger, F. Meyer auf der Heide, Information and Computation (1993) 196–217.
LibreCat | DOI
 

1993 | Report | LibreCat-ID: 2453
Benutzung virtueller Topologien unter PARIX
J. Simon, Benutzung Virtueller Topologien Unter PARIX, Paderborn Center for Parallel Computing, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 3045
On Kummer theory and the number of roots of unity in radical extensions of Q
J. Blömer, On Kummer Theory and the Number of Roots of Unity in Radical Extensions of Q, Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 3069
The Dynamics of Upgrading or how to catch-up
T. Gries, B. Wigger, Economia Internationale 46 (1993) 3–13.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 7826
Integrationsaspekte bei verteilter Software-Entwicklung
G. Engels, A.A. Verrijn-Stuart, in: Fortschritt-Berichte VDI, VDI Verlag, 1993, pp. 45–53.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8090
Optical and Thermal Parameters of PV-Module Encapsulation Improving Output Power
S. Krauter, R. Hanitsch, in: Proceedings of the ISES Solar World Congress 1993, Budapest (Ungarn), 23.–27. August 1993, Band 3, S. 249–254, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 8191
Towards a Module Concept for Graph Transformation Systems
H. Ehrig, G. Engels, Towards a Module Concept for Graph Transformation Systems, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 17013
The equivariant Darboux theorem
M. Dellnitz, Lectures in Applied Mathematics 29 (1993) 163–169.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 17479
OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report)
U. Kastens, F. Meyer auf der Heide, A. Wachsmann, F. Wichmann, in: Proc. 3rd PASA Workshop, PARS Mitteilungen, 1993, pp. 50–55.
LibreCat
 

1993 | Book (Editor) | LibreCat-ID: 19090
Richard Beer-Hofmann (1866-1945). Studien zu seinem Werk
N.O. Eke, G. Helmes, eds., Richard Beer-Hofmann (1866-1945). Studien zu seinem Werk, Königshausen & Neumann, Würzburg, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 11718 LibreCat | Download (ext.)
 

1993 | Journal Article | LibreCat-ID: 11749
Design and use of speech recognition algorithms for a mobile radio telephone
S. Dobler, D. Geller, R. Haeb-Umbach, P. Meyer, H. Ney, H.W. Ruehl, Speech Communication (1993).
LibreCat
 

1993 | Misc | LibreCat-ID: 13081
Effiziente Erzeugung deterministischer Muster im Selbsttest
S. Hellebrand, S. Tarnick, J. Rajski, B. Courtois, Effiziente Erzeugung Deterministischer Muster Im Selbsttest, 5th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Holzhau, Germany, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 13466
Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40)
M. Platzner, C. Steger, Mikroelektronik (1993).
LibreCat
 

1993 | Journal Article | LibreCat-ID: 13858
AB initio calculation of the atomic and electronic structure for Sb adsorbed on GaAs(110)
W.G. Schmidt, B. Wenzien, F. Bechstedt, Czechoslovak Journal of Physics 43 (1993) 1003–1007.
LibreCat | DOI
 

1993 | Book Chapter | LibreCat-ID: 15570
Punkt und Mathematik in der Metaphysik des Tommaso Campanella
R. Hagengruber, in: T. Albertini (Ed.), Verum et Factum. Beiträge zur Geistesgeschichte und Philosophie der Renaissance. Festschrift zum 60. Geburtstag von Stephan Otto, Peter Lang, Frankfurt u.a., 1993, pp. 505–514.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 1658
Europäisches Arbeitsrecht
D. Krimphove, Europäische Zeitschrift Für Wirtschaftsrecht (EuZW) (1993) 244 ff.
LibreCat
 

1993 | Book Chapter | LibreCat-ID: 16732
Capabilities and complexity of computations with integer division
K. Lürwer-Brüggemeier, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1993.
LibreCat | DOI
 

1993 | Report | LibreCat-ID: 2454
Virtual Topology Library for PARIX
M. Röttger, J. Simon, U.-P. Schroeder, Virtual Topology Library for PARIX, Paderborn Center for Parallel Computing, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8089
Calculating the Influence of Skylight-Polarization on the Transmission of Encapsulations of PV-Modules
S. Krauter, R. Hanitsch, in: Proceedings of the Cairo International Conference of Renewable Energy Sources, Kairo (Ägypten), 30. Dezember 1992 – 2. Januar 1993, 1993.
LibreCat
 

1993 | Book | LibreCat-ID: 8091
Betriebsmodell der optischen, thermischen und elektrischen Parameter von PV-Modulen
S. Krauter, Betriebsmodell Der Optischen, Thermischen Und Elektrischen Parameter von PV-Modulen, Verlag Köster, Berlin, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 8192
Abstracts COMPUGRAPH II Workshop
G. Engels, G. Rozenberg, Abstracts COMPUGRAPH II Workshop, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8262
Modular, Visual Specifications of Software Processes
G. Engels, L. Groenewegen, in: Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), IEEE Computer Society, Washington, DC, USA, 1993, pp. 66–68.
LibreCat
 
 
 

1993 | Conference Abstract | LibreCat-ID: 17831
The Development of Ernst Schröder’s Attitude towards Logic [Abstract]
V. Peckhaus, in: M. Hormigon, E. Ausejo, J. Dhombres (Eds.), XIXth International Congress of History of Science. 22–29 August 1993 Zaragoza (Spain). Book of Abstracts Symposia, o.O.u.J. (Zaragoza), 1993.
LibreCat
 

1993 | Conference Abstract | LibreCat-ID: 17829
Leibniz’ ,Mathesis universalis‘ und die Mathematiker des 19. Jahrhunderts [Abstract]
V. Peckhaus, in: M. Toepell (Ed.), Fachsektion Geschichte der Mathematik der Deutschen Mathematiker-Vereinigung. Sektionstagung vom 22. bis 26. März 1993 in Wuppertal, München, 1993, pp. 30–31.
LibreCat
 

1993 | Book Chapter | LibreCat-ID: 18430
Loser und fester Anschluß. Versuch der Neubewertung einer abgelegten Kategorie
U. Maas, D. Tophinke, in: J. Schmidt-Radefeld, A. Harder (Eds.), Sprachwandel und Sprachgeschichte. FS für Helmut Lüdtke, Narr, Tübingen, 1993, pp. 133–151.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 19046
Fotografie: Ivor Grattan-Guinness (Erlangen, 21.2.1989)
V. Peckhaus, The Mathematical Intelligencer 15 (1993).
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13013
Synthesis of Self-Testable Controllers
S. Hellebrand, H.-J. Wunderlich, in: {European Design and Test Conference (EDAC/ETC/EUROASIC)}, {IEEE (Comput. Soc. Press)}, Paris, France, 1994, pp. 580–585.
LibreCat | DOI
 

1994 | Report | LibreCat-ID: 13025
Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time
S. Hellebrand, A. Juergensen, A. Stroele, H.-J. Wunderlich, Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time, University of Siegen, Germany, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13854
First principles calculations of interface phonons of an Epitaxial Sb monolayer on GaAs(110) and InP(110)
W.G. Schmidt, G. Srivastava, Solid State Communications 89 (1994) 345–348.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 15608
Platons "Timaios", eine Anleitung zur wissenschaftlichen Hypothesenbildung?
R. Hagengruber, in: B. Fritscher, G. Brey (Eds.), Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften, Springer, New York, 1994, pp. 75–96.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 15610
Die Theorie des Punktes aus der Philosophie der Ähnlichkeit bei Tommaso Campanella
R. Hagengruber, in: V. Gómez Pin (Ed.), Actas del primer Congreso Internacional de Ontología : categorías e inteligibilidad global : el proyecto ontológico a través de la reflexión contemporánea, Bellaterra, Barcelona, 1994, pp. 101–107.
LibreCat | Files available
 

1994 | Journal Article | LibreCat-ID: 1659 LibreCat
 

1994 | Journal Article | LibreCat-ID: 1661
Europejskie prawo pracy
D. Krimphove, Monitor Prawniczy (1994) 42 ff.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3263
Weak Sequential Composition in Process Algebras
A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 7513
SOCCA: Specifications of Coordinated and Cooperative Activities
G. Engels, L. Groenewegen, in: Software Process Modelling and Technology, Research Studies Press, Taunton, 1994, pp. 71–102.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7828
Structural and Behavioural Views on OMT-Classes
J. Ebert, G. Engels, in: Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), Springer, Berlin/Heidelberg, 1994, pp. 142–157.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective
G. Engels, H. Ehrig, in: Proceedings Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, Departament de Ci, 1994.
LibreCat
 

1994 | Report | LibreCat-ID: 8193
Observable or Invocable Behaviour - You Have to Choose
J. Ebert, G. Engels, Observable or Invocable Behaviour - You Have to Choose, Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8092
Optical Modelling, Simulation and Improvement of PV Module Encapsulation
S. Krauter, R. Hanitsch, P. Campbell, S.R. Wenham, in: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8263
Syntax and Semantics of Hybrid Database Languages
M. Andries, G. Engels, in: Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), Springer, Berlin/Heidelberg, 1994, pp. 19–36.
LibreCat | DOI
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: Default

Export / Embed