1. Assessment of Freshwater Use and Cycling in Petrochemical Industry
پدیدآورنده: Md Ariful Islam
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Chemical engineering; Sustainability; Environmental engineering,Social sciences;Applied sciences
2. Formal Verification of Nonlinear Biological Systems
پدیدآورنده: Md Ariful Islam
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science,Applied sciences;C. elegans;Cardiac electrophysiology;Compositional reasoning;Formal verification;Nonlinear system;Reachability analysis
