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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1990	Preparation and characterization of thin films of TiO2PbO and TiO2Bi2O3 compositions	La Serra, Eliane R.; Charbouillot, Y.; Baudry, Paul, u.a.
1990	Adiabatic nucleation and crystallization of gels	Meyer, Erich; Zanotto, Edgar D.; Aegerter, Michel A.
1990	Textural characteristics of silica aerogels from SAXS experiments	Lours, Thierry; Zarzycki, Jerzy; Craievich, Aldo F., u.a.
1990	Dip-coated TiO2CeO2 films as transparent counter-electrode for transmissive electrochromic devices	Baudry, Paul; Rodrigues, A. C. M.; Aegerter, Michel A., u.a.
1990	1300-K compressive properties of a reaction milled NiAl-AlN composite	Whittenberger, J. Daniel; Arzt, Eduard; Luton, Michael J.
1990	Electron diffraction analysis of the structure of SiO2 gel-film	Ohsaki, Hisashi; Aegerter, Michel A.; Shichiri, Takaki
1990	An OPTRAN-generated front-end for Ada	Keller, Paul; Maas, Thomas
1990	Polymorphic type inference for a simple object oriented programming language with state	Hense, Andreas V.
1990	Can a maximum flow be computed in o(nm) time?	Cheriyan, Joseph; Hagerup, Torben; Mehlhorn, Kurt
1990	Semantics Based Translation Methods for Modal Logics	Ohlbach, Hans Jürgen
1990	Solving Equality Reasoning Problems with a Connection Graph Theorem Prover	Präcklein, Axel
1990	Dynamic Features of Topographical Multiset Orderings for Terms	Fettig, Roland; Müller, Jürgen; Steinbach, Joachim
1990	Parallelized QuickSort with Optimal Speedup	Powers, David M. W.
1990	Deduction Systems Based on Resolution	Eisinger, Norbert; Ohlbach, Hans Jürgen
1990	Proof Transformation with Built-in Equality Predicate	Lingenfelder, Christoph; Präcklein, Axel
1990	Goals, Issues and Directions in Machine-Learning of Natural Language and Ontology	Powers, David M. W.
1990	Compartmentalized Connection Graphs for Concurrent Logic Programming II : Parallelism, Indexing and Unification	Powers, David M. W.
1990	Presentation of Proofs in an Equational Calculus	Lingenfelder, Christoph; Präcklein, Axel
1990	Vade-mecum of Polynomial Orderings	Steinbach, Joachim; Zehnter, Michael
1990	Completion Based Inductive Theorem Proving : A Case Study in Verifying Sorting Algorithms	Gramlich, Bernhard