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.

13543 Publications


1994 | Book Chapter | LibreCat-ID: 17837
@inbook{Peckhaus_1994, title={The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic [Abstract]}, volume={15, Nr. 5 (August 1994)}, booktitle={Abstract of Papers Presented to the American Mathematical Society}, author={Peckhaus, Volker}, year={1994}, pages={447} }
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17488
@inbook{Peckhaus_1994, place={Boston u. a.}, title={Hilbert’s Axiomatic Programme and Philosophy}, booktitle={The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities}, publisher={Academic Press}, author={Peckhaus, Volker}, editor={Knobloch, Eberhard and Rowe, David E.Editors}, year={1994}, pages={91–112} }
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 19415
@inbook{Eke_1994, place={Berlin}, title={Heiner Müller}, booktitle={Deutsche Dichter des 20. Jahrhunderts}, publisher={Erich Schmidt}, author={Eke, Norbert Otto}, editor={Steinecke, HartmutEditor}, year={1994}, pages={726–741} }
LibreCat
 

1994 | Dissertation | LibreCat-ID: 19624
@book{Wanka_1994, place={Universität Paderborn}, title={Paralleles Sortieren auf mehrdimensionalen Gittern}, author={Wanka, Rolf}, year={1994} }
LibreCat | Files available
 

1994 | Book | LibreCat-ID: 3333
@book{Kleine Büning_Lettmann_1994, series={Leitfäden und Monographien der Informatik}, title={Aussagenlogik - Deduktion und Algorithmen}, DOI={10.1007/978-3-322-84809-3}, publisher={Teubner}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1994}, collection={Leitfäden und Monographien der Informatik} }
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 11796
@article{Haeb-Umbach_Ney_1994, title={Improvements in beam search for 10000-word continuous-speech recognition}, journal={IEEE Transactions on Speech and Audio Processing}, author={Haeb-Umbach, Reinhold and Ney, Hermann}, year={1994} }
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 11878
@inproceedings{Ney_Steinbeiss_Aubert_Haeb-Umbach_1994, title={Progress in Large-Vocabulary, Continuous Speech Recognition}, booktitle={Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich}, author={Ney, Hermann and Steinbeiss, Volker and Aubert, Xavier L. and Haeb-Umbach, Reinhold}, year={1994} }
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13014
@inproceedings{Hellebrand_Wunderlich_1994, place={San Jose, CA, USA}, title={An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures}, DOI={10.1109/iccad.1994.629752}, booktitle={{ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)}}, publisher={{IEEE}}, author={Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={1994}, pages={110–116} }
LibreCat | DOI
 

1994 | Misc | LibreCat-ID: 13083
@book{Venkataraman_Rajski_Hellebrand_Tarnick_1994, place={6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands}, title={Effiziente Testsatzkodierung für Prüfpfad-basierte Selbsttestarchitekturen}, author={Venkataraman, Srikanth and Rajski, Janusz and Hellebrand, Sybille and Tarnick, Steffen}, year={1994} }
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13468
@inproceedings{Platzner_Steger_Weiss_1994, title={Experimental Evaluation of Multi-DSP Architectures in High Performance Applications}, booktitle={Proceedings of the 7th Mediterranean Electrotechnical Conference}, publisher={IEEE Press}, author={Platzner, Marco and Steger, Christian and Weiss, Reinhold}, year={1994} }
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed