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.

17245 Publications


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.

1994 | Book Chapter | LibreCat-ID: 17488
Hilbert’s Axiomatic Programme and Philosophy
V. Peckhaus, in: E. Knobloch, D.E. Rowe (Eds.), The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities, Academic Press, Boston u. a., 1994, pp. 91–112.

1994 | Book Chapter | LibreCat-ID: 19415
Heiner Müller
N.O. Eke, in: H. Steinecke (Ed.), Deutsche Dichter des 20. Jahrhunderts, Erich Schmidt, Berlin, 1994, pp. 726–741.

1994 | Dissertation | LibreCat-ID: 19624
Paralleles Sortieren auf mehrdimensionalen Gittern
R. Wanka, Paralleles Sortieren Auf Mehrdimensionalen Gittern, Universität Paderborn, 1994.
LibreCat | Files available

1994 | Book | LibreCat-ID: 3333
Aussagenlogik - Deduktion und Algorithmen
H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.
LibreCat | DOI

1994 | Journal Article | LibreCat-ID: 11796
Improvements in beam search for 10000-word continuous-speech recognition
R. Haeb-Umbach, H. Ney, IEEE Transactions on Speech and Audio Processing (1994).

1994 | Conference Paper | LibreCat-ID: 11878
Progress in Large-Vocabulary, Continuous Speech Recognition
H. Ney, V. Steinbeiss, X.L. Aubert, R. Haeb-Umbach, in: Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich, 1994.

1994 | Conference Paper | LibreCat-ID: 13014
An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures
S. Hellebrand, H.-J. Wunderlich, in: {ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)}, {IEEE}, San Jose, CA, USA, 1994, pp. 110–116.
LibreCat | DOI

1994 | Misc | LibreCat-ID: 13083
Effiziente Testsatzkodierung für Prüfpfad-basierte Selbsttestarchitekturen
S. Venkataraman, J. Rajski, S. Hellebrand, S. Tarnick, Effiziente Testsatzkodierung Für Prüfpfad-Basierte Selbsttestarchitekturen, 6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands, 1994.

1994 | Conference Paper | LibreCat-ID: 13468
Experimental Evaluation of Multi-DSP Architectures in High Performance Applications
M. Platzner, C. Steger, R. Weiss, in: Proceedings of the 7th Mediterranean Electrotechnical Conference, IEEE Press, 1994.

1994 | Journal Article | LibreCat-ID: 13855
Coverage-dependent bonding of Sb on GaAs (110)
W.G. Schmidt, B. Wenzien, F. Bechstedt, Surface Science 307–309 (1994) 235–240.
LibreCat | DOI

1994 | Journal Article | LibreCat-ID: 1662
Die Mitwirkungsrechte des Betriebsrates in der Betriebsverfassung
D. Krimphove, Arbeit Und Recht (1994) 215 ff.

1994 | Conference Paper | LibreCat-ID: 3264
Parametric Action Refinement
H. Wehrheim, in: E.-}R{\"{u}}diger Olderog (Ed.), Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994, 1994, pp. 247--266.

1994 | Book | LibreCat-ID: 6528
Windatlas für das PESAG-Versorgungsgebiet
J. Bendfeld, A. Ernst, E. Ortjohann, Windatlas für das PESAG-Versorgungsgebiet, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, Februar 1994, 1994.

1994 | Conference Paper | LibreCat-ID: 6530
Flächendeckende Windpotentialbestimmung in einer Binnenlandregion mit ausgeprägter Orographie
J. Bendfeld, A. Ernst, E. Ortjohann, B. Langrock, N. Scholz, in: Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland, 1994.

1994 | Conference (Editor) | LibreCat-ID: 7797
Fundamentals of Object-Oriented Languages, Systems, and Methods
H.-D. Ehrich, G. Engels, J. Paredaens, J. Wegner, eds., Fundamentals of Object-Oriented Languages, Systems, and Methods, Schloss Dagstuhl, Leibniz Center for Informatics, 1994.

1994 | Conference Paper | LibreCat-ID: 7829
Object-Oriented System Development: Will the New Approach Solve Old Problems?
G. Engels, G. Kappel, in: Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), Elsevier, 1994, pp. 434–441.

1994 | Conference Paper | LibreCat-ID: 8093
Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation
P. Strauss, K. Onneken, S. Krauter, R. Hanitsch, in: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197., 1994.

1994 | Conference Paper | LibreCat-ID: 8264
Specification of coordinated behaviour by SOCCA
G. Engels, L. Groenewegen, in: Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), Springer, Berlin/Heidelberg, 1994, pp. 128–151.
LibreCat | DOI

Filters and Search Terms

year<=2030 AND year>=1980


Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: Default

Export / Embed