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.

13544 Publications


1994 | Book Review | LibreCat-ID: 17774
V. Peckhaus, “Erik Heijerman/H. Walter Schmitz (eds.), Significs, Mathematics and Semiotics. The Signific Movement in the Netherlands. Proceedings of the International Conference Bonn 19–21 November 1986, Nodus Publicationen: Münster 1991 (= Materialien zur Geschichte der Sprachwissenschaft und der Semiotik; 5),” Modern Logic, vol. 4. pp. 449–454, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17837
V. Peckhaus, “The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic [Abstract],” in Abstract of Papers Presented to the American Mathematical Society, vol. 15, Nr. 5 (August 1994), 1994, p. 447.
LibreCat
 

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

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

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

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

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

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

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

1994 | Misc | LibreCat-ID: 13083
S. Venkataraman, J. Rajski, S. Hellebrand, and 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.
LibreCat
 

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

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

1994 | Journal Article | LibreCat-ID: 1662
D. Krimphove, “Die Mitwirkungsrechte des Betriebsrates in der Betriebsverfassung,” Arbeit und Recht , no. Heft 4, p. 215 ff., 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3264
H. Wehrheim, “Parametric Action Refinement,” in 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.
LibreCat
 

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

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

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

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

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

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

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed