Die geschlossene Festelektrolyt- Sauerstoffpumpe. PhD dissertation Beetz, K. 1993. Duesseldorf 1993. (Fortschritt-Berichte VDI. Reihe 8, Nr. 358.) Fak. f. Elektrotechnik, Diss. v. 13.7.1993., Universität Karlsruhe (TH)
The design of an extendible graph editor. PhD dissertation Paulisch, F. N. 1993. Berlin 1993. (Lecture notes in computer science. 704.) Fak. f. Informatik, Diss. v. 7.5.1991., Universität Karlsruhe (TH)
Modelling genetic hardware structures by abstract datatypes Schneider, K.; Kumar, R.; Kropf, T. 1993. In: IFIP TC 10/WG 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications, Leuven, Belgium 1992. Ed.: L. Claesen. Amsterdam 1993. S. 419-429. (IFIP transactions. A 20.)
Efficient representation and computation of tableau proofs Schneider, K.; Kumar, R.; Kropf, T. 1993. In: IFIP TC 10/WG 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications, Leuven, Belgium 1992. Ed.: L. Claesen. Amsterdam 1993. S. 471-492. (IFIP transactions. A 20.)
Menueoptimierung mit dem Programmsystem "SERPHA" Piekarski, J.; Pfau, C. 1993. In: Sozialoekonomische Forschung zum Ernaehrungsverhalten in den alten und neuen Bundeslaendern. Hrsg.: G. Ulbricht. Karlsruhe 1993. S. 185-194. (Berichte der Bundesforschungsanstalt fuer Ernaehrung. BFE-R-93-02.)
Karriere-Marketing im mittelständischen Unternehmen Wuerth, R. 1993. In: Die Ressource Mensch im Mittelpunkt innovativer Unternehmensführung. Hrsg.: Organisationsforum Wirtschaftskongreß e.V. Wiesbaden 1993. S. 59-69
Applying a machine learning algorithm in a knowledge acquisition scenario Fensel, D.; Gappa, U.; Schewe, S. 1993. In: Proceedings of the IJCAI ’93 Workshop Machine Learning and Knowledge Acquisition: Common Issues, Contrasting Methods, and Integrated Approaches, Chambery, France 1993. S. 61-78
Netzwerksicherheit durch selektiven Pakettransport Bauspiess, F.; Horster, P.; Stempel, S. 1993. Karlsruhe 1993. (Report. E.I.S.S., Universitaet Karlsruhe. 1993,1.) und In: Verlaessliche Informationssysteme. VIS ’93. Hrsg.: G. Weck. Braunschweig 1993. (DuD-Fachbeitraege. 16.)
How to realize LSE narrowing Werner, A.; Bockmayr, A.; Krischer, S. 1993. In: 2nd International Workshop on Functional/ Logic Programming, Rattenberg 1993. Hrsg.: A. Mueck. S. 50-59. (Bericht. Ludwig-Maximilians-Universitaet Muenchen. 9311.)