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.
157 Publications
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: 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: 3263
Weak Sequential Composition in Process Algebras
A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
LibreCat
| DOI
A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
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 | LibreCat-ID: 3333
Aussagenlogik - Deduktion und Algorithmen
H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.
LibreCat
| DOI
H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.
1994 | Journal Article | LibreCat-ID: 3068
Endogenous Growth and R&D Models - A Critical Appraisal of Recent Developments
T. Gries, C. Hentschel, B. Wigger, Jahrbücher Für Nationalökonomie Und Statistik 213/1 (1994) 64–84.
LibreCat
T. Gries, C. Hentschel, B. Wigger, Jahrbücher Für Nationalökonomie Und Statistik 213/1 (1994) 64–84.
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 | 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 | 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: 17481
Von Nelson zu Reichenbach. Kurt Grelling in Göttingen und Berlin
V. Peckhaus, in: L. Danneberg, A. Kamlah, L. Schäfer (Eds.), Hans Reichenbach und die Berliner Gruppe, Friedr. Vieweg & Sohn, Braunschweig/Wiesbaden, 1994, pp. 53–73.
LibreCat
V. Peckhaus, in: L. Danneberg, A. Kamlah, L. Schäfer (Eds.), Hans Reichenbach und die Berliner Gruppe, Friedr. Vieweg & Sohn, Braunschweig/Wiesbaden, 1994, pp. 53–73.