Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Goldsmith, J.; Mundhenk, M.
Complexity issues in Markov decision processesProceedings of the 13th Conference on Computational Complexity. IEEE Press 1998 S. 272 - 280
Jukna, S.; Zák, S.
Complexity: - On Branching Programs With Bounded UncertaintyLecture notes in computer science. Bd. 1443. Berlin: Springer 1998 S. 259 - 270
Seidl, H.; Sørensen, M.H.
Constraints to stop deforestationScience of computer programming. Bd. 32. H. 1. Amsterdam [u.a.]: Elsevier 1998 S. 73 - 108
Slobodová, Anna; Meinel, Christoph
Contributed Papers - Sample Method for Minimization of OBDDsLecture notes in computer science. Bd. 1521. Berlin: Springer 1998 S. 419 - 428
Baum, L.; Geyer, L.; Molter, G. et al.
Development Process - Architecture-Centric Software Development Based on Extended Design SpacesLecture notes in computer science. Bd. 1429. Berlin: Springer 1998 S. 197 - 204
Baum, Dieter
Developments in matrix analytical performance assessmentTrier: FB 4, Mathematik-Informatik, Univ. 1998 138 S. (Trierer Forschungsberichte ; 98-04)
Görg, H. - J.; Meinel, C.
Digitale Signaturen schaffen Sicherheit auf der Datenautobahn - Public-Key-Verfahren als Ausgangspunkt für gesetzgeberische InitiativenManagement und Krankenhaus. Bd. Management und Krankenhaus. 1998 S. 8 - 9
Görg, H. - J.; Meinel, C.
Digitale Signaturen schaffen Sicherheit auf der Datenautobahn - Sicherheitsaspekte im Organisationsablauf von Trust Center DienstleitungenManagement und Krankenhaus. Bd. Management und Krankenhaus. 1998 S. 77 - 78
Meinel, Christoph
Do we really need common variable orders for synthesizing OBDDs?Trier: Univ., Mathematik/Informatik 1998 6 S. (Trierer Forschungsberichte ; Nr. 98-29)
Baum, L.; Becker, M.; Geyer, G. et al.
Driving the Composition of Runtime Platforms by Architectural KnowledgeProc. of the 1998 SIGOPS European Workshop, 7-10 Sept. 1998, Sintra, Portugal. 1998