Nonlinear finite element problems on parallel computers Gross, L.; Roll, C.; Schönauer, W. 1994. In: Prallel scientific computing. Proceedings. 1st International Workshop, PARA ’94. Lyngby, Denmark, 1994. Ed.: J. Dongarra. Berlin 1994. S. 247-261. (Lecture notes in computer science. 879.)
Iterierte Funktionen, Sprachen und Fraktale. PhD dissertation Fernau, H. 1994. Mannheim 1994. (Aspekte komplexer Systeme. 2.) Fak. f. Informatik, Diss. v. 10.2.1993 u.d.T.: Varianten iterierter Funktionensysteme und Methoden der formalen Sprachen., Universität Karlsruhe (TH)
Donorstabilisiertes Aluminium(I)-bromid Mocker, M.; Robl, C.; Schnöckel, H. 1994. Angew. Chem. 106 (1994) S. 1860 und Angew. Chem., Int. ed. in Engl. 33 (1994) S. 1754
Donorstabilisiertes Aluminium(II)-bromid Mocker, M.; Robl, C.; Schnöckel, H. 1994. Angew. Chem. 106 (1994) S. 946 und Angew. Chem., Int. ed. in Engl. 33 (1994) S. 862
Bestimmung der Grenzflächenparameter mit Pushout und Pullout-Versuchen Schlapschi, K.-H.; Kuntz, M.; Meier, B.; Grathwohl, G. 1994. In: Festigkeitsseminar über Keramische (Verbund-)Werkstoffe, Wien, 1993. Köln 1994. S. 187-199. (Fortschrittberichte der Deutschen Keramischen Gesellschaft. 9,4.)
Testsynthese für Datenpfade Ströle, A.; Wunderlich, H.-J. 1994. In: Proceedings. GI/GME/ITG-Fachtagung Rechnergestützter Entwurf und Architektur Mikroelektronischer Systeme, Oberwiesenthal 1994. S. 162-171
Configuring flip-flops to BIST registers Ströle, A.; Wunderlich, H.-J. 1994. In: Proceedings. International Test Conference, ITC, Washington D.C., USA 1994. Ed.: IEEE Computer Society Press. S. 939-948
Automating verification by functional abstraction at the system level Schneider, K.; Kumar, R.; Kropf, T. 1994. In: Higher order logic theorem proving and its applications. Ed.: T.F. Melham. Berlin 1994. S. 391-406. (Lecture notes in computer science. 859.) und Karlsruhe : Inst. f. Rechnerentw. u. Fehlertoleranz 1994. (Tech. Rep. SFB358-C2-13/94.)
Why hardware verification needs more than model checking Schneider, K.; Kropf, T.; Kumar, R. 1994. In: Higher order logic theorem proving and its applications. Ed.: T.F. Melham. Berlin 1994. (Lecture notes in computer science. 859.) und Karlsruhe : Inst. f. Rechnerentw. u. Fehlertoleranz, Univ. Karlsruhe 1994. (Tech. Rep. SFB358-C2-10/94.)
Control-path oriented verification of sequential generic circuits with control and data path Schneider, K.; Kropf, T.; Kumar, R. 1994. In: Proceedings. The European Design and Test Conference, Paris, France 1994. Ed.: J.-P. Tual. Los Alamitos, Calif. 1994. S. 648-652. und Karlsruhe : Inst. f. Rechnerentw. u. Fehlertoleranz, Univ. Karlsruhe 1994. (Tech. Rep. SFB358-C2-9/94.)
Simplifying deep embedding: a formalised code generator Reetz, R.; Kropf, T. 1994. In: Higher order logic theorem proving and its applications. Ed.: T.F. Melham. Berlin 1994. S. 378-390. (Lecture notes in computer science. 859.) und Karlsruhe : Inst. f. Rechnerentw. u. Fehlertoleranz 1994. (Tech. Rep. SFB358-C2-8/94.)
A formal framework for high-level synthesis Kropf, T.; Schneider, K.; Kumar, R. 1994. Karlsruhe : Inst. f. Rechnerentw. u. Fehlertoleranz, Univ. Karlsruhe 1994. (Tech. Rep. SFB358-C2-5/94.)
Evaluation of simulation data with machine learning algorithms Huber, K.-P.; Szczerbicka, H. 1994. In: Proceedings of the 14th IMACS World Congress on Computational and Applied Mathematics, Atlanta, Georgia, USA 1994. Ed.: W.F. Ames. Bd. 1. 1994. S. 232-236
Unterm Krummstab ist gut leben? Kissener, M. 1994. Z. d. Savigny-Stiftung f. Rechtsgesch. 111 (1994), Kanonist. Abt. 80 (1994) S. 281-300
Widerstand gegen den Nationalsozialismus Kissener, M.; Heuser, W. 1994. In: RAAbits. Impulse und Materialien für die kreative Unterrichtsgestaltung. Stuttgart 1992 ff. Geschichte (=Nachlieferung Juni 1994)
Finite Oscillatory Motion of a Body Immersed in an Inviscid Fluid at Rest Wauer, J.; Seemann, W. 1994. Proceedings of the 1994 International Mechanical Engineering Congress and Exposition; Chicago, IL, USA; ; 6 November 1994 through 11 November 1994., In: Nonlinear and stochastic dynamics. Ed.: A.K. Bajaj. New York 1994. S. 135-142. (AMD. 192.), 135–141, The American Society of Mechanical Engineers (ASME)
Dynamic analysis of mooring underwater cable lines Wauer, J. 1994. In: Hydroelasticity in marine technology. Proceedings. International Conference, Trondheim 1994. Ed.: O. Faltinsen. Rotterdam 1994. S. 85-96
Ein bodenmechanisches Modell zur Beschreibung des Vibrationsrammens in körnigen Böden. PhD dissertation Dierssen, G. 1994. Karlsruhe 1994. (Veröffentlichungen des Institutes für Bodenmechanik und Felsmechanik der Universität Fridericiana in Karlsruhe. 133.) Fak. f. Bauingenieur- und Vermessungswesen, Diss. v. 9.7.1993., Universität Karlsruhe (TH)