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.

13107 Publications


1994 | Book Chapter | LibreCat-ID: 16549
Symmetry of Attractors and the Karhunen-Loève Decomposition
M. Dellnitz, M. Golubitsky, M. Nicol, in: Trends and Perspectives in Applied Mathematics, New York, NY, 1994.
LibreCat | DOI
 

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
 

1994 | Conference Paper | LibreCat-ID: 13059
Synthese schneller selbsttestbarer Steuerwerke
S. Hellebrand, H.-J. Wunderlich, in: {Tagungsband Der GI/GME/ITG-Fachtagung \& Rechnergestützter Entwurf Und Architektur Mikroelektronischer Systeme}, Oberwiesenthal, Informatik Xpress 4, TU Chemnitz Zwickau, Germany, 1994, pp. 3–11.
LibreCat
 

1994 | Report | LibreCat-ID: 13024
Synthesis for Off-line Testability
S. Hellebrand, A. Juergensen, H.-J. Wunderlich, Synthesis for Off-Line Testability, University of Siegen, Germany, 1994.
LibreCat
 

1994 | Misc | LibreCat-ID: 13085
Synthesis for Testability - the ARCHIMEDES Approach
S. Hellebrand, J. Paulo Teixeira, H.-J. Wunderlich, Synthesis for Testability - the ARCHIMEDES Approach, 1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA, 1994.
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 | Book Chapter | LibreCat-ID: 17837
The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic [Abstract]
V. Peckhaus, in: Abstract of Papers Presented to the American Mathematical Society, 1994, p. 447.
LibreCat
 

1994 | Dissertation | LibreCat-ID: 15497
Tommaso Campanella. Eine Philosophie der Ähnlichkeit
R. Hagengruber, Tommaso Campanella. Eine Philosophie der Ähnlichkeit, Academia, Sankt Augustin, 1994.
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 | Conference Paper | LibreCat-ID: 16819
User Modeling for Adaptive Visualization Systems
G. Domik-Kienegger, B. Gutkauf, in: R. Daniel Bergeron, A. E. Kaufman (Eds.), Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994, IEEE Computer Society, 1994, pp. 217–223.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title

Export / Embed