TY - BOOK ED - Hilgert, Joachim ED - Neeb, K.-H. ID - 51496 TI - Lie Semigroups and their Applications VL - 1552 ER - TY - GEN AU - Hilgert, Joachim ID - 51584 T2 - JBer. DMV TI - Corwin, L. und F.P. Greenleaf. Representations of Nilpotent Lie Groups and their Applications. (Cambridge University Press, 1990) VL - 95 ER - TY - THES AU - Wanka, Rolf ID - 19624 TI - Paralleles Sortieren auf mehrdimensionalen Gittern ER - TY - CONF AU - Simon, Jens ID - 2452 SN - 9051991959 T2 - Parallele Datenverarbeitung aktuell: TAT '94 TI - Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors ER - TY - CONF AU - Rensink, Arend AU - Wehrheim, Heike ED - Jonsson, Bengt ED - Parrow, Joachim ID - 3263 T2 - {CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings TI - Weak Sequential Composition in Process Algebras ER - TY - CONF AU - Wehrheim, Heike ED - Olderog, Ernst{-}R{\"{u}}diger ID - 3264 T2 - 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 TI - Parametric Action Refinement ER - TY - BOOK AU - Kleine Büning, Hans AU - Lettmann, Theodor ID - 3333 SN - 978-3-519-02133-9 TI - Aussagenlogik - Deduktion und Algorithmen ER - TY - JOUR AU - Gries, Thomas AU - Hentschel, C. AU - Wigger, B. ID - 3068 JF - Jahrbücher für Nationalökonomie und Statistik TI - Endogenous Growth and R&D Models - A Critical Appraisal of Recent Developments VL - 213/1 ER - TY - BOOK AU - Fuchssteiner, Benno AU - Gottheil, K. AU - Kemper, A. AU - Kluge, O. AU - Morisse, K. AU - Naundorf, H. AU - Oevel, Gudrun AU - Schulze, T. AU - Wiwianka, W. ID - 17303 TI - MuPAD: Multi Processing Algebra Data Tool; Tutorial ER - TY - CHAP AU - Morisse, K. AU - Oevel, Gudrun ID - 17305 T2 - Computer Algebra in Science and Engineering TI - MuPAD - new developments and their applications ER -