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.

13542 Publications


1994 | Conference (Editor) | LibreCat-ID: 7798
J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, Eds., Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers, vol. 1073. Berlin/Heidelberg: Springer, 1994.
LibreCat | DOI
 

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 | 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 | 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: 17487
V. Peckhaus, “Leibniz als Identifikationsfigur der britischen Logiker des 19. Jahrhunderts,” in VI. Internationalen Leibniz-Kongreß. Vorträge I. Teil, Hannover, 18.–22.7.1994, Hannover, 1994, pp. 589–596.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 2452
J. Simon, “Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors,” in Parallele Datenverarbeitung aktuell: TAT ’94, Aachen, 1994, pp. 38–45.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 17480
V. Peckhaus, “Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908),” in Logic and Philosophy of Science in Uppsala. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science, 1994, vol. 236, pp. 311–323.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17305
K. Morisse and G. Oevel, “MuPAD - new developments and their applications,” in Computer Algebra in Science and Engineering, World Scientific, 1994.
LibreCat
 

1994 | Book | LibreCat-ID: 17303
B. Fuchssteiner et al., MuPAD: Multi Processing Algebra Data Tool; Tutorial. Basel-Boston-Berlin: Birkhäuser, 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 | Report | LibreCat-ID: 8193
J. Ebert and G. Engels, Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8092
S. Krauter, R. Hanitsch, P. Campbell, and S. R. Wenham, “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, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 15509
R. Hagengruber, “Parallelen um den Punkt zwischen Campanella und Leibniz,” in Leibniz und Europa, vol. 1, A. Heinekamp, I. Hein, and Stiftung Niedersachsen, Eds. 1994, pp. 309–315.
LibreCat
 

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

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 Chapter | LibreCat-ID: 15608
R. Hagengruber, “Platons ‘Timaios’, eine Anleitung zur wissenschaftlichen Hypothesenbildung?,” in Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften, vol. 13, B. Fritscher and G. Brey, Eds. New York: Springer, 1994, pp. 75–96.
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 | Journal Article | LibreCat-ID: 17841
V. Peckhaus, “Rüstow’s Thesis on Russell’s Paradox (Abdruck von ‘Alexander Rüstow’s Thesis’, Beitrag für  russell-l@mcmail.cis.mcmaster am 17. Juni 1994),” History of Logic Newsletter, vol. 13, no. September-Oktober 1994, pp. 2–3, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8095
S. Krauter, R. Hanitsch, and S. R. Wenham, “Simulation of Thermal and Optical Performance of PV Modules,” in Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994, 1994.
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
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: IEEE

Export / Embed