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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1993	Synthesis of ferroelectric perovskites through aqueous-solution techniques	Guzman, G.; Aegerter, Michel A.; Barboux, P., u.a.
1993	Corrosão em superfícies de vidros de metasilicatos de sódio e càlcio	Ziemath, Ervino C.; Aegerter, Michel A.
1993	Generation of distributed supervisors for parallel compilers	Alt, Martin; Sander, Georg; Wilhelm, Reinhard
1993	HDMS-A und OBSCURE in KORSO : die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode ; Teil 2: Schablonen zur Übersetzung eines E/R-Schemas in eine OBSCURE Spezifikation	Autexier, Serge
1993	Optical properties of pure, Nd3+-doped and Pr3+-doped fluoroindate glasses	Cardoso, C. X.; Messaddeq, Younes; Nunes, Luis A. O., u.a.
1993	Influence of coarse second phase additions on mechanical properties of NiAl	Clemens, Helmut; Rumberg, I.; Schretter, P., u.a.
1993	Determinação do perfil de tensão em filmes finos por microelipsometria	De Albuquerque Barros Filho, D.; Aegerter, Michel A.
1993	Synthesis of ferroelectric perovskites through aqueous-solution techniques	Guzman, G.; Aegerter, Michel A.; Barboux, P., u.a.
1993	Nucleation and crystallization in fluoroindate glasses	Messaddeq, Younes; Delben, A. A. S. T.; Aegerter, Michel A., u.a.
1993	Eine Grundlegung der Average-Case Komlexitätstheorie	Biehl, Ingrid
1993	Sicherheit kryptographischer Protokolle	Handl, Ralf
1993	Leistungssteigerung ereignisgesteuerter Simulation durch Multi-Mikro-Rechnersysteme	Mattern, Friedemann; Richter, Jörg; Mehl, Horst
1993	Principal types for object-oriented languages	Hense, Andreas V.; Smolka, Gert
1993	SOLL-Spezifikation aus Sicht der Sicherheit	Grosse, Malte; Hufschmidt, Holger
1993	Canonical Conditional Rewrite Systems Containing Extra Variables	Avenhaus, Jürgen; Loría-Sáenz, Carlos
1993	Change of Representation in Theorem Proving by Analogy	Melis, Erica
1993	Distributing equational theorem proving	Avenhaus, Jürgen; Denzinger, Jörg
1993	Analogies between Proofs : A Case Study	Melis, Erica
1993	A Combinator-based Order-sorted Higher-order Unification Algorithm	Johann, Patricia
1993	A Mechanization of Strong Kleene Logic for Partial Functions	Kerber, Manfred; Kohlhase, Michael