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
R. Wanka, Paralleles Sortieren auf mehrdimensionalen Gittern. Universität Paderborn, 1994.
LibreCat | Files available
 

1994 | Conference Paper | LibreCat-ID: 2452
J. Simon, “Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors,” in Parallele Datenverarbeitung aktuell: TAT ’94, Aachen, 1994, pp. 38–45.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3263
A. Rensink and H. Wehrheim, “Weak Sequential Composition in Process Algebras,” in {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 3264
H. Wehrheim, “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, 1994, pp. 247--266.
LibreCat
 

1994 | Book | LibreCat-ID: 3333
H. Kleine Büning and T. Lettmann, Aussagenlogik - Deduktion und Algorithmen. Teubner, 1994.
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 3068
T. Gries, 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, vol. 213/1, pp. 64–84, 1994.
LibreCat
 

1994 | Book | LibreCat-ID: 17303
B. Fuchssteiner et al., MuPAD: Multi Processing Algebra Data Tool; Tutorial. Basel-Boston-Berlin: Birkhäuser, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17305
K. Morisse and G. Oevel, “MuPAD - new developments and their applications,” in Computer Algebra in Science and Engineering, World Scientific, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 17480
V. Peckhaus, “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, 1994, vol. 236, pp. 311–323.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17481
V. Peckhaus, “Von Nelson zu Reichenbach. Kurt Grelling in Göttingen und Berlin,” in Hans Reichenbach und die Berliner Gruppe, L. Danneberg, A. Kamlah, and L. Schäfer, Eds. Braunschweig/Wiesbaden: Friedr. Vieweg & Sohn, 1994, pp. 53–73.
LibreCat
 

Filters and Search Terms

year=1994

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed