Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
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
Czap, H.; Klar, R.; Opitz, O.
Case Based Software Engineering CBSE. The Example of a Store Control SystemKlar, R.; Opitz, O. (Hrsg). Classification and Knowledge Organization. Proceedings der 20. Jahrestagung der Ges. für Klassifikation. Berlin, Heidelberg u. a.: H. H. Bock, O. Opitz, M. Schader Managing Editors 1997 S. 245 - 252
Meinel, Christoph; Sack, Harald
Case-study : manipulating -OBDDs by means of signaturesTrier: Univ., Fachbereich Mathematik, Informatik 1997 12 S. (Forschungsbericht ; 97-15)
Czap, H.; Bergmann, R.; Wilke, W.
CBR as a Means for Developing Adaptive Buisiness SystemsBergmann, R.; Wilke, W. (Hrsg). Fifth German Workshop on Case-Based Reasoning - Foundations, Systems, and Applications. Centre f. Learn. Syst. and Applications. Dep. of Comp. Science, Univ. Kaisersl. 1997 S. 75 - 84
Fernau, Henning; Holzer, Markus
Conditional Context-Free Languages of Finite Index.New Trends in Formal Languages. 1997 S. 10 - 26