Proceedings (134)

3621.
Proceedings
Reif, U.; Kobbelt, L. (Eds.): Subdivision algorithms [Sudivision Workshop at Schloss Dagstuhl]. Untitled Event, Dagstuhl, Germany, 2001. Elsevier, Amsterdam, The Netherlands (2001), 381-502 pp.
3622.
Proceedings
Schiele, B.; Sagerer, G. (Eds.): Computer Vision Systems (Lecture Notes in Computer Science, 2095). Second International Workshop on Computer Vision Systems, Vancouver, Canada, July 07, 2001 - July 08, 2001. Springer, Berlin (2001)
3623.
Proceedings
Furbach, U.; Ganzinger, H.; Hasegawa, R.; Kapur, D. (Eds.): Deduction. Untitled Event, Wadern/Dagstuhl, Germany, February 28, 1999 - March 05, 1999. IBFI, Wadern, Germany (2000), 24 pp.
3624.
Proceedings
Girod, B.; Greiner, G.; Niemann, H.; Seidel, H.-P. (Eds.): Proceedings of Vision, Modeling and Visualization 2000. 5th International Fall Workshop on Vision, Modeling and Visualization, Saarbrücken, Germany, November 22, 2000 - November 24, 2000. Akademische Verlagsgesellschaft Aka, Berlin, Germany (2000)
3625.
Proceedings
Mehlhorn, K.; Snelting, G. (Eds.): Informatik 2000: Neue Horizonte im neuen Jahrhundert, 30. Jahrestagung der Gesellschaft für Informatik. 30. Jahrestagung der Gesellschaft für Informatik, Berlin, Germany, September 19, 2000 - September 22, 2000. Springer, Berlin, Germany (2000), 205 pp.
3626.
Proceedings
Ganzinger, H. (Ed.): 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 pp.
3627.
Proceedings
Ganzinger, H.; McAllester, D.; Voronkov, A. (Eds.): 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 pp.
3628.
Proceedings
Girod, B.; Niemann, H.; Seidel, H.-P. (Eds.): Proceedings of Vision, Modeling and Visualization 1999. Untitled Event, Erlangen, Germany, 1999. Akademische Verlagsgesellschaft Aka, Berlin, Germany (1999), ? pp.
3629.
Proceedings
Kim, M.-S.; Seidel, H.-P. (Eds.): Proceedings of Pacific Graphics 1999. Untitled Event, Seoul, Korea, October 05, 1999 - October 07, 1999. IEEE, Los Alamitos, USA (1999), ? pp.
3630.
Proceedings
Mehlhorn, K. (Ed.): Fundamentals - Foundations of Computer Science. Österreichische Computer Gesellschaft (OCG) / Austrian Computer Society, Vienna, Austria and Budapest, Hungary (1998), 110 pp.
3631.
Proceedings
Weydert, E.; Brewka, G.; Witteveen, C. (Eds.): Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97). Untitled Event, Saarbrücken, Germany, 1997. Max-Planck-Institut für Informatik, Saarbrücken, Germany (1997), 182 pp.
3632.
Proceedings
Claus, V.; Hopf, J.; Schwefel, H.-P. (Eds.): Evolutionary Algorithms and their Application. Untitled Event, Schloß Dagstuhl, Wadern, March 25, 1996 - March 29, 1996. IBFI, Wadern (1996), 31 pp.
3633.
Proceedings
Ganzinger, H. (Ed.): Rewriting Techniques and Applications, 7th International Conference, RTA-96. Untitled Event, Rutgers University, New Brunswick, NJ, USA, 1996. Springer, Berlin, Germany (1996), 435 pp.
3634.
Proceedings
Podelski, A. (Ed.): Constraint Programming: Basics and Trends (Lecture Notes in Computer Science, 910). 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16, 1994 - May 20, 1994. Springer, Berlin, Germany (1995), 328 pp.
3635.
Proceedings
Gabbay, D. M.; Ohlbach, H. J. (Eds.): Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic. Untitled Event, Bonn, Germany, 1994. Springer, Berlin, Germany (1994), 546 pp.
3636.
Proceedings
van Leeuwen, J.; Mehlhorn, K.; Reps, T. (Eds.): Report on the Dagstuhl-Seminar on Incremental Computation and Dynamic Algorithms. Dagstuhl-Seminar on Incremental Computation and Dynamic Algorithms, Wadern, Germany, May 02, 1994 - May 06, 1994. Schloss Dagstuhl, Wadern (1994)
3637.
Proceedings
Mehlhorn, K.; Trajan, R. E. (Eds.): Effiziente Algorithmen. Workshop Effiziente Algorithmen, Oberwolfach, Germany, August 04, 1991 - August 10, 1991. Mathematisches Forschungsinstitut, Oberwolfach, Germany (1991), 16 pp.
3638.
Proceedings
Mehlhorn, K. (Ed.): Proceedings of the Fifth Annual Symposium on Computational Geometry 1989 (SCG '89). SCG 1989, Saarbrücken, June 05, 1989 - June 07, 1989. ACM, Saarbruchen, FRG (1989), 401 pp.
3639.
Proceedings
Makedon, F.; Mehlhorn, K.; Papatheodorou, T. S.; Spirakis, P. G. (Eds.): VLSI Algorithms and Architectures (Lecture Notes in Compter Science, 319). AWOC 1988, Loutraki, Greece, June 08, 1988 - July 01, 1988. Springer, Berlin, Germany (1988), 328 pp.
3640.
Proceedings
Albrecht, A.; Jung, H.; Mehlhorn, K. (Eds.): Parallel Algorithms and Architectures (Lecture Notes in Computer Science, 269). International Workshop on Parallel Algorithms and Architectures, Suhl, FRG, May 27, 1987 - May 30, 1987. Springer, Berlin (1987), 205 pp.
Go to Editor View