Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Fernau, Henning
Identification of Function Distinguishable Languages.ALT. 2000 S. 116 - 130
Seidl, Helmut; Fecht, Christian
Interprocedural analyses: a comparisonThe journal of logic programming. Bd. 43. H. 2. New York, NY: North-Holland 2000 S. 123 - 156
Fernau, Henning
k-gram Extensions of Terminal Distinguishable Languages.ICPR. 2000 S. 2125 - 2128
Mundhenk, M.; Meinel, C.
Mathematische Grundlagen der InformatikStuttgart, Leipzig: B.G.Teubner 2000
Czap, H.
Niedrige Kosten sind für den Erfolg des Krankenhauses nicht alles. Mit der Balanced Scorecard fokussiert das Krankenhaus alle seine strategischen Ziele, vom zufriedenen Patienten bis zum motivierten Mitarbeiterf&w, Führen und Wirtschaften im Krankenhaus. Bd. f&w, Führen und Wirtschaften im Krankenhaus. 2000 S. 250 - 254
Arvind, Vikraman; Köbler, Johannes; Mundhenk, Martin et al.
Nondeterministic Instance Complexity and Hard-to-Prove TautologiesLecture notes in computer science. Bd. 1770. Berlin: Springer 2000 S. 314 - 323
Mundhenk, M.
On hard instancesTheoretical Computer Science. Bd. Theoretical Computer Science. Elsevier 2000 S. 301 - 311
Fernau, Henning; M. Sempere, José
Permutations and Control Sets for Learning Non-regular Language Families.ICGI. 2000 S. 75 - 88
Czap, H.
Policy-Agents as Personal Assistants: The Case of Hospital SchedulingDCSCW 2000 Fachtagung: Verteiltes Arbeiten - Arbeit der Zukunft. Bd. DCSCW 2000 Fachtagung: Verteiltes Arbeiten - Arbeit der Zukunft. München. 2000
Seidl, Helmut; Steffen, Bernhard
Regular Papers - Constraint-Based Inter-Procedural Analysis of Parallel ProgramsLecture notes in computer science. Bd. 1782. Berlin: Springer 2000 S. 351 - 365