Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
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)
Bergmann, Ralph; Althoff, Klaus-Dieter
Methodology for Building CBR ApplicationsLecture notes in computer science. Bd. 1400. Berlin: Springer 1998
Bergmann, Ralph; Althoff, Klaus-Dieter
Methodology for Building CBR Applications.Case-Based Reasoning Technology. 1998 S. 299 - 326
Jukna, S.; Razborov, A.
Neither reading few bits twice nor reading illegally helps muchDiscrete Applied Mathematics. Bd. Discrete Applied Mathematics. 1998 S. 223 - 238
Damm, Carsten
On alternating vs. parity communication complexityTrier: Univ., Mathematik/Informatik 1998 11 S. (Trierer Forschungsberichte ; Nr. 98-20)
Damm, Carsten
On Boolean vs. modular arithmetic for circuits and communication protocolsTrier: Univ. 1998 7 S. (Trierer Forschungsberichte ; 98-06)