Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Meinel, Christoph; Wagner, Arno
The WWW meets EDA : usability evaluation of OBDD-heuristics via the internetTrier: Univ., Mathematik/Informatik 1998 6 S. (Trierer Forschungsberichte ; Nr. 98-27)
Bergmann, Ralph; Wilke, Wolfgang
Towards a New Formal Model of Transformational Adaptation in Case-Based Reasoning.ECAI. 1998 S. 53 - 57
Czap, H.
Transparente Kosten im AmtDer Gemeinderat. Bd. Der Gemeinderat. 1998
Damm, Carsten
A note on spectral lower bound arguments for decision treesTrier: Univ., Fachbereich Mathematik, Informatik 1997 3 S. (Forschungsbericht ; 97-21)
Meinel, C.; Slobodová, A.
A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision DiagramsLecture notes in computer science. Bd. 1200. Berlin: Springer 1997 S. 213 - 224
Meinel, Christoph; Slobodová, Anna
A Unifying Theoretical Background for Some BDD-Based Data StructuresFormal methods in system design. an international journal. Bd. 11. H. 3. Dordrecht [u.a.]: Springer 1997 S. 223 - 238
Fernau, Henning; Freund, Rudolf
Accepting Array Grammars with Control Mechanisms.New Trends in Formal Languages. 1997 S. 95 - 118
Keßler, Christoph W.; Keßler, C. W.
Applicability of Program Comprehension to Sparse Matrix ComputationsProc. of Euro-Par'97, Passau, Aug. 26-28, 1997. Springer 1997
Czap, H.; Reiter, J.; Krallmann, H.
Architektur zur informationstechnologischen Unterstützung von KooperationenKrallmann, H. (Hrsg). Wirtschaftsinformatik '97, Internationale Geschäftstätigkeit auf der Basis flexibler Organisationsstrukturen und leistungsfähiger Informationssysteme. Heidelberg. 1997 S. 199 - 209
Fernau, Henning; Holzer, Markus; Freund, Rudolf
Bounding resources in Cooperating Distributed Grammar Systems.Developments in Language Theory. 1997 S. 261 - 272