Kleine Büning, H., &; Lettmann, T. (1994). Aussagenlogik - Deduktion und Algorithmen. Teubner.https://doi.org/10.1007/978-3-322-84809-3 
LibreCat: /record/3333
DOI: 10.1007/978-3-322-84809-3

Peckhaus, V. (1994). Hilbert’s Axiomatic Programme and Philosophy. In E. Knobloch &; D. E. Rowe (Eds.), The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities (pp. 91–112). Boston u. a.: Academic Press.
LibreCat: /record/17488

Cuny, J., Ehrig, H., Engels, G., &; Rozenberg, G. (Eds.). (1994). Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers (Vol. 1073). Berlin/Heidelberg: Springer.http://dx.doi.org/10.1007/3-540-61228-9 
LibreCat: /record/7798
DOI: http://dx.doi.org/10.1007/3-540-61228-9

Thoben, W., Appelrath, H.-J., Rettig, J., &; Sauer, S. (1994). Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister. In Proceedings of the conference on Medizin und Information, Biometrie und Epidemiologie (GMDS 1994), Dresden (Germany) (pp. 88–90). München: MMV Medizin Verlag.
LibreCat: /record/7827

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

Strauss, P., Onneken, K., Krauter, S., &; Hanitsch, R. (1994). 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.
LibreCat: /record/8093

Krauter, S., &; Hanitsch, R. (1994). Einfluß optischer und thermischer Parameter auf den Tageswirkungsgrad von photovoltaischen Modulen. In Neuntes Internationales Sonnenforum, Berlin (Deutschland), 28. Juni – 1. Juli 1994, S. 495–502.
LibreCat: /record/8094

Krauter, S., Hanitsch, R., &; Wenham, S. R. (1994). Simulation of Thermal and Optical Performance of PV Modules. In Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994.
LibreCat: /record/8095

Krauter, S. (1994). Actual Optical and Thermal Performance of PV-Modules. In Proceedings of the 1st World Conference on Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Waikoloa, Hawaii (USA), 5.–9. Dezember 1994, S. 734–737.
LibreCat: /record/8096

Andries, M., &; Engels, G. (1994). Syntax and Semantics of Hybrid Database Languages. In Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany) (Vol. 776, pp. 19–36). Berlin/Heidelberg: Springer.http://dx.doi.org/10.1007/3-540-57787-4_2 
LibreCat: /record/8263
DOI: http://dx.doi.org/10.1007/3-540-57787-4_2

Engels, G., &; Groenewegen, L. (1994). Specification of coordinated behaviour by SOCCA. In Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France) (pp. 128–151). Berlin/Heidelberg: Springer.http://dx.doi.org/10.1007/3-540-57739-4_19 
LibreCat: /record/8264
DOI: http://dx.doi.org/10.1007/3-540-57739-4_19

Bendfeld, J., Ernst, A., &; Ortjohann, E. (1994). Windatlas für das PESAG-Versorgungsgebiet. Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, Februar 1994.
LibreCat: /record/6528

Bendfeld, J., Ernst, A., Ortjohann, E., Langrock, B., &; Scholz, N. (1994). Flächendeckende Windpotentialbestimmung in einer Binnenlandregion mit ausgeprägter Orographie. In Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland. Hamm.
LibreCat: /record/6530

Haeb-Umbach, R., &; Ney, H. (1994). Improvements in beam search for 10000-word continuous-speech recognition. IEEE Transactions on Speech and Audio Processing.
LibreCat: /record/11796

Ney, H., Steinbeiss, V., Aubert, X. L., &; Haeb-Umbach, R. (1994). Progress in Large-Vocabulary, Continuous Speech Recognition. In Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich.
LibreCat: /record/11878

Ney, H., Steinbeiss, V., Haeb-Umbach, R., &; Tran, B. H. (1994). An Overview of the Philips Research System for Large Vocabulary Continuous Speech Recognition. International Journal on Pattern Recognition and Artificial Intelligence.
LibreCat: /record/11879

Hellebrand, S., Juergensen, A., &; Wunderlich, H.-J. (1994). Synthesis for Off-line Testability. University of Siegen, Germany.
LibreCat: /record/13024

Hellebrand, S., Juergensen, A., Stroele, A., &; Wunderlich, H.-J. (1994). Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time. University of Siegen, Germany.
LibreCat: /record/13025

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

Hellebrand, S., &; Wunderlich, H.-J. (1994). Ein Verfahren zur testfreundlichen Steuerwerkssynthese. 6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands.
LibreCat: /record/13084