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
@book{Wanka_1994, place={Universität Paderborn}, title={Paralleles Sortieren auf mehrdimensionalen Gittern}, author={Wanka, Rolf}, year={1994} }
LibreCat
| Files available
1994 | Conference Paper | LibreCat-ID: 2452
@inproceedings{Simon_1994, place={Amsterdam}, series={Transputer and Occam Engineering Series}, title={Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors}, booktitle={Parallele Datenverarbeitung aktuell: TAT ’94}, publisher={IOS Press}, author={Simon, Jens}, year={1994}, pages={38–45}, collection={Transputer and Occam Engineering Series} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 3263
@inproceedings{Rensink_Wehrheim_1994, series={Lecture Notes in Computer Science}, title={Weak Sequential Composition in Process Algebras}, DOI={10.1007/978-3-540-48654-1_20}, booktitle={{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings}, author={Rensink, Arend and Wehrheim, Heike}, editor={Jonsson, Bengt and Parrow, JoachimEditors}, year={1994}, pages={226--241}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 3264
@inproceedings{Wehrheim_1994, series={{IFIP} Transactions}, title={Parametric Action Refinement}, booktitle={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}, author={Wehrheim, Heike}, editor={Olderog, Ernst{-}R{\"{u}}digerEditor}, year={1994}, pages={247--266}, collection={{IFIP} Transactions} }
LibreCat
1994 | Book | LibreCat-ID: 3333
@book{Kleine Büning_Lettmann_1994, series={Leitfäden und Monographien der Informatik}, title={Aussagenlogik - Deduktion und Algorithmen}, DOI={10.1007/978-3-322-84809-3}, publisher={Teubner}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1994}, collection={Leitfäden und Monographien der Informatik} }
LibreCat
| DOI
1994 | Journal Article | LibreCat-ID: 3068
@article{Gries_Hentschel_Wigger_1994, title={Endogenous Growth and R&D Models - A Critical Appraisal of Recent Developments}, volume={213/1}, journal={Jahrbücher für Nationalökonomie und Statistik}, author={Gries, Thomas and Hentschel, C. and Wigger, B.}, year={1994}, pages={64–84} }
LibreCat
1994 | Book | LibreCat-ID: 17303
@book{Fuchssteiner_Gottheil_Kemper_Kluge_Morisse_Naundorf_Oevel_Schulze_Wiwianka_1994, place={Basel-Boston-Berlin}, title={MuPAD: Multi Processing Algebra Data Tool; Tutorial}, publisher={Birkhäuser}, author={Fuchssteiner, Benno and Gottheil, K. and Kemper, A. and Kluge, O. and Morisse, K. and Naundorf, H. and Oevel, Gudrun and Schulze, T. and Wiwianka, W.}, year={1994} }
LibreCat
1994 | Book Chapter | LibreCat-ID: 17305
@inbook{Morisse_Oevel_1994, title={MuPAD - new developments and their applications}, booktitle={Computer Algebra in Science and Engineering}, publisher={World Scientific}, author={Morisse, K. and Oevel, Gudrun}, year={1994} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 17480
@inproceedings{Peckhaus_1994, place={Dordrecht/Boston/London}, series={Synthese Library}, title={Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908)}, volume={236}, booktitle={Logic and Philosophy of Science in Uppsala. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science}, publisher={Kluwer}, author={Peckhaus, Volker}, editor={Prawitz, Dag and Westerståhl, DagEditors}, year={1994}, pages={311–323}, collection={Synthese Library} }
LibreCat
1994 | Book Chapter | LibreCat-ID: 17481
@inbook{Peckhaus_1994, place={Braunschweig/Wiesbaden}, title={Von Nelson zu Reichenbach. Kurt Grelling in Göttingen und Berlin}, booktitle={Hans Reichenbach und die Berliner Gruppe}, publisher={Friedr. Vieweg & Sohn}, author={Peckhaus, Volker}, editor={Danneberg, Lutz and Kamlah, Andreas and Schäfer, LotharEditors}, year={1994}, pages={53–73} }
LibreCat