Abonnieren Sie diese Sammlung, um täglich per E-Mail über Neuerscheinungen informiert zu werden.

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
2001	A combinatorial approach to orthogonal placement problems	Klau, Gunnar Werner
2001	Alexsa - Algorithm Explanation by Shape Analysis - Extensions to the TVLA System	Bieber, Ronald
2001	Constraint propagation in Mozart	Müller, Tobias
2001	Polyrepräsentation, Relevanz-Approximation und aktives Lernen im Vektorraummodell des Information-Retrievals	Bachelier, Günter
2001	On the influence of metal alkoxides on the epoxide ring-opening and condensation reactions of 3-glycidoxypropyltrimethoxysilane	Nacken, Manfred; Hoebbel, Dagobert; Schmidt, Helmut K.
2001	User-adaptive proof explanation	Fiedler, Armin
2001	Omega-ants: A blackboard architecture for the integration of reasoning techniques into proof planning	Sorge, Volker
2001	The constraint language for lambda structures	Egg, Markus; Koller, Alexander; Niehren, Joachim
2001	Beta reduction constraints	Bodirsky, Manuel; Erk, Katrin; Koller, Alexander, u.a.
2001	When do bounds and domain propagation lead to the same search space	Schulte, Christian; Stuckey, Peter J.
2001	Non-structural subtype entailment in automata theory	Niehren, Joachim; Priesnitz, Tim
2001	Query estimation techniques in database systems	König, Arnd Christian
2001	Underspecified beta reduction	Bodirsky, Manuel; Erk, Katrin; Koller, Alexander, u.a.
2001	Geschäftsprozessorientiertes Wissensmanagement : Workshop im Rahmen der 1. Konferenz Professionelles Wissensmanagement - Erfahrungen und Visionen ; Kongresshaus Baden-Baden 14.-16. März 2001	Müller, Heinz-Jürgen; Abecker, Andreas; Hinkelmann, Knut, u.a.
2001	The Dirichlet problem in weight spaces	Apushkinskaya, Darya; Nazarov, Alexander
2001	Constructing function fields with many rational places via the Carlitz module	Gebhardt, Max
2001	FRODO: a framework for distributed organizational memories : Milestone M1; requirements and system architecture	Abecker, Andreas; Bernardi, Ansgar; Van Elst, Ludger, u.a.
2001	Spherical contractions and interpolation problems on the unit ball	Eschmeier, Jörg; Putinar, Mihai
2001	Anderson's double complex and gamma monomials for rational function fields	Bae, Sunghan; Gekeler, Ernst-Ulrich; Kang, Pyung-Lyun, u.a.
2001	A priori gradient estimates for bounded generalized solutions of a class of variational problems with linear growth	Bildhauer, Michael