Untersuchungen zum Einfluss der Mikroorganismenart beim mechanischen Zellaufschluss Falabella, M. C.; Pittroff, M.; Schubert, H. 1990. In: Wissenschaftliche Abschlussberichte. 25. Internationales Seminar 1990. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1990. S. 135-145
Die Oxidation von Kohlenmonoxid an Platin- Zinndioxid-Traenkkontakten Boulahouache, A.; Fuchs, S.; Lintz, H.-G. 1990. In: Wissenschaftliche Abschlussberichte. 25. Internationales Seminar 1990. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1990. S. 126-134
Nail and Nail Wire Bending Tests Ehlbeck, J.; Siebert, W.; Werner, H. 1990. Versuchsanstalt für Stahl Holz und Steine der Universität Fridericiana in Karlsruhe (VAKA)
Ermuedung von Hohlprofilknoten. PhD dissertation Bucak, O. 1990. Fak. f. Bauingenieur- und Vermessungswesen, Diss. v. 4.5.1990., Universität Karlsruhe (TH)
"LINDA" meets functional programming Lock, H. C. R.; Jaehnichen, S. 1990. In: Proceedings of 2nd IEEE Workshop on Future Trends of Distributed Computing Systems, 1990
Tableau calculus for order-sorted logic Schmitt, P. H.; Wernecke, W. 1990. In: Sorts and types in artificial intelligence. Ed.: K.-H. Blaesius. Berlin 1990. S. 49-60. (Lecture notes in computer science. 418.)
Perspectives in multiple-valued logic Schmitt, P. H. 1990. In: Natural language and logic. Ed.: R. Studer. Berlin 1990. S. 206-220. (Lecture notes in computer science. 459.)
Modal logic and AI planning Dix, J.; Posegga, J.; Schmitt, P. H. 1990. In: 1st International Conference on Expert Planning Systems, Brighton 1990. Ed.: J.T. Boardman. London 1990. S. 157-162. (IEE conference publication. No. 322.)
Partitioning programs into processes Bieler, F. 1990. In: Proceedings of the Joint International Conference on Vector and Parallel Processing. Ed.: H. Burkhart. Berlin 1990. (Lecture notes in computer science. 457.)
Tactical theorem proving in program verfication Heisel, M.; Reif, W.; Stephan, W. 1990. In: Proceedings of the 10th International Conference on Automated Deduction (CADE). Hrsg.: M. Stickel. Berlin 1990. S. 115-131. (Lecture notes in artificial intelligence. 449.)
Interconnection networks with minimal diameter Braun, H.; Stephan, F.-C. 1990. In: Proceedings of the 5th International Symposium on Computer and Information Sciences. Ed.: A. Harmanci. Vol. 2. Nevsehir 1990. S. 1003-1012
Simultane trockene SO2-Sorption und katalytische NOsubx-Reduktion Oguz, H.; Schmitt, R.; Weisweiler, W. 1990. In: Wissenschaftliche Abschlussberichte. 25. Internationales Seminar 1990. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1990. S. 75-91
Enhancing Marr’s cooperative algorithm Braun, H.; Mueller, T. 1990. In: Proceedings of the International Neural Network Conference, Paris 1990. S. 38-41
Recursive enumeration without repetition revisited Kummer, M. 1990. In: Recursion Theory Week, Oberwolfach 1989. Ed.: K. Ambos-Spies. Heidelberg 1990. S. 255- 276. (Lecture notes in computer science. 1432.)
Synthese und Test Schmid, D. 1990. In: Gesamtdeutsches Seminar "Entwurf Integrierter-Schaltungen" (E.I.S.), Berlin 1990. Bonn: Ges. f. Math. u. Datenverarb. 1990
Bestimmung des elektrischen Widerstandes von Staeuben Issangya, A. S.; Schmidt, E.; Loeffler, F. 1990. In: Wissenschaftliche Abschlussberichte. 25. Internationales Seminar 1990. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1990. S. 63-74
Charakterisierung aquatischer Huminstoffe und ihre Wechselwirkung mit Schwermetallen Abdel-Fattah, H.; Abbt-Braun, G.; Frimmel, F. H. 1990. In: Wissenschaftliche Abschlussberichte. 25. Internationales Seminar 1990. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1990. S. 52-62
Anionenaustausch-Chromatographie der Loesungen von Schwefel in fluessigem Ammoniak Zhou, D.; Schindewolf, U. 1990. In: Wissenschaftliche Abschlussberichte. 25. Internationales Seminar 1990. Internationales Seminar fuer Forschung und Lehre in Chemieingenieurwesen, Technischer und Physikalischer Chemie an der Universitaet Karlsruhe (TH). Karlsruhe 1990. S. 10-20