Search
Now showing items 281-290 of 737
A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP
Rauh, Andreas; Brill, Michael; Guenther, Clemens (2009)
Wissenschaftlicher Artikel
Investigations on a Comb Filter Approach for IR-UWB Systems
Thiasiriphet, Thanawat et al. (2009)
Wissenschaftlicher Artikel
Learning from multimedia presentations: Facilitation function of animations and spatial abilities
Muenzer, Stefan; Seufert, Tina; Bruenken, Roland (2009)
Wissenschaftlicher Artikel
InAlN/GaN MOSHEMT With Self-Aligned Thermally Generated Oxide Recess
Alomari, Mohammed et al. (2009)
Wissenschaftlicher Artikel
Deformation mechanisms in nanocrystalline palladium at large strains
Ivanisenko, Yulia et al. (2009)
Wissenschaftlicher Artikel
Equivalence of CHR States Revisited
Raiser, Frank; Betz, Hariolf; Frühwirth, Thom; Raiser, Frank; Sneyers, Jon (2009)
Beitrag zu einer Konferenz
A defect-based experiment for analysing and comparing software engineering processes
Miller, S. et al.; Jedlitschka, A.; Ciolkowski, M. (2007)
Beitrag zu einer Konferenz
Verification of Constraint Handling Rules using Linear Logic Phase Semantics
Hämmerle, R.; Betz, Hariolf; Schrijvers, Tom; Raiser, Frank; Frühwirth, Thom (2008)
Beitrag zu einer Konferenz
Constraint Handling Rules: Current Research Topics
Schrijvers, Tom; Frühwirth, Thom (2008)
Buch
Welcome to Constraint Handling Rules
Frühwirth, Thom; Schrijvers, Tom; Frühwirth, Thom (2008)
Teil eines Buches