Wang, Y.: Randomness, Stochasticity, and Approximation. Theory of Computing Systems 32, S. 517 - 529 (1999)

Weidenbach, C.: SPASS V0.95TPTP. Journal of Automated Reasoning 23 (1), S. 21 - 21 (1999)

Weikum, G.: Review - Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce. ACM SIGMOD Digital Review 1 (1999)

Weikum, G.; König, A. C.; Kraiss, A.; Sinnwell, M.: Towards Self-Tuning Memory Management for Data Servers. IEEE Data(Base) Engineering Bulletin 22 (2), S. 3 - 11 (1999)

Westermann, R.; Kobbelt, L.; Ertl, T.: Real-time Exploration of Regular Volume Data by Adaptive Reconstruction of Iso-Surfaces. The Visual Computer 15 (2), S. 100 - 111 (1999)

Zeilfelder, F.: Strong unicity of best uniform approximation from periodic spline spaces. Journal of Approximation Theory 99 (2), S. 1 - 29 (1999)

Mehlhorn, K.; Näher, S.: LEDA: a platform for combinatorial and geometric computing. Cambridge University Press, Cambridge, MA (1999), 1018 S.

Basin, D. A.; Krieg-Brückner, B.: Formalization of the Development Process. In: Algebraic foundations of systems specification, S. 521 - 562 (Hg. Astesiano, E.; Kreowski, H.-J.; Krieg-Brückner, B.). Springer, Berlin, Germany (1999)

Bozzano, M.; Delzanno, G.; Martelli, M.; Mascardi, V.; Zini, F.: Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics. In: The Logic Programming Paradigm: a 25-Year Perspective, S. 5 - 32 (Hg. Apt, K.; Marek, V. W.; Truszczynski, M.; Warren, D. S.). Springer, Berlin, Germany (1999)

Mutzel, P.; Eades, P.: Graph Drawing Algorithms. In: Algorithms & Theory of Computation Handbook, S. 9 - 1-9-26 (Hg. Atallah, M. J.). CRC, Boca Raton, USA (1999)

Nonnengart, A.; Szalas, A.: A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory. In: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa (Hg. Orlowska, E.). Springer, Berlin, Germany (1999)

Starner, T.; Schiele, B.; Bradley, R.; Oliver, N.; Pentland, A.; Jebara, T.; Weaver, J.: Augmented Realities Integrating User and Physical Models. In: Augmented Reality: Placing Artificial Objects in Real Scenes, S. 73 - 79. Peters, Natick, Mass. (1999)

van der Torre, L. W. N.; Tan, Y.-H.: An update semantics for deontic reasoning. In: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science, S. 73 - 90 (Hg. McNamara, P.; Prakken, H.). IOS Press, Amsterdam, the Netherlands (1999)

van der Torre, L. W. N.; Tan, Y.-H.: Contextual Deontic Logic: violation contexts and factual defeasibility. In: Formal Aspects in Context, S. 173 - 192 (Hg. Cavalcanti, M.). Kluwer, Dordrecht, The Netherlands (1999)

Ganzinger, H. (Hg.): Proceedings of the 16th International Conference on Automated Deduction (CADE-16) (Lecture Notes in Artificial Intelligence, 1632). Untitled Event, Trento, Italy, 1999. Springer, Berlin, Germany (1999), 443 S.

Ganzinger, H.; McAllester, D.; Voronkov, A. (Hg.): Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99) (Lecture Notes in Computer Science, 1705). Untitled Event, Tbilisi, Georgia, 1999. Springer, Berlin, Germany (1999), 397 S.

Girod, B.; Niemann, H.; Seidel, H.-P. (Hg.): Proceedings of Vision, Modeling and Visualization 1999. Untitled Event, Erlangen, Germany, 1999. Akademische Verlagsgesellschaft Aka, Berlin, Germany (1999), ? S.

Kim, M.-S.; Seidel, H.-P. (Hg.): Proceedings of Pacific Graphics 1999. Untitled Event, Seoul, Korea, 05. Oktober 1999 - 07. Oktober 1999. IEEE, Los Alamitos, USA (1999), ? S.

Agarwal, P.; Arge, L.; Brodal, G. S.; Vitter, J. S.: I/O-Efficient Dynamic Point Location in Monotone Subdivisions. In: Proceedings of the 10th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-99), S. 11 - 20. Untitled Event, Baltimore, USA, 17. Januar 1999 - 19. Januar 1999. ACM, New York, USA (1999)

Albers, S.; Arora, S.; Khanna, S.: Page replacement for general caching problems. In: Proceedings of the 10th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-99), S. 31 - 40. Untitled Event, Baltimore, USA, 1999. ACM, New York, USA (1999)