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, Rolf. Paralleles Sortieren Auf Mehrdimensionalen Gittern. Universität Paderborn, 1994.
LibreCat
| Files available
1994 | Conference Paper | LibreCat-ID: 2452
Simon, Jens. “Leistung Eines Parallelrechners Auf Basis Des PowerPC-Prozessors.” In Parallele Datenverarbeitung Aktuell: TAT ’94, 38–45. Transputer and Occam Engineering Series. Amsterdam: IOS Press, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 3263
Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process Algebras.” In {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, edited by Bengt Jonsson and Joachim Parrow, 226--241. Lecture Notes in Computer Science, 1994. https://doi.org/10.1007/978-3-540-48654-1_20.
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 3264
Wehrheim, Heike. “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, edited by Ernst{-}R{\"{u}}diger Olderog, 247--266. {IFIP} Transactions, 1994.
LibreCat
1994 | Book | LibreCat-ID: 3333
Kleine Büning, Hans, and Theodor Lettmann. Aussagenlogik - Deduktion und Algorithmen. Leitfäden und Monographien der Informatik. Teubner, 1994. https://doi.org/10.1007/978-3-322-84809-3.
LibreCat
| DOI
1994 | Journal Article | LibreCat-ID: 3068
Gries, Thomas, C. Hentschel, and B. Wigger. “Endogenous Growth and R&D Models - A Critical Appraisal of Recent Developments.” Jahrbücher Für Nationalökonomie Und Statistik 213/1 (1994): 64–84.
LibreCat
1994 | Book | LibreCat-ID: 17303
Fuchssteiner, Benno, K. Gottheil, A. Kemper, O. Kluge, K. Morisse, H. Naundorf, Gudrun Oevel, T. Schulze, and W. Wiwianka. MuPAD: Multi Processing Algebra Data Tool; Tutorial. Basel-Boston-Berlin: Birkhäuser, 1994.
LibreCat
1994 | Book Chapter | LibreCat-ID: 17305
Morisse, K., and Gudrun Oevel. “MuPAD - New Developments and Their Applications.” In Computer Algebra in Science and Engineering. World Scientific, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 17480
Peckhaus, Volker. “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, edited by Dag Prawitz and Dag Westerståhl, 236:311–23. Synthese Library. Dordrecht/Boston/London: Kluwer, 1994.
LibreCat
1994 | Book Chapter | LibreCat-ID: 17481
Peckhaus, Volker. “Von Nelson zu Reichenbach. Kurt Grelling in Göttingen und Berlin.” In Hans Reichenbach und die Berliner Gruppe, edited by Lutz Danneberg, Andreas Kamlah, and Lothar Schäfer, 53–73. Braunschweig/Wiesbaden: Friedr. Vieweg & Sohn, 1994.
LibreCat