Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Bern, J.; Meinel, C.; Sack, H.
Electronic Colloquia: Idea and PracticeProc. Int. Symposium of SIGDOC ´98. 1998 S. 113 - 119
Meinel, C.
Elektronisches Publizieren im World Wide Web - Eine neue Dimension in der wissenschaftlichen KommunikationForschung und Lehre, Nr. 3. Bd. Forschung und Lehre, Nr. 3. 1998 S. 122 - 125
Jukna, S.; Beame, P.; Buss, S.
Exponential Lower bounds for semantic resolutionBeame, P.; Buss, S. (Hrsg). Feasible Arithmetics and Length of Proofs. American Mathematical Society 1998 S. 63 - 172
Keßler, Christoph W.; Seidl, Helmut
ForkLight: a control-synchronous parallel programming languageTrier: Univ., Mathematik/Informatik 1998 18 S. (Trierer Forschungsberichte ; Nr. 98,13)
Czap, Hans
Herausforderungen an die Wissensorganisation: Visualisierung, multimediale Dokumente, InternetstrukturenWürzburg: Ergon-Verl. 1998 0 S. (Fortschritte in der Wissensorganisation ; 5)
Fernau, Henning; Staiger, Ludwig
IFS and Control Languages.MFCS. 1998 S. 740 - 750
Meinel, Christoph; Stangier, Christian
Increasing efficiency of symbolic model checking by accelerating dynamic variable reorderingTrier: Univ., Mathematik/Informatik 1998 9 S. (Trierer Forschungsberichte ; Nr. 98-23)
Meinel, C.; Engel, T.
Institut für Telematik (Trier) - angewandte Forschung nach Fraunhofer IdealIntensive care medicine. Bd. 24. H. 6. Berlin: Springer 1998 S. 539 - 541
Engel, T.; Heuer, A.; Meinel, C. et al.
Interface for Navigation and Database-Querying via WWWProc. ISI ´98. 1998
Neumann, Andreas; Seidl, Helmut
Locating matches of tree patterns in forestsTrier: Univ., Mathematik/Informatik 1998 18 S. (Trierer Forschungsberichte ; 98-08)