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.

13667 Publications


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 | Book | LibreCat-ID: 17302
MuPAD: Multi Processing Algebra Data Tool; Benutzerhandbuch; MuPAD Version 1.1
B. Fuchssteiner, W. Wiwianka, K. Gottheil, A. Kemper, O. Kluge, K. Morisse, H. Naundorf, G. Oevel, T. Schulze, MuPAD: Multi Processing Algebra Data Tool; Benutzerhandbuch; MuPAD Version 1.1, Birkhäuser, Basel-Boston-Berlin, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 1657 LibreCat
 

1993 | Book | LibreCat-ID: 19148
Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 7. Aufzeichnungen. Vermischte Schriften. Text und Kommentar (Edition)
N.O. Eke, N. Oellers, K.J. Skrodzki, H. Steinecke, Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 7. Aufzeichnungen. Vermischte Schriften. Text und Kommentar (Edition), Deuticke, Klett-Cotta, Wien, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 16633
Normal forms for linear Hamiltonian vector fields commuting with the action of a compact Lie group
I. Melbourne, M. Dellnitz, Mathematical Proceedings of the Cambridge Philosophical Society (1993) 235–268.
LibreCat | DOI
 

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 | 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: 19814
On the restricted equivalence for subclasses of propositional logic
A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics and Applications (1993) 327–340.
LibreCat | DOI
 

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 | Book (Editor) | LibreCat-ID: 17477
Parallel Architectures and Their Efficient Use
F. Meyer auf der Heide, B. Monien, A.L. Rosenberg, eds., Parallel Architectures and Their Efficient Use, Springer, Berlin, Heidelberg, 1993.
LibreCat | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: Default

Export / Embed