en
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
Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers
J. Cuny, H. Ehrig, G. Engels, G. Rozenberg, eds., Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers, Springer, Berlin/Heidelberg, 1994.
LibreCat
| DOI
J. Cuny, H. Ehrig, G. Engels, G. Rozenberg, eds., Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers, Springer, Berlin/Heidelberg, 1994.
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.
LibreCat
N.O. Eke, in: H. Steinecke (Ed.), Deutsche Dichter des 20. Jahrhunderts, Erich Schmidt, Berlin, 1994, pp. 726–741.
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.
LibreCat
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 | 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).
LibreCat
R. Haeb-Umbach, H. Ney, IEEE Transactions on Speech and Audio Processing (1994).
1994 | Conference Paper | LibreCat-ID: 17487
Leibniz als Identifikationsfigur der britischen Logiker des 19. Jahrhunderts
V. Peckhaus, in: Gottfried-Wilhelm-Leibniz-Gesellschaft (Ed.), VI. Internationalen Leibniz-Kongreß. Vorträge I. Teil, Hannover, 18.–22.7.1994, Hannover, 1994, pp. 589–596.
LibreCat
V. Peckhaus, in: Gottfried-Wilhelm-Leibniz-Gesellschaft (Ed.), VI. Internationalen Leibniz-Kongreß. Vorträge I. Teil, Hannover, 18.–22.7.1994, Hannover, 1994, pp. 589–596.
1994 | Conference Paper | LibreCat-ID: 2452
Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors
J. Simon, in: Parallele Datenverarbeitung Aktuell: TAT ’94, IOS Press, Amsterdam, 1994, pp. 38–45.
LibreCat
J. Simon, in: Parallele Datenverarbeitung Aktuell: TAT ’94, IOS Press, Amsterdam, 1994, pp. 38–45.
1994 | Conference Paper | LibreCat-ID: 17480
Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908)
V. Peckhaus, in: D. Prawitz, D. Westerståhl (Eds.), Logic and Philosophy of Science in Uppsala. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science, Kluwer, Dordrecht/Boston/London, 1994, pp. 311–323.
LibreCat
V. Peckhaus, in: D. Prawitz, D. Westerståhl (Eds.), Logic and Philosophy of Science in Uppsala. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science, Kluwer, Dordrecht/Boston/London, 1994, pp. 311–323.
1994 | Book Chapter | LibreCat-ID: 17305
MuPAD - new developments and their applications
K. Morisse, G. Oevel, in: Computer Algebra in Science and Engineering, World Scientific, 1994.
LibreCat
K. Morisse, G. Oevel, in: Computer Algebra in Science and Engineering, World Scientific, 1994.
1994 | Book | LibreCat-ID: 17303
MuPAD: Multi Processing Algebra Data Tool; Tutorial
B. Fuchssteiner, K. Gottheil, A. Kemper, O. Kluge, K. Morisse, H. Naundorf, G. Oevel, T. Schulze, W. Wiwianka, MuPAD: Multi Processing Algebra Data Tool; Tutorial, Birkhäuser, Basel-Boston-Berlin, 1994.
LibreCat
B. Fuchssteiner, K. Gottheil, A. Kemper, O. Kluge, K. Morisse, H. Naundorf, G. Oevel, T. Schulze, W. Wiwianka, MuPAD: Multi Processing Algebra Data Tool; Tutorial, Birkhäuser, Basel-Boston-Berlin, 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.
LibreCat
G. Engels, G. Kappel, in: Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), Elsevier, 1994, pp. 434–441.
1994 | Report | LibreCat-ID: 8193
Observable or Invocable Behaviour - You Have to Choose
J. Ebert, G. Engels, Observable or Invocable Behaviour - You Have to Choose, Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
J. Ebert, G. Engels, Observable or Invocable Behaviour - You Have to Choose, Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
1994 | Conference Paper | LibreCat-ID: 8092
Optical Modelling, Simulation and Improvement of PV Module Encapsulation
S. Krauter, R. Hanitsch, P. Campbell, S.R. Wenham, in: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201, 1994.
LibreCat
S. Krauter, R. Hanitsch, P. Campbell, S.R. Wenham, in: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201, 1994.
1994 | Book Chapter | LibreCat-ID: 15509
Parallelen um den Punkt zwischen Campanella und Leibniz
R. Hagengruber, in: A. Heinekamp, I. Hein, Stiftung Niedersachsen (Eds.), Leibniz und Europa, 1994, pp. 309–315.
LibreCat
R. Hagengruber, in: A. Heinekamp, I. Hein, Stiftung Niedersachsen (Eds.), Leibniz und Europa, 1994, pp. 309–315.
1994 | Dissertation | LibreCat-ID: 19624
Paralleles Sortieren auf mehrdimensionalen Gittern
R. Wanka, Paralleles Sortieren Auf Mehrdimensionalen Gittern, Universität Paderborn, 1994.
LibreCat
| Files available
R. Wanka, Paralleles Sortieren Auf Mehrdimensionalen Gittern, Universität Paderborn, 1994.
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.
LibreCat
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 Chapter | LibreCat-ID: 15608
Platons "Timaios", eine Anleitung zur wissenschaftlichen Hypothesenbildung?
R. Hagengruber, in: B. Fritscher, G. Brey (Eds.), Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften, Springer, New York, 1994, pp. 75–96.
LibreCat
R. Hagengruber, in: B. Fritscher, G. Brey (Eds.), Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften, Springer, New York, 1994, pp. 75–96.
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.
LibreCat
H. Ney, V. Steinbeiss, X.L. Aubert, R. Haeb-Umbach, in: Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich, 1994.
1994 | Journal Article | LibreCat-ID: 17841
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)
V. Peckhaus, History of Logic Newsletter 13 (1994) 2–3.
LibreCat
V. Peckhaus, History of Logic Newsletter 13 (1994) 2–3.
1994 | Conference Paper | LibreCat-ID: 8095
Simulation of Thermal and Optical Performance of PV Modules
S. Krauter, R. Hanitsch, S.R. Wenham, in: Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994, 1994.
LibreCat
S. Krauter, R. Hanitsch, S.R. Wenham, in: Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994, 1994.
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.
LibreCat
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.