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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
2003	Nanocrystalline sol-gel Nb2O5 coatings : preparation, characterisation and application to photovoltaic cell, lithium battery and electrochromic device	Guo, Yeping
2003	Verdichtung und Kristallisation von transparenten leitfähigen oxidischen Sol-Gel-Schichten am Beispiel des Zinkoxids	Schuler, Thomas
2003	An efficient graph algorithm for dominance constraints	Althaus, Ernst; Duchier, Denys; Koller, Alexander, u.a.
2003	Arithmetic and equidistribution of measures on the sphere	Böcherer, Siegfried; Sarnak, Peter; Schulze-Pillot, Rainer
2003	Efficient acquisition, representation and rendering of light fields	Schirmacher, Hartmut
2003	Shadow Techniques for Interactive and Real-Time Applications	Brabec, Stefan
2003	Generativity and dynamic opacity for abstract types	Rossberg, Andreas
2003	A parser system for extensible dependency grammar	Debusmann, Ralph
2003	An Approach to Assertion Application via Generalised Resolution	Vo, Quoc Bao; Benzmüller, Christoph; Autexier, Serge
2003	Systems for Integrated Computation and Deduction : Interim Report of the CALCULEMUS Network	Benzmüller, Christoph
2003	Interactive Theorem Proving with Indexed Formulas	Hübner, Malte
2003	Pedagogical Rules in ActiveMath and their Pedagogical Foundations	Ullrich, Carsten
2003	Towards a Framework to Integrate Proof Search Paradigms	Autexier, Serge; Benzmüller, Christoph; Hutter, Dieter
2003	Disproving False Conjectures	Autexier, Serge; Schürmann, Carsten
2003	Les femmes dans la Résistance en France : actes du colloque international de Berlin, 8 - 10 octobre 2001, organisé par le Mémorial de la Résistance Allemande de Berlin (Gedenkstätte Deutscher Widerstand) et par le Mémorial du Maréchal Leclerc de Hauteclocque, Musée Jean Moulin, Paris	-
2003	Der Pop-out-Effekt für Ihre digitalen Veröffentlichungen im Informationsdschungel	Wahner, Ute; Weichselgartner, Erich; Herb, Ulrich
2002	Centrum für Evaluation (CEval) : Selbstdarstellung	Stockmann, Reinhard
2002	Building bridges to economy : the impact of environmental communication programs in German business	Meyer, Wolfgang
2002	Dynamic opacity for abstract types	Rossberg, Andreas
2002	First-order theory of subtyping constraints	Su, Zhendong; Aiken, Alexander; Niehren, Joachim, u.a.