Program construction by modification Reif, W. 1989. In: Workshop Verification, Construction and Synthesis of Programs, Karlsruhe 1989. Karlsruhe 1989. S. 62-64. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. Nr. 1989,10.)
The Karlsruhe interactive verifier Stephan, W. 1989. In: Workshop Verification, Construction and Synthesis of Programs, Karlsruhe 1989. Karlsruhe 1989. S. 56-58. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. Nr. 1989,10.)
Program synthesis with an intuitionistic sequent calculus Bittel, O. 1989. In: Workshop Verification, Construction and Synthesis of Programs, Karlsruhe 1989. Karlsruhe 1989. S. 49-52. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. Nr. 1989,10.)
Program verifier Tatzelwurm Kaeufl, T. 1989. In: Workshop Verification, Construction and Synthesis of Programs, Karlsruhe 1989. Karlsruhe 1989. S. 21-23. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. Nr. 1989,10.)
Verwendung von Induktionshypothesen in Induktionsbeweisen Hutter, D. 1989. In: Workshop Verification, Construction and Synthesis of Programs, Karlsruhe 1989. Karlsruhe 1989. S. 13-15. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. Nr. 1989,10.)
A system which automatically derives recursive programs Biundo, S. 1989. In: Workshop Verification, Construction and Synthesis of Programs, Karlsruhe 1989. Karlsruhe 1989. S. 10-12. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. Nr. 1989,10.)
Dissolution of feldspars: solid state chemistry of hydrothermally treated sanidine Goosens, D. A.; Philippaerts, J. G.; Gijbels, R.; Pijpers, A. P.; Althaus, E. 1989. In: European geothermal update. Proc. of the 4th Int. Seminar on the Results of EC Geothermal Energy and Demonstration, Florence 1989. Ed.: K. Louwrier. Dordrecht 1989. S. 395-407
Study of reactions between feldspathic rocks and heat exchange fluids Althaus, E.; Tirtadinata, E. 1989. In: European geothermal update. Proc. of the 4th Int. Seminar on the Results of EC Geothermal Energy and Demonstration, Florence 1989. Ed.: K. Louwrier. Dordrecht 1989. S. 385-395
The closure of a leakage in the sealing system of a dyke Armbruster, H.; Merkler, G.-P.; Troeger, J.-H.-M. 1989. In: Proceedings of the 12th International Conference on Soil Mechanics and Foundation Engineering, Rio de Janeiro 1989
Bestimmung kinetischer Daten der Reaktion von SO2 mit CaO mit dem Thermogravimetrieverfahren Shaaban, A. F.; Gaeng, P.; Loeffler, F. 1989. In: Wissenschaftliche Abschlussberichte. 23. Internationales Seminar 1988. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1988. S. 172-181
Trocknung von gemischhaltigen, poroesen Guetern in einer beheizten Wirbelschicht Afrane, G.; Schwarzbach, J.; Schluender, E.-U. 1989. In: Wissenschaftliche Abschlussberichte. 23. Internationales Seminar 1988. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1988. S. 130-139
Untersuchungen zur Dispersion von V2O5 an gamma-Al2O3 Shan, S.; Hoenicke, D. 1989. In: Wissenschaftliche Abschlussberichte. 23. Internationales Seminar 1988. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1988. S. 105-112
Ueberkritische Extraktion von Kohle mit Wasser und Tetralin Ribeiro, T. M. H.; Kuntze, T.; Hedden, K. 1989. In: Wissenschaftliche Abschlussberichte. 23. Internationales Seminar 1988. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1988. S. 95-104
Bestimmung der Spurenelemente Cu, Cd, Zn und Pb in Wasser Wagley, D. P.; Schmiedel, G.; Mainka, E.; Ache, H. J. 1989. In: Wissenschaftliche Abschlussberichte. 23. Internationales Seminar 1988. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1988. S. 63-74
Elektrochemische Impedanzmessungen an poroesen Katalysatorelektroden Gassa, L.; Juettner, K. 1989. In: Wissenschaftliche Abschlussberichte. 23. Internationales Seminar 1988. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1988. S. 42-51
NMR-Untersuchungen der Struktur und Dynamik von Elektrolytloesungen in Hydrazin Wadi, R. K.; Weingaertner, H.; Hertz, H. G. 1989. In: Wissenschaftliche Abschlussberichte. 23. Internationales Seminar 1988. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1988. S. 21-31
Dielektrizitaetskonstante und Dichte von t-Buthylchlorid bis 2000C und 2000 Bar Vani, V. C.; Michelberger, T.; Franck, E. U. 1989. In: Wissenschaftliche Abschlussberichte. 23. Internationales Seminar 1988. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1988. S. 11-20
Untersuchung der Russbildung in Flammen mittels Laserlichtextinktion Kurian, J.; Huth, M.; Leuckel, W. 1989. In: Wissenschaftliche Abschlussberichte. 23. Internationales Seminar 1988. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1988. S. 1-10
Untersuchungen zur Einmischung von Radialstrahlen in eine Axialstroemung Xu, J.; Kolb, T.; Leuckel, W. 1989. In: Wissenschaftliche Abschlussberichte. 24. Internationales Seminar 1989. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1989. S. 116-126
Methanisierung von Synthesegas bei hohem Druck Gan, M.; Schoen, N.; Hedden, K. 1989. In: Wissenschaftliche Abschlussberichte. 24. Internationales Seminar 1989. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1989. S. 96-115
Protonen-NMR-Untersuchungen zur Ionenhydratation in waessrigen Elektrolytloesungen Huque, M.; Pfeifer, R.; Hertz, H. G. 1989. In: Wissenschaftliche Abschlussberichte. 24. Internationales Seminar 1989. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1989. S. 33-43
Optische Absorptionsspektren solvatisierter Elektronen in polaren Loesungsmittelgemischen Rochanakij, S.; Krebs, P. 1989. In: Wissenschaftliche Abschlussberichte. 24. Internationales Seminar 1989. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1989. S. 13-21
Principles of dynamic system analysis Lorenz, W. J. 1989. In: Instationary processes and dynamic experimental methods in catalysis, electrochemistry and corrosion. Weinheim 1989. S. 151-168. (DECHEMA-Monographs. 120.)