Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016
An inference engine for function free logic programs
In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Jg. 1990, S. 885-890Infinite cube-connected cycles
In: Information Processing Letters, Jg. 1983, S. 1-2Infinitesimally generated subsemigroups of motion groups
In: Rocky Mountain Journal of Mathematics, Jg. 1991, S. 865-878Infinitival complements in German
lassen, scheinen and the verbs of perceptionCambridge [u.a.] : Cambridge Univ. Pr., 1985The influence of peers and politics on economic outcomes
empirical and experimental evidence in the fields of social norms, politically connected firms, taxation and climate change ; kumulative Dissertation2014Influence of pressure on heat transfer from horizontal tubes to boiling refrigerants
In: Progrès dans la science et la technique du froid / International Congress of Refrigeration <12, 1967, Madrid>, Jg. 2, S. 589-599Influence of spin-orbit coupling on the electronic structure of low-dimensional systems
Elektronische Ressource, Paderborn, 2016The influence of transparency on investments in climate protecting
an economic experimentElektronische Ressource,Influence of zero-point vibration on the superhyperfine interactions of hydrogen and Deuterium centres in KCI
In: Physica Status Solidi, Jg. 1969, S. 171-181Innovationen in der Hochschullehre
eine Analyse nach systemtheoretischen Ansätzen am Beispiel einer technischen Fakultät2011Insider-resistant distributed storage systems
Elektronische Ressource, Paderborn, 2016Integrable nonlinear evolution equations with time-dependent coefficients
In: Journal of Mathematical Physics, Jg. 1993, S. 5140-5158Integrated predicative synchronization implemented in a federated DBMS
In: Tenth Annual International Phoenix Conference on Computers and Communications, Jg. 1991, S. 123-129Integrating a deductive database system with a Warren Abstract Machine
In: Proceedings of the International Symposium "Computational Intelligence 90", Jg. 1991, S. 19-24The internal rate of return of an investment
In: Applications and Modelling in Learning and Teaching Mathematics, Jg. 1989, S. 195-200Interstitial solution enthalpies derived from first-principles
knowledge discovery using high-throughput databasesElektronische Ressource, Paderborn, 2016