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