Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Stuckenschmidt, Heiner; J. Timm, Ingo; Schröder, Jörg
cosap - Bilanz eines studentischen KI-Projektes.KI. Bd. 11. H. 3. 1997 S. 42 - 46
Nehmer, J.; Sturm, P.; Baentsch, M. et al.
Customization of system software for large-scale embedded applicationsComputer communications. Bd. 20. H. 3. Amsterdam: Elsevier 1997 S. 189 - 196
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.Journal of Automata, Languages and Combinatorics. Bd. 2. H. 2. 1997 S. 79 - 92
Fernau, Henning; Stephan, Frank
How Powerful is Unconditional Transfer? - When UT meets AC.Developments in Language Theory. 1997 S. 249 - 260