Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen
Publikationen
Ergebnisse pro Seite:  10

Meinel, C.; Slobodová, A.

A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams

Lecture 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 Structures

Formal 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 Computations

Proc. of Euro-Par'97, Passau, Aug. 26-28, 1997. Springer 1997


Czap, H.; Reiter, J.; Krallmann, H.

Architektur zur informationstechnologischen Unterstützung von Kooperationen

Krallmann, 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 System

Klar, 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 signatures

Trier: Univ., Fachbereich Mathematik, Informatik 1997 12 S. (Forschungsbericht ; 97-15)


Czap, H.; Bergmann, R.; Wilke, W.

CBR as a Means for Developing Adaptive Buisiness Systems

Bergmann, 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