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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1995	A Colored Version of the lambda-Calculus	Hutter, Dieter; Kohlhase, Michael
1995	Adaptation of Declaratively Represented Methods in Proof Planning	Huang, Xiaorong; Kerber, Manfred; Cheikhrouhou, Lassaad
1995	Confluence without Termination via Parallel Critical Pairs	Gramlich, Bernhard
1994	Die Rolle der Schule in der Informationsgesellschaft	Zimmermann, Harald H.
1994	Sintese de catalisadores tipo V2O5/TiO2 e MoO3/TiO2 pelo processo sol-gel com secagem supercrítica	Florentino, Ariovaldo O.; Bozano, Dorotéia F.; Aegerter, Michel A.
1994	Geração de máscaras em escala nano e micrométrica por litografia eletrônica	Silva, Marcelo A. P.; Nastaushev, Y.; Basmaji, P., u.a.
1994	Comportamento fotoeletroquímico de filmes sol-gel de TiO2 e Nb2O5	De Albuquerque Barros Filho, D.; Mâcedo, M. A.; Florentino, Ariovaldo O., u.a.
1994	Structural analysis of SiO2 gel films by high energy electron diffraction	Ohsaki, Hisashi; Miura, K.; Imai, A., u.a.
1994	Deposição de filmes protetores finos de SiO2 pelo método sol-gel sobre aço inoxidável 316L	De Lima Neto, Pedro; Fernandes, Mauro R.; Avaca, Luis A., u.a.
1994	Sol-gel coatings for optoelectronic devices	Avellaneda, César O.; Macedo, Marcelo A.; Florentino, Ariovaldo O., u.a.
1994	Frequency upconversion of orange light into blue light in Pr3+-doped fluoroindate glasses	De Araújo, Luís E. E.; Gomes, A. S. L.; De Araújo, Cid B., u.a.
1994	Sol-gel ZrO2 coatings for chemical protection of stainless steel	De Lima Neto, Pedro; Atik, Mohamed; Avaca, Luis A., u.a.
1994	Perspektiven digitaler Information und Kommunikation	Zimmermann, Harald H.
1994	Zur Struktur und Nutzung von Klassifikationen im Bibliothekswesen (am Beispiel der Klassifikation der Deutschen Bibliothek und der sog. Niederländischen Basisklassifikation)	Zimmermann, Harald H.
1994	Cristalização de vidros InF3-SrF2 e InF3-BaF2	Diniz, R. E. O.; Ribeiro, Sidney J. L.; Messaddeq, Younes, u.a.
1994	On the test complexity of VLSI-systems	Wu, Hongzhong
1994	A mechanization of sorted higher-order logic based on the resolution principle	Kohlhase, Michael
1994	Bildungstechnologie als Herausforderung an die Campusuniversität	Harms, Ilse
1994	Zu Struktur und dynamischem Verhalten zweier Bis[lithio(trimethylsilyl)amino]silane	Veith, Michael; Zimmer, Michael; Kosse, Peer
1994	New metal-ceramic composites grown by metalorganic chemical vapour deposition	Veith, Michael; Kneip, S. J.