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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1995	Relations between microstructure and mechanical properties of pressureless sintered SiC	Aslan, Mesut; Nonninger, Ralph; Nass, Rüdiger, u.a.
1995	Photochromic coatings derived by sol-gel processing from epoxysilane, bisphenol-a, 1-methylimidazole and spirooxazine	Hoffmann, Bernd; Mennig, Martin; Schmidt, Helmut K., u.a.
1995	Fabrication of microlens arrays from sol-gel composites by embossing techniques	Krug, Herbert; Zeitz, Bernhard; Oliveira, Peter William de, u.a.
1995	AU-colloids containing optical active waveguides by sol-gel processing and (nonlinear) optical properties	Mennig, Martin; Becker, Ulrich; Schmitt, Mike, u.a.
1995	Chemical routes to nanostructured ceramics and composites	Schmidt, Helmut K.
1995	Sol-gel thin films for corrosion protection	Atik, Mohamed; Neto, Pedro de Lima; Avaca, Luis A., u.a.
1995	Default Reasoning about Probabilities	Jaeger, Manfred
1995	A Resolution-Based Calculus For Temporal Logics	Nonnengart, Andreas
1995	Faktorisieren mit dem Number Field Sieve	Zayer, Jörg
1995	Ein Algorithmus zur Bestimmung der Punktanzahl elliptischer Kurven über endlichen Körpern der Charakteristik größer drei	Müller, Volker
1995	Achieve complete robust path delay fault testability	Uppaluri, Prasanti; Sparmann, Uwe; Pomeranz, Irith
1995	Parameterized type expansion in the feature structure formalism TDL	Schäfer, Ulrich
1995	Randomized search trees	Seidel, Raimund; Aragon, Cecilia R.
1995	On Gröbner Bases for Two-Sided Ideals in Nilpotent Group Rings	Madlener, Klaus; Reinert, Birgit
1995	Learning proof heuristics by adapting parameters	Fuchs, Matthias
1995	A Reduction Ordering for Higher-Order Terms	Avenhaus, Jürgen; Loría-Sáenz, Carlos; Steinbach, Joachim
1995	Higher-Order Multi-Valued Resolution	Kohlhase, Michael; Scheja, Ortwin
1995	Experiments in the Heuristic Use of Past Proof Experience	Fuchs, Matthias
1995	Completion and Equational Theorem Proving using Taxonomic Constraints	Denzinger, Jörg
1995	Theorem Proving in Hierarchical Clausal Specifications	Avenhaus, Jürgen; Maldener, Klaus