FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften
Universität Trier
- 0651/201-2640
- 0651/201-3927
Meinel, Christoph; Stangier, Christian
Speeding up symbolic model checking by accelerating dynamic variable reorderingTrier: Univ., Mathematik/Informatik 1999 13 S. (Trierer Forschungsberichte ; 99-28)
Tichatschke, R.; Kaplan, A.
Stable solution of variational inequalities with composed monotone operatorsLecture Notes in Economics and Mathematical Systems. Bd. Lecture Notes in Economics and Mathematical Systems. Springer 1999 S. 111 - 136
Morvan, M.; Meinel, C.; Krob, D.
STACS ´98 - 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 1998, ProceedingsHeidelberg: Springer-Verlag 1999
Schertler, W.
Strategiecontrolling. Lehrbuch der Strategischen UnternehmensführungMünchen/Wien: Oldenbourg 1999
von Auer, Ludwig
Streitpunkt Inflationsmessung: Statistiker contra ÖkonomenU. Kück und E. Elsner (Hrsg). Internationale Fachtagung (27./28. Mai 1999). Aufl. Rostock. 1999 S. 59 - 63
Goerke, Laszlo; Holler, Manfred J.
Strike ballots as a commitment deviceJournal of institutional and theoretical economics. JITE. Bd. 155. H. 3. Tübingen: Mohr Siebeck 1999 S. 487 - 504
Junkes, Joachim; Sadowski, Dieter
Technischer Fortschritt und Beschäftigungsentwicklung - eine Möglichkeit der Nutzung von Mikrodaten aus der Industrieberichterstattung Rheinland-Pfalz unter Berücksichtigung der GeheimhaltungspflichtMöglichkeiten einer wissenschaftlichen Nutzung von Unternehmensdaten aus der amtlichen Statistik. - Stuttgart : Metzler-Poeschel, ISBN 3-8246-0596-1. 1999 S. 45 - 54
Hofmann, J.
The BMAP/G/1 queue with level dependent arrivals. An overview, Select Proceedings of the 4th INFORMS Telecommunications Conference, Boca Raton, 1998Special Issue of Telecommunication Systems. 1999
Mundhenk, Martin
The complexity of optimal small policiesTrier: Univ., Mathematik/Informatik 1999 15 S. (Trierer Forschungsberichte ; Nr. 99-22)
Keßler, Christoph W.; Seidl, Helmut; Smith, Craig H.
The SPARAMAT approach to automatic comprehension of sparse matrix computationsTrier: Univ., Mathematik/Informatik 1999 21 S. (Trierer Forschungsberichte ; Nr. 99-10)