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
Wanka, R. (1994). Paralleles Sortieren auf mehrdimensionalen Gittern. Universität Paderborn.
LibreCat
| Files available
1994 | Conference Paper | LibreCat-ID: 2452
Simon, J. (1994). Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors. In Parallele Datenverarbeitung aktuell: TAT ’94 (pp. 38–45). Amsterdam: IOS Press.
LibreCat
1994 | Conference Paper | LibreCat-ID: 3263
Rensink, A., & Wehrheim, H. (1994). Weak Sequential Composition in Process Algebras. In B. Jonsson & J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings (pp. 226--241). https://doi.org/10.1007/978-3-540-48654-1_20
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 3264
Wehrheim, H. (1994). Parametric Action Refinement. 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 (pp. 247--266).
LibreCat
1994 | Book | LibreCat-ID: 3333
Kleine Büning, H., & Lettmann, T. (1994). Aussagenlogik - Deduktion und Algorithmen. Teubner. https://doi.org/10.1007/978-3-322-84809-3
LibreCat
| DOI
1994 | Journal Article | LibreCat-ID: 3068
Gries, T., Hentschel, C., & Wigger, B. (1994). Endogenous Growth and R&D Models - A Critical Appraisal of Recent Developments. Jahrbücher Für Nationalökonomie Und Statistik, 213/1, 64–84.
LibreCat
1994 | Book | LibreCat-ID: 17303
Fuchssteiner, B., Gottheil, K., Kemper, A., Kluge, O., Morisse, K., Naundorf, H., … Wiwianka, W. (1994). MuPAD: Multi Processing Algebra Data Tool; Tutorial. Basel-Boston-Berlin: Birkhäuser.
LibreCat
1994 | Book Chapter | LibreCat-ID: 17305
Morisse, K., & Oevel, G. (1994). MuPAD - new developments and their applications. In Computer Algebra in Science and Engineering. World Scientific.
LibreCat
1994 | Conference Paper | LibreCat-ID: 17480
Peckhaus, V. (1994). Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908). 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 (Vol. 236, pp. 311–323). Dordrecht/Boston/London: Kluwer.
LibreCat
1994 | Book Chapter | LibreCat-ID: 17481
Peckhaus, V. (1994). Von Nelson zu Reichenbach. Kurt Grelling in Göttingen und Berlin. In L. Danneberg, A. Kamlah, & L. Schäfer (Eds.), Hans Reichenbach und die Berliner Gruppe (pp. 53–73). Braunschweig/Wiesbaden: Friedr. Vieweg & Sohn.
LibreCat