Search results for: Douglas R. Smith
Hydrological Processes > 33 > 18 > 2384 - 2393
Science of The Total Environment > 2018 > 621 > C > 849-862
Applied Soil Ecology > 2018 > 125 > C > 297-300
Applied Soil Ecology > 2018 > 125 > C > 162-168
Journal of Great Lakes Research > 2016 > 42 > 6 > 1403-1411
JAWRA Journal of the American Water Resources Association > 52 > 5 > 1275 - 1279
Agriculture, Ecosystems & Environment > 2016 > 230 > C > 87-97
JAWRA Journal of the American Water Resources Association > 52 > 3 > 788 - 798
Lecture Notes in Computer Science > Generative Programming and Component Engineering > Aspect Orientation > 39-54
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Regular Papers > 411-425
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2010 > Algorithms and Types > 352-366
Lecture Notes in Computer Science > Algebra, Meaning, and Computation > Specification and Composition > 317-332
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Components > 182-188
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Talks > 353-376
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > From Models to Software > 267-286