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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
2001	Schlußfolgerungen für "Design for X" (DfX) aus der Perspektive eines neuen Ansatzes zur Modellierung von Produkten und Produktentwicklungsprozessen	Weber, Christian; Werner, Horst
2001	Hochvariable Verbundwerkstoffe in der Natur am Beispiel der Arthropodenkutikula	Weich, Isabell; Weber, Christian; Kesel, Antonia B., u.a.
2001	Mathematik	Berger, Robert
2001	Formal verification of pipelined microprocessors	Kröning, Daniel
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