Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Ley, M.; Jarke, M.; Pasedach, K. et al.
Die Trierer Informatik-BibliographieJarke, M.; Pasedach, K.; Pohl, K. (Hrsg). Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung der Gesellschaft für Informatik. Springer 1997 S. 257 - 266
Ley, Michael
Die Trierer Informatik-Bibliographie DBLP.GI Jahrestagung. 1997 S. 257 - 266
Seidl, H.; Fecht, C.
Disjunctive Completion Is Not "Optimal"International Logic Programming Symposium (ILPS). 1997 S. 408
Jukna, S.
Finite limits and monotone computations: the lower bounds criterionProceedings 12th Annual Conference on Computational Complexity. IEEE Computer Society 1997 S. 302 - 313
Meinel, Christoph; Somenzi, Fabio; Theobald, Thorsten
Function decomposition and synthesis using linear siftingTrier: Univ., FB Mathematik Informatik 1997 13 S. (Trierer Forschungsberichte ; 97-14)
Meinel, C.; Theobald, T.
Geordnete binaere Entscheidungsgraphen und ihre Bedeutung im rechnergestuetzten Entwurf hochintegrierter Schaltkreise.Informatik-Spektrum. Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. Bd. 20. H. 5. Berlin: Springer 1997 S. 268 - 275
Fernau, Henning
Graph-Controlled Grammars as Language Acceptors.J. Autom. Lang. Comb. Bd. 2. H. 2. 1997 S. 79 - 91
Fernau, Henning; Stephan, Frank
How Powerful is Unconditional Transfer? - When UT meets AC.Developments in Language Theory. 1997 S. 249 - 260
Seidl, Helmut; Fecht, Christian
Interprocedural analysis based on PDAsTrier: Univ., Mathematik, Informatik 1997 0 S. (Trierer Forschungsberichte ; 97-06)
Czap, H.; ctt, ctt
Kostenrechnung und Leistungsplanung im Krankenhausctt (Hrsg). 10 Jahre ctt, Festschrift der Caritas Trägergesellschaft Trier e.V. 1997 S. 88 - 97