8271. Verifying goal-oriented specifications used in model-driven development processes. (March 2017) Authors: Giachetti, Giovanni; Marín, Beatriz; López, Lidia; Franch, Xavier; Pastor, Oscar Journal: Information systems Issue: Volume 64(2017) Page Start: 41 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8272. Versatile mixed methods for non-isothermal incompressible flows. (1st November 2022) Authors: Miller, Edward A.; Chen, Xi; Williams, David M. Journal: Computers & mathematics with applications Issue: Volume 125(2022) Page Start: 150 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8273. Versatile mixed methods for the incompressible Navier–Stokes equations. (15th September 2020) Authors: Chen, Xi; Williams, David M. Journal: Computers & mathematics with applications Issue: Volume 80:issue 6(2020) Page Start: 1555 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8274. Vertex Szeged indices of P2n + FPn+1. Issue 4 (18th May 2020) Authors: Cancan, Murat; Naeem, Muhammad; Baig, Abdul Qudair; Gao, Wei; Aslam, Aneela Journal: Journal of information & optimization sciences Issue: Volume 41:Issue 4(2020) Page Start: 991 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8275. Vertex Szeged indices of P2n + FPn+1. Issue 4 (18th May 2020) Authors: Cancan, Murat; Naeem, Muhammad; Baig, Abdul Qudair; Gao, Wei; Aslam, Aneela Journal: Journal of information & optimization sciences Issue: Volume 41:Issue 4(2020) Page Start: 991 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8276. Very high order finite volume methods for cardiac electrophysiology. (15th August 2017) Authors: Coudière, Yves; Turpault, Rodolphe Journal: Computers & mathematics with applications Issue: Volume 74:issue 4(2017) Page Start: 684 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8277. Very high-order asymptotic-preserving schemes for hyperbolic systems of conservation laws with parabolic degeneracy on unstructured meshes. (1st April 2021) Authors: Blachère, Florian; Chalons, Christophe; Turpault, Rodolphe Journal: Computers & mathematics with applications Issue: Volume 87(2021) Page Start: 41 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8278. Vibration analysis of variable fractional viscoelastic plate based on shifted Chebyshev wavelets algorithm. (1st August 2022) Authors: Dang, Rongqi; Yang, Aiming; Chen, Yiming; Wei, Yanqiao; Yu, Chunxiao Journal: Computers & mathematics with applications Issue: Volume 119(2022) Page Start: 149 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8279. Vibration characteristics of plates and shells with functionally graded pores imperfections using an enhanced finite shell element. (1st October 2021) Authors: Zghal, S.; Dammak, F. Journal: Computers & mathematics with applications Issue: Volume 99(2021) Page Start: 52 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8280. ViewDF: Declarative incremental view maintenance for streaming data. (November 2017) Authors: Yang, Yuke; Golab, Lukasz; Tamer Ozsu, M. Journal: Information systems Issue: Volume 71(2017) Page Start: 55 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗